{"entities":{"Q6045008":{"pageid":13179164,"ns":120,"title":"Item:Q6045008","lastrevid":56715423,"modified":"2026-03-19T03:39:02Z","type":"item","id":"Q6045008","labels":{"en":{"language":"en","value":"Counterexample guided inductive synthesis modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689214"}},"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":"Q6045008$B51B9CE8-759F-4FB7-A5EC-80F97EE71520","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5668882eb27ba9119c42fb0a323e3d964b017b2","datavalue":{"value":{"text":"Counterexample guided inductive synthesis modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045008$DB6092E5-09E2-49F1-8702-94C8AA698211","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56ea29c1a86085a451f06390690424e5fadc83e3","datavalue":{"value":"1511.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045008$23280F80-E12A-45AA-ABFD-DF9B36027B04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80d8e747fb85091aabffb70958cfd694301e5e5b","datavalue":{"value":"10.1007/978-3-319-96145-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045008$29DDE68A-BE4B-456E-ACBC-813D9FA9C8F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045008$1FEE1020-3BA3-456F-A07A-C9FB627467D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"090a113d0db9fc2697284494c2b1b7aae1b147ef","datavalue":{"value":{"entity-type":"item","numeric-id":436397,"id":"Q436397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045008$FCF2AAF2-D102-4284-A533-A9FC0A3F40CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3384fd3652de57b82c4f35c7e47837450d830511","datavalue":{"value":{"entity-type":"item","numeric-id":2303882,"id":"Q2303882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045008$1C287E09-1FE1-499A-A75A-2AD6E0EF5E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045008$42E8CE64-AACE-43CA-B281-B828C2C1D7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c13de3494ce2f2698a5acf6c7dbff7bb0aaeeb31","datavalue":{"value":{"entity-type":"item","numeric-id":1693114,"id":"Q1693114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045008$FC0AE89E-40F5-4CE9-BD80-C307788BCE64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045008$22510FE6-480E-4C8C-8F21-B31E5059BD5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045008$B980EE41-DA4D-436B-A71B-356554E62261","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045008$08FD2638-5CED-46D0-B7DC-FB55558B2515","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a35a15f29094751d9898d7a40ac47a3d5f943f9","datavalue":{"value":"7689214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045008$E9233E8C-7A8C-4BCC-8C79-BEC74F5770AA","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":"Q6045008$9465B8D5-5C77-4827-A6BC-2932ACB3E854","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54f06e5676febabef68f1d4f3f3c7e30ee011ddd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96145-3_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045008$64545BA4-05A1-4393-81A3-4D1ADCDB43D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2eca1954d9a9aa3e00810f19a6ca332be4bdbec","datavalue":{"value":"W2884958048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045008$DC88E7FC-25E1-4EAE-A00B-15324087CCEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df83f0edeed53dca420b3429addb4f4303709b07","datavalue":{"value":{"entity-type":"item","numeric-id":5233251,"id":"Q5233251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4daa6eded493838a8ad650ab2ea829f68e9373a7","datavalue":{"value":{"amount":"+0.8023887276649475","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":"Q6045008$1F223EB5-0B9E-4C63-BDF6-2AB5CB143473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fb1657427495232c5ae2608a0e6d15ca998a89","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ef869cd099a527ce7ccd375ff5b3d40f8d81c1","datavalue":{"value":{"amount":"+0.8018832802772522","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":"Q6045008$8CCDFDC3-8AED-4A79-97DD-5A6436B277F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a522abc1d0facdf5ef53f3e0d69cb49580d40703","datavalue":{"value":{"entity-type":"item","numeric-id":2287069,"id":"Q2287069"},"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":"Q6045008$7AD8AFC9-53BE-4C6E-AAA0-D5B22C12D5EE","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":"5a2b4e77e953cfd3388c2f07c57db154825b3806","datavalue":{"value":{"amount":"+0.7993588447570801","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":"Q6045008$3E201F86-1396-4376-8228-DF15AAA879DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55883f4b6ed210a7057519595a9a44967b370395","datavalue":{"value":{"entity-type":"item","numeric-id":1674868,"id":"Q1674868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1dac366c77ed694e56a5aac51ec3223e2334591","datavalue":{"value":{"amount":"+0.7855290174484253","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":"Q6045008$CEC2D327-A6F9-4751-B1D3-95964F41E845","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":"Q6045008$DDA3498C-63F9-4B92-8F51-0B87645A1D06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045008"}}}}}