{"entities":{"Q5713944":{"pageid":7743498,"ns":120,"title":"Item:Q5713944","lastrevid":101623829,"modified":"2026-06-06T01:51:24Z","type":"item","id":"Q5713944","labels":{"en":{"language":"en","value":"Logic Based Program Synthesis and Transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2241678"}},"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":"Q5713944$A9CBB497-B385-43F0-9F34-A34DA96B9FFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce4af49bd35f4d53f7ee668b56a081856586d899","datavalue":{"value":{"text":"Logic Based Program Synthesis and Transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5713944$94E7A2EC-F0BD-46E2-B099-9D2BA99E3FB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fa17cf12822a34cfade51b1cd913ead55930313","datavalue":{"value":"1099.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713944$E6145D3C-E60E-4B1E-9931-58A2D7359D20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f8addad8e9fde7084e2df8ac9cc5d63f9c5a7bb","datavalue":{"value":{"entity-type":"item","numeric-id":4341023,"id":"Q4341023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713944$78775213-0784-4A3E-B7D7-2BE2C90423B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14d3a7de4373c1c701df241be51a17edb22381dc","datavalue":{"value":{"entity-type":"item","numeric-id":444372,"id":"Q444372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713944$B529BE86-9854-448C-8BFB-DA2D482A836B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c6af95853f55dd41c945305ebab3c1726e4bb53","datavalue":{"value":{"entity-type":"item","numeric-id":1827318,"id":"Q1827318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713944$2750C6D6-3E5E-4496-B55D-461B4A5FDB0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713944$DB3BB423-C13E-4FFC-B86D-FFECEB58682E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"090468e13eb9a2069bf3cb41c6a80ae70dcecdb0","datavalue":{"value":{"time":"+2005-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5713944$8976D92E-43BB-4D62-940D-E60DC62F4FCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713944$69072395-2F93-45FB-B7CE-57807FFBABEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713944$26AB512E-F23F-4154-B509-2CB5F1C136E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70fd7fa63e7f3f44997d7c39319cb0789116f68b","datavalue":{"value":"2241678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713944$603A5F3D-1CEC-40C3-B13A-04C42AE3C4C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90c833327b0a842b84ec931ce0f227922612716a","datavalue":{"value":"corrective predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5713944$AF2817DF-83AA-4751-8C41-28801ACF2107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5713944$5F8AD6F6-C64A-4E26-A5FD-035C86C6F928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5713944$16186EC3-8FF9-474F-A199-2FB524E63C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64c385d5a4d64ff6965cdd6375d32f2e90aa98dc","datavalue":{"value":"implicative formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5713944$665B0974-8823-4FAC-AC4A-EE78C8E9B3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e3f17409f394113fa50e78322f788d0d4178de","datavalue":{"value":"folding/unfolding rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5713944$2985258C-EC06-4D26-A7C8-D95CFEC6BF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5713944$FFF9F8CA-9289-4F43-9B42-1DFA11649917","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":"Q5713944$A3BD205F-B6DE-42DF-870D-C66B46E33B6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"413fe129bda5def11ab16011dc48bcecc801a48c","datavalue":{"value":"https://doi.org/10.1007/b98080","type":"string"},"datatype":"url"},"type":"statement","id":"Q5713944$16A83A9A-8940-4A0C-B1BD-72825B4C6B3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a2194eed8c1061f6e103ed17206ad71dcd4a8bf","datavalue":{"value":"W4301837838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713944$C546B8AB-763B-4652-8F19-224CAD49F85D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eedeb413f38171312a2e9bbd69143a7846c8b6fb","datavalue":{"value":"10.1007/B98080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713944$1DAD9234-D9B2-4404-9AEF-AF09E8246376","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f701f20231294a3b496cb6921434354d13c5250","datavalue":{"value":{"entity-type":"item","numeric-id":4647501,"id":"Q4647501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2846ee1cb5458a05abde2c1b8ce6c7073660d719","datavalue":{"value":{"amount":"+0.923478901386261","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":"Q5713944$F69404DB-1130-49FD-A658-035B0DFFB400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9358413721e77b1b71dd8c03613b6261264d0bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3408129,"id":"Q3408129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6238936dfe7db1d99e5763744870ec0495b35a","datavalue":{"value":{"amount":"+0.7283975481987","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":"Q5713944$E9F6D5D3-60AE-44F3-80C5-6D9CD802B546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70983583bd7e5ea71011477dc85b183843e87af","datavalue":{"value":{"entity-type":"item","numeric-id":5464716,"id":"Q5464716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea925b0934310d30e2c03cab509b52a929d885a","datavalue":{"value":{"amount":"+0.7253398895263672","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":"Q5713944$7EBD31D2-F973-41B5-8E84-DA23953C3680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3bea1a861ea6de17913f192489d00954bfe9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4202919,"id":"Q4202919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbf57552507992cff99e9f2e29c2ba1ab28e5c3","datavalue":{"value":{"amount":"+0.7244974374771118","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":"Q5713944$5AAE0206-3A52-47EB-A908-7CA6FE247CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2581c12a75a0c9d896500c637ad68fa005c15f39","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d479fd1545a33e529de26d4668a80562e89f12","datavalue":{"value":{"amount":"+0.7228049635887146","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":"Q5713944$3424CA43-1DD1-43D9-B00C-24B7A8955E70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic Based Program Synthesis and Transformation (scientific article; zbMATH DE number 2241678)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_Based_Program_Synthesis_and_Transformation_(scientific_article;_zbMATH_DE_number_2241678)"}}}}}