{"entities":{"Q5713938":{"pageid":7743492,"ns":120,"title":"Item:Q5713938","lastrevid":48619309,"modified":"2026-01-05T10:05:39Z","type":"item","id":"Q5713938","labels":{"en":{"language":"en","value":"Logic Based Program Synthesis and Transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2241672"}},"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":"Q5713938$9553AF6B-5D51-49FB-AEF6-3A6C7426944C","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":"Q5713938$3D768B3B-A5C7-4331-A739-88A881298F27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"789a613632ac03a04d4f5b6d0019632be773010f","datavalue":{"value":"1099.68546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713938$F9D93469-EDF0-41B4-912D-555C06E5B8AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac8057f9fd1520fcbc0231a1d841513ef433ea8","datavalue":{"value":{"entity-type":"item","numeric-id":283737,"id":"Q283737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713938$3B6DABAB-CA27-4DCF-B6D3-7A7D9C270801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7ebf08f82ce515e0740dc978f18c660e5f4735","datavalue":{"value":{"entity-type":"item","numeric-id":232933,"id":"Q232933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713938$072640DC-810E-43D1-BF31-AF96863583D5","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":"Q5713938$2FD5104A-66D2-4521-928C-909C28BD6E65","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":"Q5713938$2C75F40A-894A-4E8B-ADB7-7E69D68E647A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713938$5345901A-ECB7-4A9C-8B0A-0209DD53182D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713938$6415E78F-4D12-4A0D-B246-2ECF6A46BD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713938$4951DDA2-468B-42D8-BF97-8D6C71A476E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d15ce87d296de7709570c05712bb380748f333d3","datavalue":{"value":"2241672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713938$CAAE969B-C2DF-451B-9E6A-7F4690A2390D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67c742ddc8c0df4e2405fcd2cc4fac307303288c","datavalue":{"value":{"entity-type":"item","numeric-id":14286,"id":"Q14286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713938$9A82661D-9BFA-4F82-91B1-35C25E02B69D","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":"Q5713938$A6E7491D-AB00-46E2-8E34-F854A8A7FFBD","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":"Q5713938$3CA50F2B-D00F-490F-A1B1-A7B7465B041B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a2194eed8c1061f6e103ed17206ad71dcd4a8bf","datavalue":{"value":"W4301837838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713938$1FB285FF-0D7B-45B0-8611-5685BC8EE8AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eedeb413f38171312a2e9bbd69143a7846c8b6fb","datavalue":{"value":"10.1007/B98080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713938$F6A35608-F960-4657-8BDF-4BB835D67D5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20d72714c717e20fba1e075a9681b814fda31e2","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be0fc0578d2e681e4985883fae022ac5016ad1e","datavalue":{"value":{"amount":"+0.7353809475898743","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":"Q5713938$C7BC6FB9-3CA5-4E35-B876-60D401D0EF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef2df71fd345e2d00c4897e3ea2cb97a3eb47ab","datavalue":{"value":{"entity-type":"item","numeric-id":5286920,"id":"Q5286920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8205435ce2df046a4856b2d55d693b9dcbe85720","datavalue":{"value":{"amount":"+0.7283989787101746","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":"Q5713938$45F1579B-9E14-401E-87EF-4744E27210D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328b43185d1dc7f7141c94273926440366342c03","datavalue":{"value":{"entity-type":"item","numeric-id":1035705,"id":"Q1035705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8205435ce2df046a4856b2d55d693b9dcbe85720","datavalue":{"value":{"amount":"+0.7283989787101746","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":"Q5713938$6EC4413B-6354-4E70-AD71-7E0A857E9CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d69a310dda62576c38b2f32855250e1d4964ec11","datavalue":{"value":{"entity-type":"item","numeric-id":2893093,"id":"Q2893093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a37213afc562592872fca48d69371997076534","datavalue":{"value":{"amount":"+0.7279511094093323","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":"Q5713938$F0A279C8-32DE-4E29-B4DD-ADCCDC6072AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b545df89bfebe52b0c0b2a0916e0ad6cc53bc826","datavalue":{"value":{"entity-type":"item","numeric-id":1183419,"id":"Q1183419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c955d1ffc74b9e9ff340a270f4069e9de14e9fd3","datavalue":{"value":{"amount":"+0.727790355682373","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":"Q5713938$D62DF457-4AF1-4A85-93EC-592255BB7D59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713938"}}}}}