{"entities":{"Q2409736":{"pageid":2420479,"ns":120,"title":"Item:Q2409736","lastrevid":57908109,"modified":"2026-04-03T01:14:59Z","type":"item","id":"Q2409736","labels":{"en":{"language":"en","value":"Symbolic abstract contract synthesis in a rewriting framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791226"}},"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":"Q2409736$EBBA8BC7-5D96-4FC6-87A0-2B438F027676","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6e8beb6f27a51e0c4cb4ca881f68528f7ab2d39","datavalue":{"value":{"text":"Symbolic abstract contract synthesis in a rewriting framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409736$90C78E2C-B7CE-4FC6-8D2D-ED481D5D5300","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b26233e0d25d7c98386c2d9f5859c32997581cfb","datavalue":{"value":"1485.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409736$E8C64ECE-66B6-4C90-8A4E-148C44AB9645","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9dd7d8d1cbae8964a006e69a4bd32b8d3dbcc0a","datavalue":{"value":"10.1007/978-3-319-63139-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409736$266D7C50-5303-4140-B67F-C30094A0F2F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409736$C53BA81D-C0EE-4575-AD02-E8AEC928E91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65d58dce9335ad8803534573ec5bd4ff4bf4b330","datavalue":{"value":{"entity-type":"item","numeric-id":2321073,"id":"Q2321073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409736$2D28D77F-072F-423A-AC6B-5FD701703719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36308e32b5a03059e4bfa8be66993d163941fc86","datavalue":{"value":{"entity-type":"item","numeric-id":2409735,"id":"Q2409735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409736$E852CE68-65C9-4A52-B4D5-6D4DD3B06B70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409736$317A0552-B98B-49A7-A842-33A149883E93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"102e473ffded8859023652e47d21119e5d4aadd7","datavalue":{"value":"https://arxiv.org/abs/1608.05619","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409736$FE3767D8-6DF4-437D-9941-EA1FA9C54E01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409736$03A3CF89-C403-4404-85C6-9AB7E71028DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409736$4B067F19-6FC0-470B-8283-D688DA594860","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cff4d8177a1fd602f26d9e392ecfe675c90cb06","datavalue":{"value":"6791226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409736$5DDEA47C-4CE2-43B2-8A20-9CBCDA82ADC9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409736$B7F3D0B2-A2C6-4DC1-89BE-0E2535FA4763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409736$16FCBE81-13D3-4204-8E91-0014F5399046","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":"Q2409736$B01FE007-17DC-4D87-9B25-30309A8CFEEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad8c3b31417fcf39cf2cd14356909015e1da3343","datavalue":{"value":"W2512021169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409736$2BF14763-AF2B-4C67-A8FA-108AE480BD10","rank":"normal"}],"P1643":[{"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":"5424a007a3aacee85531265ed360f9cbda10dde3","datavalue":{"value":{"amount":"+0.9356695413589478","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":"Q2409736$3EE9F0DD-A5CC-4BA4-AA02-072C05658A0B","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":"1f8dda06fb233460531a955c23692031dd5b1933","datavalue":{"value":{"amount":"+0.739564836025238","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":"Q2409736$E78C5546-3295-43AB-B65E-119589BAC3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149dbc9ca3addc70c8e9bb7aa3f9b8fe64c83ad8","datavalue":{"value":{"entity-type":"item","numeric-id":2828322,"id":"Q2828322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f37f104d6f178e71c119e6b5af424b19f00978f","datavalue":{"value":{"amount":"+0.7136990427970886","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":"Q2409736$61D42CF6-4FA5-4479-AA15-ECDC241221DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d83f355a39bad1a41fd205089ab9576891a5854","datavalue":{"value":{"entity-type":"item","numeric-id":2044183,"id":"Q2044183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e65080c2dbc34dd397874c7d0f551305798c3c8","datavalue":{"value":{"amount":"+0.704706072807312","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":"Q2409736$6DFF9697-9F46-4EDF-9830-1830FF0D329E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a840a40cc352fcfa7b956c03a07ea490f36f99c4","datavalue":{"value":{"entity-type":"item","numeric-id":5371996,"id":"Q5371996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afa05c6366f534cb90362c6d9d55a2ccd9ed1dc","datavalue":{"value":{"amount":"+0.7026961445808411","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":"Q2409736$496AAA84-4FB8-4FA2-A170-878E6327F8E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409736"}}}}}