{"entities":{"Q4434615":{"pageid":6464214,"ns":120,"title":"Item:Q4434615","lastrevid":81809624,"modified":"2026-05-06T19:24:26Z","type":"item","id":"Q4434615","labels":{"en":{"language":"en","value":"A Complete Axiomatization for Blocks World"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2002256"}},"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":"Q4434615$9438BDA2-061F-49E4-A04F-9B8E8D8BE8D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b938ebb3e98f8d03557cc64bd748cd29a6a9c3b","datavalue":{"value":{"text":"A Complete Axiomatization for Blocks World","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4434615$027851F5-8E5D-404F-AEC8-719514092C69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f3d9c0a724975a96a7b8ea9df5871525d39d77d","datavalue":{"value":"1046.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434615$AB62A088-8007-46BC-8CDE-EF3F1514AA25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1dbd0bab9e267b7cf542710eb200af81ec764c1","datavalue":{"value":{"entity-type":"item","numeric-id":382862,"id":"Q382862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434615$7B7D454B-491E-4CF4-9293-B79C467874B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ef32c5864b607ccf80c983c44b8c3fc4484c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1096389,"id":"Q1096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434615$76480B3E-FA53-424F-A1DE-007F2E650F0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdcbbe6751005b5a25abaf14031c72afec06c29d","datavalue":{"value":{"time":"+2003-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4434615$FB1E656A-A70B-41CD-A280-099548941EC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d71e824f515eb1872527758f27865427f6903b2","datavalue":{"value":"https://semanticscholar.org/paper/2c43769b6d6f977268469a8558446ec7ded4bac6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4434615$FD3F440C-8CED-449A-8C71-2E9C7D6B7B31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434615$ECF5A7A9-FF2A-46EE-A850-87C5BC716A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ece7767423bd7c458e0f09aa2737d7e3a723590","datavalue":{"value":"2002256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434615$D75339F7-62C7-4B19-8CEA-8B753152A831","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434615$6E76E351-B961-4714-96B8-B90A7ADB94F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e5e2189988bba5e611f0fe0dee693966da838b","datavalue":{"value":"definable predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434615$8E34D5E1-AEBC-42BE-B843-21554C628D1D","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":"Q4434615$D5BFAC90-1812-48B0-9065-F0DA7CDA3ED1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd5d9d5cff4f834a376b707a89c753a438dbd35a","datavalue":{"value":"W2074658933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434615$8466F5A4-6AE1-4E2D-AF0D-6162029BD14A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77e077e9839b8142d2424b5044e739a24a091dd0","datavalue":{"value":"10.1093/LOGCOM/13.4.581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434615$A53142C6-0082-442F-BCB9-FD3AB0B692FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434615$5C793F15-F6F4-4E34-83FE-D5EC695FB3E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb53c813956c349e9f360b623b13e9b9dae875c","datavalue":{"value":{"entity-type":"item","numeric-id":4028811,"id":"Q4028811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed4222ad3b9c9690f021b80ae7c25e9c0c25161","datavalue":{"value":{"amount":"+0.7396798729896545","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":"Q4434615$D20E8178-4DD7-49D1-9E1B-CB52C8A83F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d411468f3154276b47944f6883c3b24023519d","datavalue":{"value":{"entity-type":"item","numeric-id":4005058,"id":"Q4005058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed4222ad3b9c9690f021b80ae7c25e9c0c25161","datavalue":{"value":{"amount":"+0.7396798729896545","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":"Q4434615$7B460DA8-CBC6-491A-97B4-0956D4E82010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a9e1d99f05b5cb306f4ad86558b15b747fe180","datavalue":{"value":{"entity-type":"item","numeric-id":5940781,"id":"Q5940781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e7b1ac5788b0d1bb030c92a5ab1041b751d35f","datavalue":{"value":{"amount":"+0.7018349766731262","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":"Q4434615$94EA5FA4-C638-41D1-944F-8413796163F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eec8bd46ff4867fa14acf20f0e5d1707f5d0d78","datavalue":{"value":{"entity-type":"item","numeric-id":4955348,"id":"Q4955348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372bf3545550d6c02370ce1a5f71c0e865229388","datavalue":{"value":{"amount":"+0.6750651597976685","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":"Q4434615$D6F9287A-B76D-49B5-83B1-3A11EC2520B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c6ce01cfd6012755942f0b3e9dfbe51437ace8","datavalue":{"value":{"entity-type":"item","numeric-id":3158539,"id":"Q3158539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d042897853e33f574496fb8c5243d90eb8295f31","datavalue":{"value":{"amount":"+0.6618312001228333","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":"Q4434615$DFF4ED21-B237-42C6-9696-ED0E78C7B257","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Complete Axiomatization for Blocks World","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Complete_Axiomatization_for_Blocks_World"}}}}}