{"entities":{"Q5713941":{"pageid":7743495,"ns":120,"title":"Item:Q5713941","lastrevid":48619315,"modified":"2026-01-05T10:05:40Z","type":"item","id":"Q5713941","labels":{"en":{"language":"en","value":"Logic Based Program Synthesis and Transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2241675"}},"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":"Q5713941$556F7104-766A-4D89-A550-7417DF5BB264","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":"Q5713941$A01C3295-1F95-4298-8D43-03DA457FBC74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"768b63f5cc529685b34ff405d16183b4d29c560e","datavalue":{"value":"1099.68611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713941$E1BF32A3-1AAD-45BA-B5EC-4858311D161D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f838000dc0dc31708cae6bef19dddb5287f25b7","datavalue":{"value":{"entity-type":"item","numeric-id":511017,"id":"Q511017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713941$F1EC1D0F-DCFD-46B1-953F-C04C26741DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c958ddd094fd7c47b1dd2f629ec076818c3e0a0f","datavalue":{"value":{"entity-type":"item","numeric-id":2943535,"id":"Q2943535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713941$4A089BA5-88DE-4812-8B78-AE26AB56F4DE","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":"Q5713941$DC648E6F-9E0D-41AF-8068-13D284AEFAF1","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":"Q5713941$DC7E1FC2-1010-448F-A21A-6664DEA1E0B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713941$5D4BFC5D-1CBD-4F56-9DCF-B47CA2A78B8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b2842c6b6098d6b9fda093ba62623785b4c8daa","datavalue":{"value":"2241675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713941$5DF7B59E-4970-4D91-B5F0-D02B14E6CB5A","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":"Q5713941$E0D187FD-85CE-4489-9C32-804F1DF85CF7","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":"Q5713941$12476B2B-7C7E-4902-9A13-3AC5CA0E1207","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a2194eed8c1061f6e103ed17206ad71dcd4a8bf","datavalue":{"value":"W4301837838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713941$3CE74130-0845-41C3-ABD3-EF59B94FC8D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eedeb413f38171312a2e9bbd69143a7846c8b6fb","datavalue":{"value":"10.1007/B98080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713941$2A4A4FBD-E91B-4350-AEBB-9724DC57C5CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df596df402bd44fd674c4e3a078fda96f79819b","datavalue":{"value":{"entity-type":"item","numeric-id":5482596,"id":"Q5482596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0001d8c015e839eb5c0f77369406319b2a50947e","datavalue":{"value":{"amount":"+0.8978177309036255","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":"Q5713941$240A7189-E4F4-491F-98F9-F860EFE0FE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbc0d519f1f73885e49b7879c19baffbab8402b9","datavalue":{"value":{"entity-type":"item","numeric-id":5901859,"id":"Q5901859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc7d1400a71daf19a56218e5b25bbc952a142b3","datavalue":{"value":{"amount":"+0.7588770389556885","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":"Q5713941$7DD08D82-8572-4F31-A464-36BB7E99AC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e07ae18570516766bc3dfec61d70cc7dd67883c","datavalue":{"value":{"entity-type":"item","numeric-id":915441,"id":"Q915441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a449c4c75a7648e71b22b54c29a610224fad468","datavalue":{"value":{"amount":"+0.7587486505508423","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":"Q5713941$8DB76BB2-6264-4A83-86C0-563E3CDA79D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7d0f7f496aec9ba992471658a66474c79ace51","datavalue":{"value":{"entity-type":"item","numeric-id":5387876,"id":"Q5387876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b8d33d3b42561ad27084467cff0c3a7f404b3b","datavalue":{"value":{"amount":"+0.750553548336029","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":"Q5713941$DBB8AB24-3C8C-46E7-98E2-85F3615BE2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8496a5a5c11de74cdd5ab3c9b24db78c3bfaea25","datavalue":{"value":{"entity-type":"item","numeric-id":4400806,"id":"Q4400806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c4584894a31aaa408a0b3bf5280505d6043015","datavalue":{"value":{"amount":"+0.7477775812149048","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":"Q5713941$DA370439-4D2B-4F5C-BF8D-AA7C5F5097AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713941"}}}}}