{"entities":{"Q2287069":{"pageid":2297812,"ns":120,"title":"Item:Q2287069","lastrevid":53644694,"modified":"2026-01-25T11:57:43Z","type":"item","id":"Q2287069","labels":{"en":{"language":"en","value":"Program synthesis with equivalence reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157039"}},"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":"Q2287069$BEE34F4C-56DF-4008-AFE4-700BF789EE50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ff93cf49ae4fe7e90fdb71c45fecbd070f15344","datavalue":{"value":{"text":"Program synthesis with equivalence reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287069$ABB64B1E-A35C-4991-A3EF-9BFA8A137F53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"455827680d28f8cf27a1ce4cb9dd2bec01464452","datavalue":{"value":"10.1007/978-3-030-11245-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287069$00266AEC-0447-441B-BB39-5E71E29FFA81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20057335d0b9f0f59892ecaeed2a523059119baa","datavalue":{"value":{"entity-type":"item","numeric-id":778537,"id":"Q778537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287069$6A0F8DAE-DDF3-4769-A2EF-A81F5D68D2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbf8779c6aead97c3944d81fdf57f060964e86dd","datavalue":{"value":{"entity-type":"item","numeric-id":929320,"id":"Q929320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287069$250AA4DC-94DB-4FF3-AC0E-6AAD168ED179","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e303adb2b0a1f1bcfef4359b3361358b8f766d","datavalue":{"value":{"time":"+2020-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287069$CF272338-B8A9-4478-A66E-23835C80AFA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287069$517B9200-7652-49AC-82F4-0C3516A1223D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7e465ef27c3abf2fb7ece450bcd51f9fe781c7b","datavalue":{"value":"7157039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287069$6212784D-0908-4338-BE6A-2ADF05D2C48A","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":"Q2287069$6B1AD9AA-7DF4-462F-ACE3-AFA2BB6ADB81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01f23431e1c900d739a99d35b2946dd47e935712","datavalue":{"value":"https://doi.org/10.1007/978-3-030-11245-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287069$2776F506-3BB7-4548-AFEC-9E6EF657D9A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c493b25537cecff440984a1815c1ef4e006d7368","datavalue":{"value":"W2910204069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287069$399E0666-ADAC-461C-A2AA-0182995F49D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c330471c22ea4be3e2a4d318ebf6800fc447af","datavalue":{"value":{"amount":"+0.8017162680625916","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":"Q2287069$FF3947A9-EC73-408D-9BD2-8766AB5721F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99011ec708706179d7d9c28a30fd19d0136af746","datavalue":{"value":{"entity-type":"item","numeric-id":3303900,"id":"Q3303900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43cb718028efb705ea694244e915f1f2bd88abc0","datavalue":{"value":{"amount":"+0.7640009522438049","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":"Q2287069$EAB9DCA7-E4F1-4848-884C-9D1570F10AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22dc1f8b468c6d102d37f9f4f3aad7b5a9296345","datavalue":{"value":{"entity-type":"item","numeric-id":5712543,"id":"Q5712543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d3300078810f5157f9f7bc477ca2dfc093eab45","datavalue":{"value":{"amount":"+0.7563783526420593","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":"Q2287069$CD86BE79-D18A-4613-A063-F546E5850556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b829ecb070ee4cf99f8703eb4a50a7c1cd07547","datavalue":{"value":{"entity-type":"item","numeric-id":5055734,"id":"Q5055734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d1367f3dcd48d20b05d9a51874d20964de5016","datavalue":{"value":{"amount":"+0.7533811926841736","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":"Q2287069$399E94C4-8FEC-4B13-AF25-DCBD9B127CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da67db4ec5778742572f80a26eca0e6d4f02303","datavalue":{"value":{"amount":"+0.7518923282623291","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":"Q2287069$3B1CA21D-65E5-469C-B00E-EA8430252D04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2287069","badges":[]}}}}}