{"entities":{"Q1314418":{"pageid":1325168,"ns":120,"title":"Item:Q1314418","lastrevid":68438580,"modified":"2026-04-12T23:43:00Z","type":"item","id":"Q1314418","labels":{"en":{"language":"en","value":"Logic program synthesis from first-order logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501219"}},"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":"Q1314418$1F602587-1780-4C5A-AF4B-7BD01855367F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c97cdc30ae2b97a193265914048841b11aaa3e98","datavalue":{"value":{"text":"Logic program synthesis from first-order logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314418$7DBDC68C-CE41-4689-A9DA-E18E17F0BAF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1729d4b4bbbae18939845b40195409da29381a93","datavalue":{"value":"0801.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314418$A559E77D-C4E5-4C52-8F27-EF1706629367","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95aee02433348466f6ae59433f3720cd015fb9db","datavalue":{"value":"10.1016/0304-3975(94)90202-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314418$33E01CB8-325D-4D2D-8D40-239C48C50699","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3871cfb3e3ea0e6bb661db0e6355827d876a7e24","datavalue":{"value":{"entity-type":"item","numeric-id":915477,"id":"Q915477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314418$CFD6992A-B05E-417D-A866-E329E7808B8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314418$064EAFE0-2B2C-4306-B231-0E1853BA1CA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e26b88711e08010d610855bece2ce31f95b0ae14","datavalue":{"value":{"time":"+1994-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314418$D874CC56-D571-4C7C-AA63-812EF55DA673","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314418$7ED01595-37E4-41FD-BFD4-C40470CC6A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314418$0928BDC8-FA36-4F40-8B86-7E95515704F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314418$320581F1-A5A1-4E5B-BAB5-C7068B549069","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"509d768e1a7f65becbe02a41ecddb9e1321afe59","datavalue":{"value":"501219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314418$E7959374-48E3-4978-8390-2F6C3E5425EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314418$301240D8-1B47-451E-8CA4-2E5A6CDE3F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314418$A5900F3C-B934-43D0-9F7E-24D7E4F27748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c647baa8386d4c949b3e52110341991ce0ff547","datavalue":{"value":"logic program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314418$97C4F28C-D404-43DD-BE20-7F5E39BB259B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ac374cfa1bd3e460330b7f888dbb174a82d711","datavalue":{"value":"first- order logic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314418$44E2B372-AA19-4B9A-A09D-F972E1B593C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314418$E4F7E5C5-9143-45B1-BAD9-F3AC2614D52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"878f776ed35cc5d9aa218e7d87f4a816e3e0eca3","datavalue":{"value":"unfold/fold transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314418$1972E974-3AAB-464E-81D4-FF62ABD8894D","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":"Q1314418$4E62D112-6E00-4773-8BFF-8AE8B79A29D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314418$ABC14C46-7CDC-4751-9CBB-465FE2D7CA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aacb26a2f6eb48ad6441a165669579076c7401","datavalue":{"value":{"entity-type":"item","numeric-id":3916005,"id":"Q3916005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314418$8DC1593F-5ED7-4CEB-B00C-C5CFB8B47C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314418$40F0904D-2DEF-43EF-AAB5-A6F808A66286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5e5a302b3a7732e95bd95f23bd26edbdb51b3a","datavalue":{"value":{"entity-type":"item","numeric-id":4038669,"id":"Q4038669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314418$43688C4A-8FAF-43D0-B6C4-B80412FD9D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e587b1e3e09c274ed484054f7a3ce512fc5c5ca","datavalue":{"value":{"entity-type":"item","numeric-id":4287480,"id":"Q4287480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314418$38E66D41-3C57-4B6C-B35F-0E2021128218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5daee3636b2217d1a4b47743a7a1dcec188dd52","datavalue":{"value":{"entity-type":"item","numeric-id":5096195,"id":"Q5096195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314418$E99B917E-0304-469E-8874-90F15E093C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29952e6d73ce2eba4a577f9905a2b718fd373a81","datavalue":{"value":{"entity-type":"item","numeric-id":908686,"id":"Q908686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314418$DCFD6945-82F9-4E4A-8F70-ACD123E6A1C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"270ae2456d82b61510a64259b57460e53639f487","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90202-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314418$9D6A2C08-1005-4A9F-8184-FE5ECCF20C24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"028d48b687d53352545aa366bf88ff0e09098694","datavalue":{"value":"W2005372520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314418$7CEAF009-51E9-41A1-8F0B-EC511A9648BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e640e0b096b62fb7b7b757a42951d65f787da9","datavalue":{"value":{"entity-type":"item","numeric-id":5688888,"id":"Q5688888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1163fa35f7672b92f938b78b18fff8f32ba32d8","datavalue":{"value":{"amount":"+0.9942153096199036","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":"Q1314418$43E9E6C7-5B70-4E52-9A34-CA3E5EB558C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779aa4f2e95d3d3e046cbe92464281ba0bd157d8","datavalue":{"value":{"entity-type":"item","numeric-id":2767046,"id":"Q2767046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5be9836c8a331271af0a7fb7f22091cf5c3877","datavalue":{"value":{"amount":"+0.8323909044265747","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":"Q1314418$B0725664-F9F2-40FB-BBBF-524F90365868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db798162da9c996084b740456339b092a7fda2da","datavalue":{"value":{"entity-type":"item","numeric-id":4939537,"id":"Q4939537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a960de472c4f6fd71611d612dd96f9dca6a007","datavalue":{"value":{"amount":"+0.8222298622131348","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":"Q1314418$9D6E2AC0-2756-4F8B-99F2-32C5C76072BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cee7b2ffed13a96ddaf64b8c6127ce6da215851","datavalue":{"value":{"entity-type":"item","numeric-id":1322854,"id":"Q1322854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d4dda06bb5f5ee2c0218b4dbd62ce4ee50d4b4","datavalue":{"value":{"amount":"+0.8086110353469849","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":"Q1314418$1DF09C03-8471-4B75-8AE8-FD95F06CED85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic program synthesis from first-order logic specifications","badges":[]}}}}}