{"entities":{"Q2796043":{"pageid":2806781,"ns":120,"title":"Item:Q2796043","lastrevid":83280335,"modified":"2026-05-07T06:58:09Z","type":"item","id":"Q2796043","labels":{"en":{"language":"en","value":"Lazy constrained monotonic abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6559856"}},"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":"Q2796043$537DDDC7-A906-4148-96B4-66F22452CC31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa0aec92fb5b136b4da22fdbec31f640597be96f","datavalue":{"value":{"text":"Lazy Constrained Monotonic Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796043$9D8C1FFF-71A7-407F-BC52-0F5A1F9CF415","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"338320f44440c8ba3957b26dc416a92f48ff5654","datavalue":{"value":"1475.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796043$77260CB2-51A6-496B-914F-54AC17509662","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bff05995ab8a2bbfe659e803aafb15f7037211f","datavalue":{"value":"10.1007/978-3-662-49122-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796043$44536693-A9C6-4284-ACDA-F24E01B4307D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d44540ef88d43d2d362ac5018344ddb3ef76fc0","datavalue":{"value":{"entity-type":"item","numeric-id":2796042,"id":"Q2796042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796043$B0D15A2A-423C-4313-878D-E7BB6D90F7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db2b9505b07169ac2970e5fecc30e68f1e9e332","datavalue":{"value":{"entity-type":"item","numeric-id":1039840,"id":"Q1039840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796043$47A12A00-5C92-41C3-ABC2-274F057B25C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f605079e493fe7f06005c0f959e04cefac427078","datavalue":{"value":{"entity-type":"item","numeric-id":483963,"id":"Q483963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796043$A029C817-C934-43D0-BC1A-9348DB24A2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e9518156ec50c89dcd0c85ef395442fa254371","datavalue":{"value":{"entity-type":"item","numeric-id":483964,"id":"Q483964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796043$E907139F-38BD-490D-B3D1-71C498CFB90B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796043$71451A4B-2271-4B39-91DD-CA6411AB67E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e0833fdb30e5d55a1ed86554b76ff3f3cdc33c","datavalue":{"value":{"time":"+2016-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2796043$C73C2A47-6037-4097-B725-12ADE3268452","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796043$DF8362BA-FC59-44FD-9509-BD1F8E114FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796043$CD683444-0C55-43FF-8D9E-4F1CD66B9753","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23bf6baf16005ec30d5048f0804d81bc8446251d","datavalue":{"value":"6559856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796043$E8DEC85E-0D28-4F97-80E9-AAD7991C9ABB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91cd1362b33e2e2c41ccd5809ec0004095832876","datavalue":{"value":"constrained monotonic abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796043$CB06EF60-C740-4BC4-8C2F-622474663A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c4f4c2ead85a3aec5b4482c5c046177fac1bc4","datavalue":{"value":"lazy exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796043$D346B2E3-CA95-49F8-BDD4-CF1880E0C81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a3090759c5fec5d1d1c20ba4f4fd25f78529eb","datavalue":{"value":"well-structured systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796043$6589B090-A54F-4BA2-ACC8-A88D6CF2C1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796043$A04B6D9B-BEEC-4403-9CAC-9740D05E227B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c90894d56d05e85cdcf5d04dcbd7f87d3e879475","datavalue":{"value":"counter machines reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796043$F19BB7D4-FA95-43B5-A254-3333A082A28C","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":"Q2796043$B4A77941-C25E-4821-B400-89861B419BBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cb3d6e36ad1445040b590b32db38e2b3787a5ed","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49122-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796043$7AD2CB12-4350-45A2-BD45-D3BE68E94B9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c04dc9d8db0b7c404f6e5494ccd2055e59782af4","datavalue":{"value":"W2293687760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796043$B7C1FC7F-0FAA-458C-947D-CCD84C63C88E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88dc7aa8f7fccf9ba33d8a1bed9c20e8182d788","datavalue":{"value":{"entity-type":"item","numeric-id":3584923,"id":"Q3584923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeff84413a9b866ba4a081ec6763c32f9253c1e5","datavalue":{"value":{"amount":"+0.7770931124687195","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":"Q2796043$CAFA2B7A-52F9-4A7D-B8B9-D7D2DED3C8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf3824886570dc01d42f52eac80351c401019a7","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7683dbdbcb7c6cd438ffe9e1013f10ac4046e5eb","datavalue":{"value":{"amount":"+0.767164945602417","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":"Q2796043$FEF4228D-36B1-423D-8AEB-9BC611E5483A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11529eb4ce409ad0cf813c2502fa801a2afa7f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4931292,"id":"Q4931292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ef35068a14d4ac68f456637c83fc2e7113714d","datavalue":{"value":{"amount":"+0.7408738136291504","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":"Q2796043$BBC8900D-8268-4F73-ACB1-C61F8C80EBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4518d59b307f8395ac6c6a37f86412cc220c1b00","datavalue":{"value":{"entity-type":"item","numeric-id":729809,"id":"Q729809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1671dead8c4bf225af6e12f124beb9a823d3ce","datavalue":{"value":{"amount":"+0.7211401462554932","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":"Q2796043$1F76C0BA-3FA7-49E3-A0C3-63A53178DF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aaf3f129308e6b94e25fccc717cf1fddfe5875b","datavalue":{"value":{"amount":"+0.717897355556488","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":"Q2796043$226C077E-B551-4F62-AAB5-B337F8850278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazy constrained monotonic abstraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lazy_constrained_monotonic_abstraction"}}}}}