{"entities":{"Q2251131":{"pageid":2261874,"ns":120,"title":"Item:Q2251131","lastrevid":52039634,"modified":"2026-01-20T19:45:28Z","type":"item","id":"Q2251131","labels":{"en":{"language":"en","value":"A practical approach to model checking duration calculus using Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6316238"}},"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":"Q2251131$611FD923-D9A3-47A7-86E7-AD77940A35F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2fa82fc197b698a86126be33c355f013c463909","datavalue":{"value":{"text":"A practical approach to model checking duration calculus using Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2251131$FC107C97-D7E0-465F-B624-E98C1DA32CA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf06156b08f0307fb65b80102bcd7eb3e6c3388f","datavalue":{"value":"1315.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251131$E77D2C20-B190-4674-BDEB-5A296412CCB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee8d9d7038763b41daab56ec63374a2aa4834ce","datavalue":{"value":{"entity-type":"item","numeric-id":478378,"id":"Q478378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$934EDC47-8E3A-4461-91E3-2AE75B0FE6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d9bc6337426905d9eed488bf723aa3c82d653be","datavalue":{"value":{"entity-type":"item","numeric-id":2251130,"id":"Q2251130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$1672B8A7-D97A-4012-AFE5-0E560469A885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b524c9901574bfcbf3bab413d3b290e2d1976f9","datavalue":{"value":{"entity-type":"item","numeric-id":478377,"id":"Q478377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$8D9E9FC0-FE19-483F-B746-954D6138298D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$195997F5-8B9A-4DF6-BC47-2E16FE17D521","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"610f7f4897ebc8fa0109faca3cc4997cf04c5145","datavalue":{"value":{"time":"+2014-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2251131$1A0D9FCA-3439-433D-B220-856EFB0B4436","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251131$04205932-A8B7-4BF5-B477-41895175C6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251131$0E57A6D2-0F97-4C07-B61E-0A8D42B7371A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251131$D25CBDC4-6C61-4CF9-9BF7-65CB69C26C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251131$19B0E9CA-CC04-4E0D-8BC6-8ABE7D0C5076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251131$8A88F1C1-9AA2-4036-88B8-8D26FFE4A68F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05abc1a4d3c09d519763f8031f96ef77f984ed51","datavalue":{"value":"6316238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251131$ACE5B2B6-97C9-4D20-AACB-8B58EBAAECDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2251131$715569E4-4CE3-4CA2-ABEF-791B8E0CD0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2251131$00EB9531-CD70-4AC4-AE39-299A4BBC3F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2251131$A28B0E5D-8A71-439E-9601-3323B84DB660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2251131$8B2A7685-5F0D-4B64-AE96-8741A8FE6120","rank":"normal"}],"P1463":[{"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":"Q2251131$5B595A34-7445-4187-A31C-A5D064DF938F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17eed7ff11e6a1606a44495d00764ff126b20b3c","datavalue":{"value":{"entity-type":"item","numeric-id":32234,"id":"Q32234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$5F74D619-8BD0-472B-B60F-DBB0CF2E2FBD","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":"Q2251131$DD147139-654B-4A35-BD5A-99C2A3824280","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bd86aa4f21f5079b58680234ed8dc65edcc97bc","datavalue":{"value":"https://doi.org/10.1007/s10472-013-9373-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2251131$8E34780C-255F-41C1-93E6-8E26842462C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4edcfeba083428d9b04d71e31d9b93ec2768aa71","datavalue":{"value":"W1983967297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251131$15158FDD-6338-4061-86C8-F680F25AD306","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c01bfb65f437d69fdbcfb2d9f8c34823e70739","datavalue":{"value":{"entity-type":"item","numeric-id":5747770,"id":"Q5747770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$AEE7CD1D-DDF4-4140-B104-2CFC34744017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde425bdb4635b5f136e61bd1b39325dc9f2bac0","datavalue":{"value":{"entity-type":"item","numeric-id":2867952,"id":"Q2867952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$FFA0295A-63E0-4425-A34A-B3EF546A63D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$31A60B0B-4FA9-491D-97C0-20A654BE2BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88510136283ff21bf203324d47fc86799aeb32e","datavalue":{"value":{"entity-type":"item","numeric-id":4353915,"id":"Q4353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$1F8D76C3-F38B-4444-B204-555539ACC951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$B2EDD90B-C4B6-4241-9906-505E40EE96B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c72d1609322f3a3879477ea3b5ea2254cff6245","datavalue":{"value":{"entity-type":"item","numeric-id":1882793,"id":"Q1882793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$991D6479-50B9-466C-ADFE-B2CE68CC7AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed226340896f6f1edb9acffcad75c449a446a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5758112,"id":"Q5758112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$191A3F8E-093D-4DCE-B602-BC0FE1B830C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$47763BA6-1648-49B1-90B3-2D523858FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8586c8e541b7d0b4edc68693614f73ceaea4047","datavalue":{"value":{"entity-type":"item","numeric-id":1346770,"id":"Q1346770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$4E6B02B2-6D55-4FDA-A4A2-B7F603DD3E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79615e9fb0f707674c996e6683a400855fede347","datavalue":{"value":{"entity-type":"item","numeric-id":939170,"id":"Q939170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$40B8B681-B295-4374-A12E-168B63E9AB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d131b8b926dc8bc91ca681921f797807bee02e9","datavalue":{"value":{"entity-type":"item","numeric-id":4251067,"id":"Q4251067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$4C786B25-D318-4B40-A397-67DAFC60B7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$6B70195D-2008-488C-BE5C-D6A1D40B32EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27124d54cb51e845e43d7ecd27812d025e0950ff","datavalue":{"value":{"entity-type":"item","numeric-id":5402572,"id":"Q5402572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$E6BD77AC-2677-4297-8C78-EF86EE6B63F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024436ce79d78900d887501762f1523e2832f46","datavalue":{"value":{"entity-type":"item","numeric-id":5466544,"id":"Q5466544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$0BA515E7-7460-4438-A87A-52767AF6358B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed332c005a556d21436e1bc83a52622fbb027b9","datavalue":{"value":{"entity-type":"item","numeric-id":5703768,"id":"Q5703768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$3A5965CC-66C8-4612-AE38-692360863D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1331fb33d4db21358e3131249907e25718ce7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5709982,"id":"Q5709982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$23E54750-10E1-4137-B3DB-2131749EB5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a988d6e4c50180c6664ab1b07da75f6a78fee427","datavalue":{"value":{"entity-type":"item","numeric-id":5505616,"id":"Q5505616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$A2555C1E-788B-4F3C-A8E4-A2A6E3BC7774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$7D5478F1-9CD7-481F-962E-87AB2B4E3B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb24b5ef13aa9924706ad086879bb014e8a0fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$4B2B05B8-ABFF-413F-92A5-B3C2AEA7255B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2251131$23F98B44-2C18-47AD-AB59-D34763288E7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f739f73be1bf324bb710e2292493cec423531cb","datavalue":{"value":"10.1007/S10472-013-9373-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2251131$724530AC-C55F-4C84-AD11-CDF7C098B568","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fc515ec118b932f1c95ee27e047198bc63c138","datavalue":{"value":{"entity-type":"item","numeric-id":2986927,"id":"Q2986927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c624da06636960190c5b83b2b4b9f15857570314","datavalue":{"value":{"amount":"+0.8420968055725098","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":"Q2251131$6C168155-ED6F-40C9-817D-5E16FC2B5A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bc0af88cd0fe60fe1c5e228b40736ee9c224d7","datavalue":{"value":{"entity-type":"item","numeric-id":5392294,"id":"Q5392294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06294d8a2b264a676027874cfdc3f971ef5f9dda","datavalue":{"value":{"amount":"+0.7698409557342529","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":"Q2251131$C9E4FAEB-0FF4-49C8-AE30-6D2A6A5D1F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5201a4e8294b81478660c00b347822c5f5b5960a","datavalue":{"value":{"entity-type":"item","numeric-id":1346770,"id":"Q1346770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dfc639ebd5c98aae4cb8bdfabb7a6c619a16929","datavalue":{"value":{"amount":"+0.7647833824157715","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":"Q2251131$19B87336-8977-4DF5-8224-E25744FD9C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46a0604fb9bac91230e8357f3fb88a6ea4c2819","datavalue":{"value":{"entity-type":"item","numeric-id":939170,"id":"Q939170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c62354564b30163893057cd4e0fdf74d9842b2","datavalue":{"value":{"amount":"+0.7630345225334167","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":"Q2251131$C335E204-F103-4AA1-A7B7-77B010945F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dddb1dd25312b54ebcb25f4f52cf2f9073cf1e63","datavalue":{"value":{"entity-type":"item","numeric-id":3525159,"id":"Q3525159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16de40bb1033710f982e223485fa41a5a9a2949","datavalue":{"value":{"amount":"+0.7625304460525513","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":"Q2251131$3578F04F-E6E4-404D-B74B-99003EBEF780","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2251131","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2251131"}}}}}