{"entities":{"Q1629962":{"pageid":1640703,"ns":120,"title":"Item:Q1629962","lastrevid":72382515,"modified":"2026-04-14T04:31:44Z","type":"item","id":"Q1629962","labels":{"en":{"language":"en","value":"TWAM: a certifying abstract machine for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6990541"}},"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":"Q1629962$E847FF0D-B38C-45A0-9E12-327B6D94B0B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4ff523f3173569bdc4f657dc17515606ba47eb5","datavalue":{"value":{"text":"TWAM: a certifying abstract machine for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1629962$F1F91A6D-9823-470E-B0E3-55E6D87D07A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5767c4a43780628595b109a229f5fc132396bc5","datavalue":{"value":"1403.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629962$E4163224-D6C0-49A9-BE12-2DE2A2CE5A78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3b998c44fbe14d3e5fdce07bb9394f37a1997b8","datavalue":{"value":"10.1007/978-3-030-03592-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629962$5C0E66D7-E62A-488E-9B31-C8346B6EED65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afd3f33c073e895da00bd09118921c9765c7f7e2","datavalue":{"value":{"entity-type":"item","numeric-id":1629960,"id":"Q1629960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$ABF36B6D-226E-487C-928A-2CFC415E6EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$96826012-C4B0-48E9-8282-4770C547607D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"188a150860af43d85d9c40cbc810f545e99c1359","datavalue":{"value":{"time":"+2018-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1629962$322E86D5-949C-4B7E-9C75-A0FA1BF8D1E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e0a3f35962df5fd5cb02a803b749da796212b64","datavalue":{"value":"https://arxiv.org/abs/1801.00471","type":"string"},"datatype":"url"},"type":"statement","id":"Q1629962$C0234318-6806-4E19-B9A3-C2B4EC60E817","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629962$762FF8DE-AFB6-4F74-8655-610DFFB32A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629962$7BD51E32-870F-4B02-A9B8-607C800139FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f86aa4486bbc8ea7e87743d4835aeeb431b486d","datavalue":{"value":"6990541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629962$4EE056AA-2775-45DF-A2EB-33D8E3B145D7","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":"Q1629962$C66E3B9F-09E4-4B96-9A0C-6AA1F7644778","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94cfb421f2483dcc5eaf8fcb5bcac7e8bba5fadd","datavalue":{"value":"W2963825363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1629962$D09AF469-3724-4243-9A87-0A214BA7ABAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21665098f56f3a39b9ae52d8dea827573ac0e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4202930,"id":"Q4202930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$EBFB248E-5B06-4507-B6B8-B0B628AAAEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78ebba2b6b10d116b193308b39241d632e3dc8d1","datavalue":{"value":{"entity-type":"item","numeric-id":1629962,"id":"Q1629962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$9F339C75-EABB-4FE2-AACF-DE97A34A4063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce85ed64aa6e3bb3be37240176665ec5968eccf2","datavalue":{"value":{"entity-type":"item","numeric-id":4839029,"id":"Q4839029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$971D4F76-B6C2-4E55-A5DB-D35A1C5F9127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a79e877b8cb9304a3fe8bf6c0cfd8a2a4d6190","datavalue":{"value":{"entity-type":"item","numeric-id":5277805,"id":"Q5277805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$37CFCB6E-6C6C-4056-9F1C-EF8C54ADDC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b743a9e9d2d3fcdb760169bbfaece33c25b2824f","datavalue":{"value":{"entity-type":"item","numeric-id":2949206,"id":"Q2949206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$68FC284B-6E62-489A-B97C-7472584A494A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd2134f394c79633368977edccb4641841638f","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$890A7FC1-1A74-4FC6-BE59-344508A5BA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$48DBA8C6-B001-4207-8E24-679AEB2D5414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$EC87D442-9DDC-48A2-8555-165B7CF72BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$AD3668DB-C1C5-4AA4-A988-8AEF594F6AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$BBB98F94-184A-4149-ABB8-21A7A68E26CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df66c3373ee20520c5ed216e62e84be7c2aa7441","datavalue":{"value":{"entity-type":"item","numeric-id":4460723,"id":"Q4460723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$3A8EF898-7BCA-4106-8E8A-7E20E7029CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227fe77aa9bac83e88e8a7622effb8e94001c51a","datavalue":{"value":{"entity-type":"item","numeric-id":2875232,"id":"Q2875232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$86CE3834-126F-4615-A8FB-0E6E37BD4CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffb78e1862447c8ce655b5a67759e1a1fa39b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$6FB2525D-5854-4988-8BAD-8AE66C709640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$0B34BA67-B79A-4119-AC72-2037BAC6EEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$6A960EA8-2023-4C01-B152-36D2D98E70E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95182f2cc2a60105385a6076ab3574d89a529bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4015948,"id":"Q4015948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$CCC009FE-9CB0-42CF-9D24-B75BA68CF943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116200087b2c18b938d5cdec1c50c62e25bc46c2","datavalue":{"value":{"entity-type":"item","numeric-id":4520493,"id":"Q4520493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$CDFFDE18-4D27-443C-9A39-437A86102A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$85CC152E-6A6C-435D-A7FD-37F056DC0C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6756b931d462059a364d24416dd987a75ffa57f8","datavalue":{"value":{"entity-type":"item","numeric-id":5178007,"id":"Q5178007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1629962$D63ED72E-76D7-4F42-96C1-91AD1E42CAB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f4094b15d2126e1c812eecb31844161f3f5c11","datavalue":{"value":{"entity-type":"item","numeric-id":4839029,"id":"Q4839029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c71405d365491446a329074c288dca2f170af34","datavalue":{"value":{"amount":"+0.813008189201355","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":"Q1629962$5424F6DF-41ED-41D8-A61D-7EA5A3832AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5cf83a7b0d1bb9b74d84888bbd75c3b4f6f8ba","datavalue":{"value":{"entity-type":"item","numeric-id":2702600,"id":"Q2702600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c71405d365491446a329074c288dca2f170af34","datavalue":{"value":{"amount":"+0.813008189201355","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":"Q1629962$863CCC8A-7ABC-422E-B535-82DB4C4492FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3052955fa4e6024e045c7eebfa730b43a74fd6a3","datavalue":{"value":{"entity-type":"item","numeric-id":4015948,"id":"Q4015948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a2a9d85bc28fdaaa363a684cc8ecf629aa13e4","datavalue":{"value":{"amount":"+0.7957336902618408","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":"Q1629962$DC2B2280-F1AF-4E87-8338-AD1F90296D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71daf96a532c3b59d50874185efe32426caf0db","datavalue":{"value":{"entity-type":"item","numeric-id":4202930,"id":"Q4202930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8729efc79d79176610b03d8b9f00e14fdb523738","datavalue":{"value":{"amount":"+0.7757533192634583","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":"Q1629962$C989A9F3-616D-4EB8-AC2D-DDAFA1FF5CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738b354b27f990f2b74aebbc90192eac7df09afc","datavalue":{"value":{"entity-type":"item","numeric-id":4520493,"id":"Q4520493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aead728aede7c22205e14dbecd7b6fdbc6578cce","datavalue":{"value":{"amount":"+0.7736859321594238","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":"Q1629962$E0D5FEC4-9B97-4ED6-B48A-654D47B60841","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"TWAM: a certifying abstract machine for logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/TWAM:_a_certifying_abstract_machine_for_logic_programs"}}}}}