{"entities":{"Q2234055":{"pageid":2244798,"ns":120,"title":"Item:Q2234055","lastrevid":71633688,"modified":"2026-04-13T23:32:11Z","type":"item","id":"Q2234055","labels":{"en":{"language":"en","value":"Algebra-based synthesis of loops and their invariants (invited paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410632"}},"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":"Q2234055$8FCDE111-C94C-412D-AAE6-7F51A3489635","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a964295c1f83f1e61b32846ebcd8bc21fa68e8d8","datavalue":{"value":{"text":"Algebra-based synthesis of loops and their invariants (invited paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234055$B92D0CEF-ACC4-4F14-A76D-2C6767232194","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7c94dccd97e47895ea993899a5df10296795440","datavalue":{"value":"1472.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234055$7C81DA4F-FE0A-4030-91A3-EDEE19F9F470","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a4686890d0328042518566bff05488f37a80138","datavalue":{"value":"10.1007/978-3-030-67067-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234055$93658613-B4A4-4406-9861-443819A5E27E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22e6fe3365352d56f05576855b04c2513f48c798","datavalue":{"value":{"entity-type":"item","numeric-id":1798955,"id":"Q1798955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$5BB2102D-04CC-43C0-90EE-A7647C22E8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$F5953AFD-DE79-41CE-B1EA-A89130A01077","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234055$987D86B4-1352-4A7A-B33D-6F7A3AF6F098","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b78cda088657ab088cce71b5b416b287a5be6f2e","datavalue":{"value":"https://arxiv.org/abs/2103.03599","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234055$24AF0B86-C996-43AA-AA30-B342FACC6EA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234055$60568BF7-3061-4160-80C7-7C10714EE6B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42b732b9cd8aaf9bf0921c4bf1142150501e96ce","datavalue":{"value":"7410632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234055$57A79D4A-6B42-4306-AD92-2FB2CB9B241F","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":"Q2234055$B790A92C-FD86-46A3-B074-95303B823644","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6ef2782ee2fd6a6061b33669e6520b6719c6c6c","datavalue":{"value":"W3120927816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234055$E3713B65-BB58-4092-B122-5C821947513C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48933c0d362727730cc1905c68ff87e3a22216cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457345,"id":"Q2457345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$2776C205-43EE-4968-BC11-4C33F34A44F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de73056366a093e4fafbe59e002acb1cce516408","datavalue":{"value":{"entity-type":"item","numeric-id":4649805,"id":"Q4649805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$B68BD427-8B90-4E60-980C-B2E4CCF54F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$8DBD0682-E4F9-4318-9350-ACA6C56B4F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb68f0d8a91ad3310089f356e909e6d591f5285f","datavalue":{"value":{"entity-type":"item","numeric-id":1990524,"id":"Q1990524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$BF3A0BD0-6C47-488E-9CA6-A35EF71AF06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd164a9365d0b56b26397794a343749f485a4186","datavalue":{"value":{"entity-type":"item","numeric-id":5408553,"id":"Q5408553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$2977217A-8066-4BF0-952A-224E5AA3C065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$9042123F-D4D1-49FF-8C6D-461C83179B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533c73fd3bc256dec44dea269587bb2e0bc2dfe1","datavalue":{"value":{"entity-type":"item","numeric-id":5145329,"id":"Q5145329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$C34FD912-5000-402F-ABEB-6D7688B26BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8aa5941f2e14679db4e8628983a852e51b7fe8","datavalue":{"value":{"entity-type":"item","numeric-id":2234055,"id":"Q2234055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$CD777721-EE68-41CD-8020-438B57A7D768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8475621651cac9cb40ce3325316cb92a5729de0","datavalue":{"value":{"entity-type":"item","numeric-id":5119943,"id":"Q5119943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$C8A49ED2-D227-4FBA-903F-623F5ED341CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e8ce8066168ad7a705a67763d71d75f0c26781","datavalue":{"value":{"entity-type":"item","numeric-id":1798956,"id":"Q1798956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$A5073FFF-30BA-462A-9E80-8872A6C7107C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86744cb77930e800c9f689e113529cc299242903","datavalue":{"value":{"entity-type":"item","numeric-id":3296330,"id":"Q3296330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$9F34B179-D39E-4A13-9EC2-77A96D9C2A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$94D5E29B-8871-42C2-9938-3F10F1539D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f9c7afc83573ea657dc7ed4a71c3ddc615c905","datavalue":{"value":{"entity-type":"item","numeric-id":621894,"id":"Q621894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$C3DA656C-8C91-41F6-8B87-B8FED17EBE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88a4d21f9c10003cdb38349b5ebb6aa4815e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5458331,"id":"Q5458331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$0A95DD1E-8651-4046-BA2D-0B49019E35B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$D6C72245-8C48-4C31-A276-B24C03468A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f76fff77d3d9d9b4845d1274e18b6e480264ff","datavalue":{"value":{"entity-type":"item","numeric-id":5466534,"id":"Q5466534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$89C65B2A-6815-4414-BB13-66D452A6374E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70900c3b4b31a6363b51a557b0533917f6773240","datavalue":{"value":{"entity-type":"item","numeric-id":2390319,"id":"Q2390319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$3308DB96-D3B5-466F-9DF5-3F747579CCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c89dbab3e6b723e605c6aa70dd1a0838f12ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":859956,"id":"Q859956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$B370D965-CF05-4256-8674-BF406A55F4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac80f8dd6b9c81d89f3e2f783c850787d622bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$D6DDD1C6-FA52-47F7-82F8-71B023FBE33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$A2786C87-D72B-4151-A6CF-619AE91EB91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5543be9943ed5afa4e775fa2b368abaa7788d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5326308,"id":"Q5326308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$18EFDE50-A664-4E03-A17E-49705E7254D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234055$27807C1E-7F27-44E6-8768-14437B2345B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb7c90b510a5f1e67bc4c689204ae8e96e26c107","datavalue":{"value":{"entity-type":"item","numeric-id":6177467,"id":"Q6177467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52d0a27a58edc1d86f54ab841683a710294a051d","datavalue":{"value":{"amount":"+0.9364306926727296","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":"Q2234055$1BB337D4-2B58-451C-8A73-44DAE910E400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36272c08d8fca69ca939205963fa50800c4ff9c7","datavalue":{"value":{"entity-type":"item","numeric-id":6487938,"id":"Q6487938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64eb8106fc1075d9b3766d4acaedd5994f71850b","datavalue":{"value":{"amount":"+0.8409190773963928","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":"Q2234055$59733E64-0AA5-4E0F-8F2C-FE4FDE9BEAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb23bd8c9cdca6792eabcff20647876a470cc75","datavalue":{"value":{"entity-type":"item","numeric-id":5096093,"id":"Q5096093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17bfed4ef968d6ea49e724ae8ac8ec241b8e360d","datavalue":{"value":{"amount":"+0.8022964596748352","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":"Q2234055$337C16E5-C036-444F-AF7F-E013D93F1BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e44f84f769f4f9ab334f19fa186dc1ad89ccad58","datavalue":{"value":{"entity-type":"item","numeric-id":5119943,"id":"Q5119943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4907f536be129adb4611786763d9a2d55adc2f9b","datavalue":{"value":{"amount":"+0.789003312587738","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":"Q2234055$20A4D63E-D03B-4DA1-819A-0286AE344E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3276762406fd5b69340bd3ed4e749c2093b78","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb4b76a489aef2e6e8b94ad784bfdf902de0d10","datavalue":{"value":{"amount":"+0.7806731462478638","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":"Q2234055$6173B4EC-EC51-4901-AF3D-A74910455504","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebra-based synthesis of loops and their invariants (invited paper)","badges":[]}}}}}