{"entities":{"Q6550595":{"pageid":14161749,"ns":120,"title":"Item:Q6550595","lastrevid":55677298,"modified":"2026-02-17T20:50:53Z","type":"item","id":"Q6550595","labels":{"en":{"language":"en","value":"An active learning approach to synthesizing program contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7860301"}},"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":"Q6550595$BCFE1CA8-D35D-42B0-B3D1-55DE8A006062","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5073e560ada5c846960809dfdd51c46c66e666f","datavalue":{"value":{"text":"An active learning approach to synthesizing program contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6550595$37C9C98E-4855-49DF-AFF8-B8946968294A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90071a8e27bd3bc78ea2041d7f99354ab5c363d5","datavalue":{"value":"10.1007/978-3-031-47115-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550595$64ACA6FC-1C7D-43D9-9FB7-268E361153CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6153b63010e5265e062d4f0713749d30c469ab5b","datavalue":{"value":{"entity-type":"item","numeric-id":417353,"id":"Q417353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550595$F21CC06F-E4D9-40BF-AD19-4B1C7911DF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550595$F5F3B45C-974D-493A-8773-78ED79B6DB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550595$9F8B1AED-C048-4859-9EFA-BD3233842F3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5219263c6fa56721869b7c73877f4b0a69654303","datavalue":{"value":{"time":"+2024-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6550595$7EF9BE37-E695-4579-AAF9-895257CD2700","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550595$F641E34D-387A-438E-9C97-0FAC4BD7785D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550595$D56609E1-BDD4-4B05-B455-9439B000456A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550595$60363FA9-6AAB-4E53-88E0-22D1B5A69BFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"623fbe6f9a48f10a9253874cd119619fcd29e62b","datavalue":{"value":"7860301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550595$B14D84B5-F3CC-40C2-9F48-38E12CD056B7","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":"Q6550595$75CF9832-0497-4821-8CD2-413E91D90F44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdc63ebe6bc76dc73b240ea50bbbd3a67a03f36","datavalue":{"value":{"entity-type":"item","numeric-id":4988925,"id":"Q4988925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550595$197553D3-A39C-47A2-85F6-CAAB2722AFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550595$1A3A8D7B-BD0A-44BB-90E4-5319FAFFC404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7cc8dc2b549d2347f941a80a02493e33b15275","datavalue":{"value":{"entity-type":"item","numeric-id":736459,"id":"Q736459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550595$2FA55F46-99B4-4FEF-936C-33290F2ECE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f815bf2ad909de0fa6e89988501157b6f777d2","datavalue":{"value":{"entity-type":"item","numeric-id":5554728,"id":"Q5554728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550595$A02BD783-CB90-4BC8-B438-BD24307C2195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550595$C1674E67-4A94-4028-9A0C-23CEE8D51452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550595$335F0B64-3ACD-4566-AF72-DA11586A468C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92839d41dedbd0185b71170cf641b8ae7af57f80","datavalue":{"value":{"entity-type":"item","numeric-id":2409736,"id":"Q2409736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c72a556191adfa8b213c18e61172614855b0417","datavalue":{"value":{"amount":"+0.7511186003684998","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":"Q6550595$F0612F6C-A9C0-46A6-82C1-9CB1CF6B34FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f143ec28b51448b75a636273b6c08e497e013c3","datavalue":{"value":{"entity-type":"item","numeric-id":4988925,"id":"Q4988925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03f53e0d0808a9b7b0147beb2acbe231dd18db6","datavalue":{"value":{"amount":"+0.7282228469848633","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":"Q6550595$2EDDF2EB-78A5-4EA1-BD71-28EC8F15283C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19e005a0abe117167f38c3b5f5143e8643419a6","datavalue":{"value":{"entity-type":"item","numeric-id":604392,"id":"Q604392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd4e19d7e81d83fd56bb57e3c0ee708add81f5e","datavalue":{"value":{"amount":"+0.7227383852005005","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":"Q6550595$7EB85B7A-16D7-45F1-A221-08B915A5E2E1","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":"01ac11b950291b870adc482e1a45d8fe84ef9c10","datavalue":{"value":{"amount":"+0.6887000799179077","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":"Q6550595$768EB17F-C9E6-45D7-B3C2-E9AEA6DD66B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3507a2854a81a8b9a3a406db118284eb639a7a4","datavalue":{"value":{"entity-type":"item","numeric-id":3434635,"id":"Q3434635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8258c5d76c001b02fb5f5320b8beb8e704a616","datavalue":{"value":{"amount":"+0.6856932640075684","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":"Q6550595$30F921AB-34F4-4CDB-95FB-5269CED8B014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6550595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6550595"}}}}}