{"entities":{"Q832313":{"pageid":834161,"ns":120,"title":"Item:Q832313","lastrevid":64675548,"modified":"2026-04-11T21:29:26Z","type":"item","id":"Q832313","labels":{"en":{"language":"en","value":"Lower-bound synthesis using loop specialization and Max-SMT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498211"}},"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":"Q832313$FEAA03EF-C1B8-4CD4-92E7-90374B8B5A91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49b7a6db5486600b2a67805ba50ab393f5973800","datavalue":{"value":{"text":"Lower-bound synthesis using loop specialization and Max-SMT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832313$70ACAAAE-E5EB-443F-BABC-A01913F4AA2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"296547f75397a39f05dd1ce7cfccacc1602ff230","datavalue":{"value":"1493.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832313$91DD8447-FD2D-4FFE-9444-6F43641EEC52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae62e2fb1a6bb2d7ff9c0047c49b832aaf02a21a","datavalue":{"value":"10.1007/978-3-030-81688-9_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832313$AADB0B37-666E-405B-97B2-1A087F841D66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$4CE624D4-6B34-4880-A3F9-AA74CC72C63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe753b9d2f7eccff8413eb524ea7d9ea3f789dd","datavalue":{"value":{"entity-type":"item","numeric-id":407519,"id":"Q407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$5AC4AE20-5D1C-49C1-A054-51BFC996BA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fdbed0cd9991ae3ff2fee5896dfef6e796368f6","datavalue":{"value":{"entity-type":"item","numeric-id":832311,"id":"Q832311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$47720198-9F50-45A6-AA10-073A2D7E9E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36ab15faf9255094dab93db388b6cbf00ffdd622","datavalue":{"value":{"entity-type":"item","numeric-id":832312,"id":"Q832312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$CD94A05E-06B3-4A18-B1BF-B1121C9C8543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$9B0B5A00-A7E6-449E-9564-5C21F63D76B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832313$8674CF81-176D-4A14-B41A-AC19C59E0284","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832313$891AF8B0-E492-41F9-A0F1-B86422F5C138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832313$7490478A-1734-4D26-8ED7-25EADF7849EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832313$AF5EBE29-9EA8-47D3-97E9-D0E85D895C23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68f81ff706d8678f7b8776b7446e8e31f40f8493","datavalue":{"value":"7498211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832313$F1605BB4-3362-48DB-ADE5-AB5554EA3B13","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a06b151006b2442e0c6068ea616a216c47b5945","datavalue":{"value":{"entity-type":"item","numeric-id":34997,"id":"Q34997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$A5E2CAD2-2539-4F8B-8ECC-A6497E7F617E","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":"Q832313$629E90FB-765F-418C-90F6-A02A95ED9B41","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":"Q832313$BA2BFBC4-5C8E-4257-BC84-617E9894C935","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"608c1527f5021fe6adb7725a2ed66b724c6d39dd","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81688-9_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q832313$1A5FB9D5-CB2B-4444-A352-B55D31128E02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"704c5b96046c0ef7fa5f99ede064ff18e5366b74","datavalue":{"value":"W3183759032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832313$EEB60D6D-E261-445D-B7FC-AC769AD569E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed46dc2b3832d6a8321d33eb42dc2ec453be9910","datavalue":{"value":{"entity-type":"item","numeric-id":3522073,"id":"Q3522073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$B22F45F9-A6C8-47D0-9076-67700605986F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64c0f6c86d151f61383ea03d9b987d31df98c45","datavalue":{"value":{"entity-type":"item","numeric-id":2946710,"id":"Q2946710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$92E5ACA8-7A23-4CF6-9E30-25A03EC0EB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$233B21C8-149E-463C-AA59-3BA9B5B18B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d3aa0210782da37126ac4f34c7beb5d58468c5","datavalue":{"value":{"entity-type":"item","numeric-id":1702907,"id":"Q1702907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$4967D1BD-92DD-4217-BDA0-FBFC3A2BE791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4f96e3374f503888e2094fc6f99dfeaa211ed5","datavalue":{"value":{"entity-type":"item","numeric-id":5039502,"id":"Q5039502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$67F3891C-88DF-48C8-8129-F560EC4B35E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c0e517860b31b15ac9dd4b867166f4d55f05b4","datavalue":{"value":{"entity-type":"item","numeric-id":2817952,"id":"Q2817952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$507CE069-EC40-43BF-BBC7-E683012CE709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b939ee2939c4ccffc90391a2e5d00c8574b57e1","datavalue":{"value":{"entity-type":"item","numeric-id":2802433,"id":"Q2802433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$4FCD58D8-EE5A-457A-A2B0-9B2DFCE24AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00175f41ac93a381d8dead1f56b6c8cbb629797","datavalue":{"value":{"entity-type":"item","numeric-id":5389149,"id":"Q5389149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$41ED00D6-C655-4EB0-B74B-42A64D9EBD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$09DE36E1-A2D1-4061-A292-8E43AD16CB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd7e0eaabae954c5ce023ec02943f7bbcdd3f59","datavalue":{"value":{"entity-type":"item","numeric-id":2398171,"id":"Q2398171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$52CD23BD-CAA1-4DF8-A722-BA0205F80075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$A2FE5119-E751-4E27-852D-FB064BC36A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc960f58c881f104ded70173e19f3ccf40010f8","datavalue":{"value":{"entity-type":"item","numeric-id":3612001,"id":"Q3612001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832313$5F5DA408-0DE7-43D6-B157-45739ECCB139","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2b8502776fa76db03e0d27aff1f89a22a259a6","datavalue":{"value":{"entity-type":"item","numeric-id":2817952,"id":"Q2817952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0714f6d194a4f171d52d7a4e91993d18c0a931f4","datavalue":{"value":{"amount":"+0.7161998748779297","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":"Q832313$113D132D-7D8D-4F91-996C-5C1145D0D2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8853475b282af5ddd36d57b26102a203ea9dec3f","datavalue":{"value":{"entity-type":"item","numeric-id":2946710,"id":"Q2946710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5fae3e561f7c5c4ff9d02a13444ddbeecc5331f","datavalue":{"value":{"amount":"+0.6928791999816895","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":"Q832313$C1F1233E-4324-4091-AA21-9920A220BE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf3e4ae1cf42abfcc8326250c922f458a9a91e2","datavalue":{"value":{"entity-type":"item","numeric-id":3457981,"id":"Q3457981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbeafda464a1d5a06517ffa328de5884d801ecc5","datavalue":{"value":{"amount":"+0.6885858178138733","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":"Q832313$D9443E31-2200-4364-B34A-F7531D8BD423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57898ad5938baaa660b9084b87b99b319157a720","datavalue":{"value":{"entity-type":"item","numeric-id":5897503,"id":"Q5897503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f028df65ab65bd47da18f3999fb18dbf7066574","datavalue":{"value":{"amount":"+0.6721736788749695","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":"Q832313$34C9C3D2-DE4B-44B6-81AC-517A3018B999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df272bc2cb67fd7b7bf19bfde99b9b38cd5a5106","datavalue":{"value":{"entity-type":"item","numeric-id":832230,"id":"Q832230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73d50c53380febdaf4ce7926ef18376c0d53d5b","datavalue":{"value":{"amount":"+0.6628634333610535","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":"Q832313$DFA60D82-F664-48A0-BCB3-47D6F0C1FBB5","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":"Q832313$AA62FFBE-04FF-45FA-BE9D-679D17429898","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower-bound synthesis using loop specialization and Max-SMT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower-bound_synthesis_using_loop_specialization_and_Max-SMT"}}}}}