{"entities":{"Q5477654":{"pageid":7507213,"ns":120,"title":"Item:Q5477654","lastrevid":92395586,"modified":"2026-06-05T01:37:05Z","type":"item","id":"Q5477654","labels":{"en":{"language":"en","value":"Meta Reasoning in ACL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038930"}},"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":"Q5477654$0F89C6BA-4125-48B8-8922-CD19CAD8427A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81d2e1c3aa19770fb2744fc4a081825e06867cc2","datavalue":{"value":{"text":"Meta Reasoning in ACL2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5477654$37DDAEFD-CF42-4CDE-8EB2-0D2DAFEC7639","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5edfe5bc93740a2bcef5696eccc939bd4e3da55","datavalue":{"value":"1152.68522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477654$E06BFDB6-D78E-40DC-8071-641D37D04AEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c721bafefa4c4715824b431a129ac91d6a6990d2","datavalue":{"value":"10.1007/11541868_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477654$D2F7DCE6-D489-40C2-9E2C-2C383C0B61F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c816a025bc6f755e450b819056444c0dbde28149","datavalue":{"value":{"entity-type":"item","numeric-id":1327710,"id":"Q1327710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477654$C37C0F82-38DC-4080-A086-9FD531A7A7D1","rank":"normal"},{"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":"Q5477654$08338747-A655-4D89-A6A2-9275AF346670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11673dfb86b4951e4e91e0cb3ab89f54b3e4fd90","datavalue":{"value":{"entity-type":"item","numeric-id":2802934,"id":"Q2802934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477654$33F6D681-35EC-46A2-B1C9-28630940A788","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":"Q5477654$6548CAE4-1C4B-489C-A627-9477144E8814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49ae8b070340276c7e502f67e4d7f1e92e2f7652","datavalue":{"value":{"entity-type":"item","numeric-id":5477653,"id":"Q5477653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477654$8384E551-692D-40EC-8749-30775206C569","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":"Q5477654$7A343587-348D-411E-A685-F92975A8C8C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ab62ed9fc36983cf74c659518bd05672420ba04","datavalue":{"value":{"time":"+2006-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477654$9C2975C9-3692-4712-A2AC-D8D37B8B40AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477654$EE0C9E48-50DF-423E-AE9E-72DE7FBD3034","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ac3132d58dd5a8358530b6e9a58487e2dace74a","datavalue":{"value":"5038930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477654$5F175AA5-9995-43F7-A416-D607691EDCB9","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":"Q5477654$1D147DF7-D050-4239-A468-14B88FB0088F","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":"Q5477654$A5FA87B5-726B-48B1-879B-368214740506","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecdcca190ddbf372ffe3439e49407f3b9dd11d74","datavalue":{"value":"https://doi.org/10.1007/11541868_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477654$669C101D-49D0-47F5-B123-77DA991C1AD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9663c01a9991a83b76ff3478f66ac6276f6c05e2","datavalue":{"value":"W1490999085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477654$95514789-0F65-40C2-8316-53299F158B6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c7e2906cab0df39eaaaec6ded4334d15f17931","datavalue":{"value":{"entity-type":"item","numeric-id":4471942,"id":"Q4471942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c6abeefab79f3480b8d516cb50f910c12f8026","datavalue":{"value":{"amount":"+0.7418392896652222","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":"Q5477654$0CE29CA3-2903-409C-9069-B758E5570E96","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":"416b784be8f28032c2586554d9c19b14df27648e","datavalue":{"value":{"amount":"+0.7383533120155334","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":"Q5477654$E14F1257-0413-4E4F-901D-56A3C4272548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067b9ee5d1759bf8dfdf5a7d76851fcc9c0894c5","datavalue":{"value":{"entity-type":"item","numeric-id":1610218,"id":"Q1610218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047f45489547b7d29d59e96e3f611f4a672cf527","datavalue":{"value":{"amount":"+0.737250566482544","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":"Q5477654$EF6A8951-8149-46BE-AFF5-9C455F2A31A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb2801a8cf455a1822c7fc9546fad036556d778","datavalue":{"value":{"entity-type":"item","numeric-id":4707768,"id":"Q4707768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdc1ad72310abbe46eb12e25220fcdfca171bfb","datavalue":{"value":{"amount":"+0.72248774766922","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":"Q5477654$D0E5501E-9280-493A-9E5B-D13D23264A63","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":"607825da5c765692c15666aeeb53ebc694950e46","datavalue":{"value":{"amount":"+0.7211672067642212","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":"Q5477654$26802096-C06F-4ED4-8A79-E6339C97D035","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Meta Reasoning in ACL2","badges":[]}}}}}