{"entities":{"Q2909148":{"pageid":2919873,"ns":120,"title":"Item:Q2909148","lastrevid":51538529,"modified":"2026-01-18T17:05:29Z","type":"item","id":"Q2909148","labels":{"en":{"language":"en","value":"Synthesis of logic programs from object-oriented formal specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073905"}},"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":"Q2909148$A459BB5F-75A4-4F13-8E10-1B3878900608","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b1f95242ac891b069877f2102d8e74f3768242a","datavalue":{"value":"1245.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909148$A44439C0-E1C4-4897-9C6E-CC7BFD573820","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03e938295e69b22392484943dfa247d6d367e18f","datavalue":{"value":{"entity-type":"item","numeric-id":2909147,"id":"Q2909147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909148$5EEC2E8F-4662-4A6C-907C-3F92093D3631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d454d038fa029b1f9a5f25ea0d9c8bbb1e2e08f2","datavalue":{"value":{"entity-type":"item","numeric-id":511022,"id":"Q511022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909148$10342F99-0EB0-4CAB-9C7D-6047F9D2A427","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909148$5E8261BA-48BB-437F-839C-FB154F2B978F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ab6695deba79f50143207c055480c7c9d67240b","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_6817.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909148$062AA186-B18D-4D7F-A7FC-E51F52EC5346","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909148$59752915-2107-41E8-A4EF-C7609BFD8D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909148$A0CA0AAE-53D5-4B8F-AD09-317585873A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909148$7FE731C6-7948-40FF-9A74-6E592B69367D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"056266ca96cac147788cedef90a4fbe101a5befe","datavalue":{"value":"6073905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909148$FEF4D939-97DA-4CC6-BA77-08E7FBE740F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909148$2ED94594-A688-4ECA-B19E-2EAB8852E353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c647baa8386d4c949b3e52110341991ce0ff547","datavalue":{"value":"logic program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909148$7497442A-6A40-473B-947D-07218CCC0FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba79756aec7d516a4dc1b21b2af2cbb069aba1f","datavalue":{"value":"object-oriented","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909148$9DC11534-7FC6-4431-B176-281A225A0756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75653c44e6bce51d80c3c3a8ae08ee14a231fcb","datavalue":{"value":"executable specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909148$D5385754-D682-439B-A534-922262995D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438da0297bab887eba604fdec99c27aab9216d5f","datavalue":{"value":"correct-by-construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909148$83D399D3-E5D7-43F3-B2A1-7F05172B838A","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":"Q2909148$7B2DF694-3886-4CFF-BE75-716BD2DFBE56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbc21759be5fa7863460b6a661fddc4fea666c9a","datavalue":{"value":"W2106479565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909148$983F3E86-4D9A-475B-93E4-6CEDF7EA29C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5cc4f34264de9dbb85f770fd86ac040b774ef64","datavalue":{"value":"10.4230/LIPICS.ICLP.2011.95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909148$A32F26A3-D836-40F9-AD41-7EFE3C9CF544","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56e57d34b19812aeca2210024ae127f2d1d66d34","datavalue":{"value":{"text":"Synthesis of logic programs from object-oriented formal specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909148$C600878F-4660-4E6E-A36C-6D591DF330B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcd81ecb807be6bc95a741f18334ded334875f2","datavalue":{"value":{"entity-type":"item","numeric-id":1608926,"id":"Q1608926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056a8f848d3c8500597d338c43d08ba060764783","datavalue":{"value":{"amount":"+0.7145551443099976","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":"Q2909148$872F83CC-1123-4630-9613-928766060B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa1fe2b3d4aa61e72a01b9d2c5158a2741199011","datavalue":{"value":{"entity-type":"item","numeric-id":4333382,"id":"Q4333382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a5609bbb0df3308444132cc7505d4fc1d1dfc0c","datavalue":{"value":{"amount":"+0.7063649892807007","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":"Q2909148$1ADF1195-5E48-44AD-8B69-702474824218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94b0e67ce4347848d9fa0e93ac0a7857508eb8b","datavalue":{"value":{"entity-type":"item","numeric-id":4845025,"id":"Q4845025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a5609bbb0df3308444132cc7505d4fc1d1dfc0c","datavalue":{"value":{"amount":"+0.7063649892807007","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":"Q2909148$E527A9D2-C3C8-4417-96B3-804112568FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf46f319d63f9e0789f735f4c58c45d4094b2ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3780492,"id":"Q3780492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26441d90c0e142e2c04dfcc2e34c6deebf5c23ad","datavalue":{"value":{"amount":"+0.7056838274002075","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":"Q2909148$D1CCE8E7-D34E-4FF9-BC1B-41C3C7E1ECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58dceb00b46dfe8784ce26904c6014426de04709","datavalue":{"value":{"entity-type":"item","numeric-id":1091109,"id":"Q1091109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d57d2a5f43805889273b5910aed7057bae4cab","datavalue":{"value":{"amount":"+0.6941303014755249","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":"Q2909148$C28E3417-9708-459E-864B-E597FCAB3249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2909148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2909148"}}}}}