{"entities":{"Q3543644":{"pageid":5573548,"ns":120,"title":"Item:Q3543644","lastrevid":50516432,"modified":"2026-01-14T06:34:57Z","type":"item","id":"Q3543644","labels":{"en":{"language":"en","value":"An ACL2 Tutorial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378168"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$2957304B-9768-4414-A62A-A0CB8885038B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db826dc354e82bcc50497685fc65d9ca8fdc3a47","datavalue":{"value":{"text":"An ACL2 Tutorial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543644$8D0F10BD-FAE0-4CD8-8EB9-40AB5E41014A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bef72d58dfa771f7e4da2e7563291bfa1dfa597b","datavalue":{"value":"1165.68461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543644$CB73DB06-CB4B-4FC0-888A-E6A49EA1E1D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14fe58fb3d91ddccb3d3ebab11854582801f696a","datavalue":{"value":"10.1007/978-3-540-71067-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543644$CC400A44-5E89-4FAA-8723-E444A421A692","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$859B717B-670F-4EE0-9331-785F8E53204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$C212F917-8C96-46A5-8EC6-D17FF75F28B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$BD3AAE38-877B-46C8-A294-33699DD7D876","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9390341f6bd0adb4a80933997da5182af87828a8","datavalue":{"value":{"time":"+2008-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3543644$F1EDBA35-E585-4BEF-A968-CB6C454B48E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543644$9C70FFE1-62F3-4AF1-9166-9623CE230713","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61433a3f8c521ea767b09c7e92b5fd14563a1844","datavalue":{"value":"5378168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543644$A5933D4B-EC66-40C0-932D-58D8F45DAC25","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$013A8CB7-0E74-4D4A-90EC-25CF5CAF2BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$31B40F6C-7EFC-4219-A59C-B15884E98C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$09ACB92F-3FBC-4BB2-96F6-05C32861E5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1efe251f10f20310d9fc2391ac64c314c66eb36","datavalue":{"value":{"entity-type":"item","numeric-id":19751,"id":"Q19751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$17B3D658-A36D-4623-A28D-FBDA99A24D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$24A5FE72-E879-4327-845D-F3A4AA3B2265","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$C25AF667-65DD-4FDE-B9D0-ABE7E55D4F0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c38fc86f23fb34c684747efd29263b403ce344b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71067-7_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543644$5C27E110-EC1E-4078-A9B8-3D5B33BDB625","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afed5a568fe9ef804c3d26cbdec76c71b5d9e243","datavalue":{"value":"W1595255563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543644$B12AC553-7E54-4F0B-90D6-963114D15FFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c7202e783b352edb1e0158278fe604f9a2b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4105761,"id":"Q4105761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$C083120B-5B74-43A0-9A23-B45A647ACBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$565AAA5C-A8B4-4864-B940-8C08A70C03BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$6581A854-A766-42AE-9AB2-2820E91B94FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283b457c1aa928df8cba388628638010a8a9e043","datavalue":{"value":{"entity-type":"item","numeric-id":4016540,"id":"Q4016540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$8F484EC8-BFA5-4279-99E2-4A67BF1AFE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ab3e683fcf1f4589adbbb54eed5465c20ce3fa","datavalue":{"value":{"entity-type":"item","numeric-id":2867932,"id":"Q2867932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$C0BC603E-CDB7-4D8C-B7B7-38D3ED6240A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaab286ce9532044a0bbcada18389d4ffcc9518d","datavalue":{"value":{"entity-type":"item","numeric-id":5956117,"id":"Q5956117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$29BA2222-E930-4E8D-BDF2-7D02AAB1AB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100bb1ccd2c2d9635aec4ef9416ea5fe826fe553","datavalue":{"value":{"entity-type":"item","numeric-id":5437032,"id":"Q5437032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$C02DE29D-E8B8-4F81-A8DE-BB993E18FA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7520de1b4bf1bc0bba49f7075996531473a953","datavalue":{"value":{"entity-type":"item","numeric-id":5477654,"id":"Q5477654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$8C52A2EF-071A-494E-BE61-32C3EA9F27F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6926d9a2864657c63c8ba6d81f03198b036942","datavalue":{"value":{"entity-type":"item","numeric-id":1595929,"id":"Q1595929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$7693AE79-2F12-4E79-9EEF-C99F5EA37599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5019b1606a46a3d06c91c12c8fdfd5e1609d2542","datavalue":{"value":{"entity-type":"item","numeric-id":1006728,"id":"Q1006728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$B6189F05-A69C-4DB8-826D-83F5B7A4632F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7396a7d7693b676318207b9fce821ae1fe747e9","datavalue":{"value":{"entity-type":"item","numeric-id":1425160,"id":"Q1425160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$7EB012AC-357E-4061-A8FB-72BBFD28AC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543644$28E2A5DE-4708-439A-8253-24537BB7E012","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d606835397ced889225aa24646e03238343394","datavalue":{"value":{"entity-type":"item","numeric-id":3000661,"id":"Q3000661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbd2b7f300845a926b87c4b702334df819e9900","datavalue":{"value":{"amount":"+0.8269709348678589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543644$23F69130-AA6C-4D71-8863-CBCD82634DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28d5a8b545b5823d435e955696d0052fff4439c3","datavalue":{"value":{"entity-type":"item","numeric-id":2867932,"id":"Q2867932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241b1822a8704e974b49aeac05cfb0ea68bba68a","datavalue":{"value":{"amount":"+0.8220915198326111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543644$C393E629-236D-45D4-99AF-51EBD83AD81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3b0efa447d2f0bb1d07cfcfcea727ec3cbe250","datavalue":{"value":{"entity-type":"item","numeric-id":2280212,"id":"Q2280212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7030e2857f2c582e1098004d531a8ab99b38026","datavalue":{"value":{"amount":"+0.7944779992103577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543644$0B51E4A0-A48B-41AB-89B3-248FBC93ED5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2c48c52bdc7c8427d6f3c28effe97624b0aac1","datavalue":{"value":{"entity-type":"item","numeric-id":2734953,"id":"Q2734953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a179074752a315f3b2ebf82949da6d351ed970f8","datavalue":{"value":{"amount":"+0.7861499786376953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543644$DBA58675-C9CA-4279-A3AD-BD785A01697C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab816ca20d777bf64b417cd94a39c25aff51b17","datavalue":{"value":{"entity-type":"item","numeric-id":4817211,"id":"Q4817211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72fe27cd0be070cc2d06108c2c6a515f6ac1a361","datavalue":{"value":{"amount":"+0.7841557264328003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543644$5E8D003D-7D7D-4338-9D35-062247F14E73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543644"}}}}}