{"entities":{"Q1183580":{"pageid":1194329,"ns":120,"title":"Item:Q1183580","lastrevid":70204878,"modified":"2026-04-13T13:09:10Z","type":"item","id":"Q1183580","labels":{"en":{"language":"en","value":"Program synthesis using realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33398"}},"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":"Q1183580$9FB71161-FF43-4801-B273-4EAE85DE807A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22627f11d86c2da5bae35bd621ceb31f37fb6166","datavalue":{"value":{"text":"Program synthesis using realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183580$3149980E-AAE0-4249-9270-41104DEBD91D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c319c65327a8a845af5ab5079d1761f62e3c8ac5","datavalue":{"value":"0745.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183580$BC69E0D0-A16A-4DC3-8A1A-994ACB143EDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183580$4631B216-7CAA-405B-8E12-88A2DBCF4C1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183580$CF507896-EA68-4296-8236-A7C7A4803FE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183580$DBE7544F-4765-4824-95F6-92A512BB82CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183580$387DE8F2-FD8B-4952-B66B-8B808D4FA537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183580$70B5DD07-3A28-45C2-BE18-C5E28C0BFD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183580$7C0E3147-4216-47AB-848F-D1ACF7972256","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8264c3f1701033cc527707f00ec5b629ca1f7b0","datavalue":{"value":"33398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183580$A517B5A8-B20C-41E4-8A1E-367324C56BD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6b578b4c99af031624afe344ba5ce7175791a85","datavalue":{"value":"theory \\textbf{EON}+\\(\\mu\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183580$4CB801FD-A141-4A9D-8A29-4DC7AC47C6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4f2c3db96b788aab61c4879e47305c2cd00bf9","datavalue":{"value":"recursively defined predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183580$93330953-8018-4FDC-AD86-820B704F9813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183580$7D974E4C-DB41-4A05-B8C4-52862F087E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183580$E29D35AA-778F-45EF-8736-28D26DD4B60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef7aecb6d67689ab3486b8560c623572676ac5f","datavalue":{"value":"\\textbf{q}-realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183580$771A8270-E022-4F86-8165-3CFCF5AFAA43","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":"Q1183580$4EF5D1A4-97E6-4AC3-9D22-B5C0CFC80970","rank":"normal"}],"P1643":[{"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":"af8e95374b302e37284f78ed5974ab1f3abdd6b1","datavalue":{"value":{"amount":"+0.8961288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183580$F2BC0E60-2F25-4627-8884-C3F00E899487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1047f0af17db3ddf4e0b51230c359bacf7209c52","datavalue":{"value":{"entity-type":"item","numeric-id":832155,"id":"Q832155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c37bf121419738a9c8cc0861ecd9e6f739158e","datavalue":{"value":{"amount":"+0.89435154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183580$94BC3C5B-CE00-48EA-B4E0-98D8686DB940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcbfa10c51a9c70912e92adba6a0a76644b0d28","datavalue":{"value":{"entity-type":"item","numeric-id":3314967,"id":"Q3314967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e389eb99eea0c0eef621d2749ebcbfaa197db8","datavalue":{"value":{"amount":"+0.8921849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183580$90C8372D-D461-464F-A623-5709A05BCA32","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":"01a77878f27b4a5df389374e58a9713c2c6fbcf7","datavalue":{"value":{"amount":"+0.8908619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183580$6DDA3369-5A5D-48A6-AFB6-4AC701610057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1d31a1939b7e893a04b16b337fd391a8c5a3ef","datavalue":{"value":{"entity-type":"item","numeric-id":4335371,"id":"Q4335371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23143ded1fb2264072db87997b4c61aac9f0019","datavalue":{"value":{"amount":"+0.8869484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183580$46E8A5AD-F988-4982-91A1-37D9A479F5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7d60a6ce8052bfa56fde89469334cce4c5fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":5447371,"id":"Q5447371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74f4d5c0ab79c1b12b3140631945ecd24ef91bd","datavalue":{"value":{"amount":"+0.8860283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183580$282122F1-6EDF-41B7-AE4C-3DF99ACAE978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c9d8c7e5aa2bb265bb2f0e81fac3ecb6d38bbe","datavalue":{"value":{"entity-type":"item","numeric-id":6161231,"id":"Q6161231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fd78cc5127995cf208fe4960152172febf4a33","datavalue":{"value":{"amount":"+0.88571554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183580$9B6D951C-0640-47F7-8066-714A886FFB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64015406b821fce89f52c5e97e56c1d4fde683d1","datavalue":{"value":{"entity-type":"item","numeric-id":1314420,"id":"Q1314420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e729e3c4068870cc4517bdd3af69ba828a90854e","datavalue":{"value":{"amount":"+0.8849801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183580$F3098B4D-F07A-414F-875C-9615155AEBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f99dc52b1e1c275cec240ada5c0f64286766e54","datavalue":{"value":{"entity-type":"item","numeric-id":5688910,"id":"Q5688910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e729e3c4068870cc4517bdd3af69ba828a90854e","datavalue":{"value":{"amount":"+0.8849801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183580$7AC99B37-AE9F-4019-ACBB-2118EA8B9E0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program synthesis using realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_synthesis_using_realizability"}}}}}