{"entities":{"Q2226763":{"pageid":2237506,"ns":120,"title":"Item:Q2226763","lastrevid":82669400,"modified":"2026-05-06T21:27:29Z","type":"item","id":"Q2226763","labels":{"en":{"language":"en","value":"Decidable synthesis of programs with uninterpreted functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307986"}},"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":"Q2226763$1C02DCC4-8EBE-4A1E-BCF7-62E54D995F32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"feca55163d72fd581e43964ca1b31db4e61390ff","datavalue":{"value":{"text":"Decidable synthesis of programs with uninterpreted functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226763$0F2B6B2B-7A8A-4FB1-98C0-AA3CB8350E7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d99ace694929be70e55e9080d1e0c118f43f2d3d","datavalue":{"value":"1478.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226763$9E3CD722-385D-460B-8823-40024523004B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4f370ed3dc4f95bcb11d57e4179796975dda832","datavalue":{"value":"10.1007/978-3-030-53291-8_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226763$6E4D7222-A5D0-43A2-AB27-8FD2CC0A344F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e3e08674b5ccfb0793b4a1ed850413b32becf85","datavalue":{"value":{"entity-type":"item","numeric-id":2226761,"id":"Q2226761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226763$AF4D6F11-3949-46B9-AC3E-123837413B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3832a6f49368bc25104676db11d18b956393ba53","datavalue":{"value":{"entity-type":"item","numeric-id":2164213,"id":"Q2164213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226763$467130C5-C795-4CF9-95C3-F08C09AF2920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cfd5aa0c5352050fd66801d3f613dfb9a63118b","datavalue":{"value":{"entity-type":"item","numeric-id":2226762,"id":"Q2226762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226763$85E95190-7CE8-48A8-9B67-BEEAD51BFF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226763$5C205C4C-AD1B-4FB7-8458-23E87AFA4D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226763$DB82E1C0-D7BA-4456-8260-4F95B3897AF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226763$171E3628-4B9F-45C3-AA31-18B1640B18B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18e4f201a97d510510b2dbb432567c2c62b3ee58","datavalue":{"value":"https://arxiv.org/abs/1910.09744","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226763$0B816D12-4009-4E50-A659-CD66A4A21C5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226763$043AEB43-D429-4C68-B59C-E8A5D75CB714","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fc41c30e039324ef80354bdb7958e7410df1d2a","datavalue":{"value":"7307986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226763$C82D00DC-D8AD-4EFB-A149-7B6125CD0B45","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":"Q2226763$DD042E54-4ECD-4B67-9204-7453498660EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e2fd57990cd0c9e99fbc5eece8ce207c28aa2c3","datavalue":{"value":"W3102339133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226763$6C7C4AB9-30A8-49D3-9DF4-9A7E64FCAD58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85dbb1776fc24582243e218e2f6dd27193968c6","datavalue":{"value":{"entity-type":"item","numeric-id":5164172,"id":"Q5164172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9aa97e74af725ebc388eae878d2e22d131bc7d","datavalue":{"value":{"amount":"+0.7735130786895752","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":"Q2226763$07FF8962-9758-4BD7-BC0C-A52B642E836D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af0a64a02caf70ac14f7070bf11a7ab917c2140","datavalue":{"value":{"entity-type":"item","numeric-id":2915700,"id":"Q2915700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb813bf1c9a324cbb288256d016918677f3c04d2","datavalue":{"value":{"amount":"+0.7674403190612793","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":"Q2226763$972EAE02-9860-4FD9-836D-8FB31B80A2CC","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":"bd586bd7e5d81605f746149530068285d76947c0","datavalue":{"value":{"amount":"+0.7630964517593384","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":"Q2226763$0093F167-862E-4407-900A-03854D5E21EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819feb3a288616685e522fb27b106104ad0886a8","datavalue":{"value":{"entity-type":"item","numeric-id":3785924,"id":"Q3785924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ba5252d39202bee88a611570e99beab4bb4326","datavalue":{"value":{"amount":"+0.7583273649215698","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":"Q2226763$9372C03C-D48B-4DF0-9E5D-C8BD7CB185E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3133f4c42e5fbbae7f82e7a19aeb192c8d744aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3460078,"id":"Q3460078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc65410d472be2ba97e1095c3a0b3ac5d960dfde","datavalue":{"value":{"amount":"+0.7393355369567871","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":"Q2226763$34D7994F-1A1A-4D91-B2E7-C01F97F70F11","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226763$68BD1860-9D91-40DE-8EF0-FC084BC5CA59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable synthesis of programs with uninterpreted functions","badges":[]}}}}}