<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@es .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@de .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"\u0A2A\u0A4D\u0A30\u0A4B\u0A17\u0A30\u0A3E\u0A2E\u0A3F\u0A70\u0A17 \u0A2D\u0A3E\u0A38\u0A3C\u0A3E"@pa .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@yue .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@nn .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P31>	<http://www.wikidata.org/entity/statement/Q4650692-a152e53d-4e25-a510-c41d-41d8533ba43b> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@es .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P856>	<http://www.wikidata.org/entity/statement/Q4650692-3842D261-B110-4118-9267-1E47316B3572> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@nl .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover"@en .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P6366>	"2778365302" .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"Programmiersprache"@de .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@ro .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P306>	<http://www.wikidata.org/entity/statement/Q4650692-0aabbd2a-4dd2-046c-6c63-a827d8dbe282> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P646>	"/m/015hl_" .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"\u05E9\u05E4\u05EA \u05EA\u05DB\u05E0\u05D5\u05EA"@he .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"llenguatge de programaci\u00F3"@ca .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P154>	<http://www.wikidata.org/entity/statement/Q4650692-73437285-EDB3-47BA-81E8-4D7471FEAE2C> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"linguaggio di programmazione"@it .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P154>	<http://commons.wikimedia.org/wiki/Special:FilePath/ACL2%20Logo%202014%20transparent.png> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"yezh programmi\u00F1"@br .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@ro .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/ACL2> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@fi .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P3966>	<http://www.wikidata.org/entity/Q193076> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P31>	<http://www.wikidata.org/entity/statement/Q4650692-321af352-471d-b023-5462-40a69531856d> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P178>	<http://www.wikidata.org/entity/Q6788881> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P275>	<http://www.wikidata.org/entity/statement/Q4650692-BFE5DCE5-4F76-404D-A310-8744B0BD2716> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@sv .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P571>	<http://www.wikidata.org/entity/statement/Q4650692-5567B6DB-0BA7-4573-8305-0A29C23654E7> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@ga .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"lenguaje de programaci\u00F3n"@es .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P306>	<http://www.wikidata.org/entity/Q14656> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@ga .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@it .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@yue .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct-normalized/P6366>	<https://makg.org/entity/2778365302> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@de .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@vec .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P3442>	<http://www.wikidata.org/entity/statement/Q4650692-64030A2D-8C59-4429-9AFE-152F1A0913CC> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@zh .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@de .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@nn .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"langage de programmation"@fr .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@en .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@pt .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P6104>	<http://www.wikidata.org/entity/statement/Q4650692-7CF33C3C-9480-4531-840B-02F65579E5AE> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@nn .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P3442>	"acl2" .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://wikiba.se/ontology#Item> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P8443>	<http://www.wikidata.org/entity/statement/Q4650692-52E42B8C-F17C-453E-824E-AEC584CBE146> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P6216>	<http://www.wikidata.org/entity/Q50423863> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"programmeringssprog"@da .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@fi .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P7078>	<http://www.wikidata.org/entity/Q1268978> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"programovac\u00ED jazyk"@cs .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P646>	<http://www.wikidata.org/entity/statement/Q4650692-4E4FCAC2-ECAD-49C8-B72A-F5DEC48B5D90> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@fr .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@fi .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@sv .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"j\u0119zyk programowania"@pl .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P8443>	"acl2" .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@zh .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@it .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@ca .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P571>	"1990-01-01T00:00:00Z"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"programspr\u00E5k"@sv .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q9143> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P287>	<http://www.wikidata.org/entity/Q4588776> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"\u0D2A\u0D4D\u0D30\u0D4B\u0D17\u0D4D\u0D30\u0D3E\u0D2E\u0D3F\u0D19\u0D4D \u0D2D\u0D3E\u0D37"@ml .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P3966>	<http://www.wikidata.org/entity/statement/Q4650692-9C98BDF6-C89A-4DE1-A261-B85A36BDF926> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"programmeertaal"@nl .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@it .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@en .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P6830>	<http://www.wikidata.org/entity/statement/Q4650692-96CC1299-8895-48D4-9F6C-987928C233CA> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@da .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"programmeringsspr\u00E5k"@nn .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P7078>	<http://www.wikidata.org/entity/statement/Q4650692-6F806D35-2E4E-4518-A862-637E1BA5DE1D> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@yue .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@nl .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@vec .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@en .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@pt .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"\u092A\u094D\u0930\u094B\u0917\u094D\u0930\u093E\u092E\u093F\u0902\u0917 \u092D\u093E\u0937\u093E"@hi .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"programovac\u00ED jazyk"@sk .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P287>	<http://www.wikidata.org/entity/statement/Q4650692-345A6A31-FBB5-4263-8345-1078C02BF808> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Acl2"@es .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@es .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@pt .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@ro .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q341> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P6830>	"60" .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P6216>	<http://www.wikidata.org/entity/statement/Q4650692-DE423902-C660-427E-9A7E-8617177C0400> .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"ohjelmointikieli"@fi .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@ca .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@fr .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P275>	<http://www.wikidata.org/entity/Q191307> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@ca .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"linguagem de programa\u00E7\u00E3o"@pt .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@ga .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@vec .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P856>	<https://www.cs.utexas.edu/users/moore/acl2/> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@da .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"ACL2"@fr .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/name>	"ACL2"@zh .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@sv .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P6366>	<http://www.wikidata.org/entity/statement/Q4650692-980C0192-C843-4D2B-A535-0CB8A2B790C4> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@da .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/P178>	<http://www.wikidata.org/entity/statement/Q4650692-96AC52C0-B443-48F8-81A1-916598A27965> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.wikidata.org/prop/direct/P6104>	<http://www.wikidata.org/entity/Q15659621> .
<http://www.wikidata.org/entity/Q4650692>	<http://www.w3.org/2000/01/rdf-schema#label>	"ACL2"@nl .
<http://www.wikidata.org/entity/Q4650692>	<http://schema.org/description>	"limbaj de programare"@ro .