{"entities":{"Q3703280":{"pageid":5733186,"ns":120,"title":"Item:Q3703280","lastrevid":50459726,"modified":"2026-01-14T02:47:44Z","type":"item","id":"Q3703280","labels":{"en":{"language":"en","value":"Metalogical control for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3930326"}},"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":"Q3703280$C0438399-94C2-434E-A144-401FE0ABBDDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da2383615046247d411bf982e810e8677c067fb3","datavalue":{"value":{"text":"Metalogical control for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3703280$318BB73D-D435-4522-968A-B57FCD46C7AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91dc403c5e1dce55151e7817a87a0fcb4ef0755d","datavalue":{"value":"0581.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703280$80E210B8-C916-4C1D-885E-970FDFE41687","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc87dfc0974922203cf28187e15470bb2b411fff","datavalue":{"value":"10.1016/0743-1066(85)90019-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703280$AD4CCC04-90AC-4D8D-9BCA-46A4952EF06A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703280$EF2C2F11-E800-4E75-9FC5-0D382D6C8A9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3703280$E0EE7A8D-61F0-4D80-8D27-0DB0F98C0475","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703280$39365F97-1FAB-45E9-BD6F-318FB72188FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93486a62e465b73eadbfcf3f5abc241e04c0e290","datavalue":{"value":"3930326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703280$221245A5-741D-422A-81CC-8E1381A8F2AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703280$D71E1E78-F03B-45F6-A9BD-13668572981B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d934f981cff6c0283e5f60d5a1864e274c3ee704","datavalue":{"value":"control annotations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703280$86FD9219-843A-47EC-AB8F-659FC0DA2486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a250535976c55d0d83f766a663ca018f553759e","datavalue":{"value":"first-order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703280$122D0413-3D82-4A34-8272-ED509236111F","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":"Q3703280$9246D913-EA32-447F-90D1-97B94F5CB4BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ea83be392ccbbbf376fb585434f685696b6d762","datavalue":{"value":"https://doi.org/10.1016/0743-1066(85)90019-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3703280$CF943FC5-4F4A-47C5-9EF9-26A52C6895A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63c3ce85b88bc3b91a375895a6dc8fdb9337ac75","datavalue":{"value":"W1991554695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703280$145F8FE9-492F-495B-8AED-C32F327EA766","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac26d21a3357df5331dbf0221a0bf487448a269","datavalue":{"value":{"entity-type":"item","numeric-id":3694654,"id":"Q3694654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0869adbe8ba3062c314947d8421947e6c97f8be","datavalue":{"value":{"amount":"+0.7729217410087585","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":"Q3703280$D88E2024-CE0D-4803-84A1-5F3F393014DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caab9149e9e6d78e14fdc76a58d9add3e34c800","datavalue":{"value":{"entity-type":"item","numeric-id":4029601,"id":"Q4029601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a2c1f94438756ce9f7d2f061a16aeacfdb1410","datavalue":{"value":{"amount":"+0.763022780418396","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":"Q3703280$A2828587-9BD0-4901-9DC9-64F6B6582A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42585510f374d8818326c3f472fbaa5b0baaeff8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a2c1f94438756ce9f7d2f061a16aeacfdb1410","datavalue":{"value":{"amount":"+0.763022780418396","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":"Q3703280$697F15B6-4550-405F-BF13-67385AD42C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8199c441b581072cbb868075fc90fd3ca6c73ac","datavalue":{"value":{"entity-type":"item","numeric-id":5472914,"id":"Q5472914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a43ec79107baee52e2a6a5ea326798daf20251","datavalue":{"value":{"amount":"+0.7545557022094727","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":"Q3703280$A8A9B6E8-4339-4C77-A23A-020F31EB5EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9736431bac3667d058c7d617461366a3df5a2f06","datavalue":{"value":{"entity-type":"item","numeric-id":1070221,"id":"Q1070221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d88ebf1efcca0629ee13dc935380dd4a57b1732","datavalue":{"value":{"amount":"+0.7497901320457458","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":"Q3703280$D31BF8CF-38EB-4517-85BA-FBEB92410C92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3703280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3703280"}}}}}