{"entities":{"Q672040":{"pageid":673889,"ns":120,"title":"Item:Q672040","lastrevid":63452412,"modified":"2026-04-11T13:15:47Z","type":"item","id":"Q672040","labels":{"en":{"language":"en","value":"Interval logics and their decision procedures. II: A real-time interval logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984745"}},"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":"Q672040$57C75D06-CDF7-4C23-B6DF-8BA078424210","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a33762156e4a40ed0161984770ad2da954922be6","datavalue":{"value":{"text":"Interval logics and their decision procedures. II: A real-time interval logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672040$09F23F07-33D8-408E-AF94-3620BB772F25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b945c06f37a769eb04be219caa1227eae20eca63","datavalue":{"value":"0874.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672040$E9411873-E728-4001-B131-4C54A15A071C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56e44e5287ed1e85ea88ea35aabf92277c2d1f17","datavalue":{"value":"10.1016/S0304-3975(96)80701-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672040$C7A34A62-957E-469A-9D70-498C68679D12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e7a92a96e6148fe777c586a5ea92900cd9ce610","datavalue":{"value":{"entity-type":"item","numeric-id":230068,"id":"Q230068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$A1A51D28-0D22-4E32-83B8-F572ED28495D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edc8169c20ddf41957d5c220b42f64b8df4ae420","datavalue":{"value":{"entity-type":"item","numeric-id":230069,"id":"Q230069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$BF6CEAE3-7E06-491D-B38D-85EE64E04C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d340a66f8ce9de4f2950f868f173aeaa7bc15992","datavalue":{"value":{"entity-type":"item","numeric-id":230072,"id":"Q230072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$964ECF36-4A97-4198-B6F1-8D6AC883FB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed149779f2df5d1dc5785fc35442c97f7e3972d","datavalue":{"value":{"entity-type":"item","numeric-id":816726,"id":"Q816726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$CADD2A60-6E3E-4F9B-B38B-78B4A2D5CA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a87ca01b05a9850d3b2b81c816518f63acf59d5","datavalue":{"value":{"entity-type":"item","numeric-id":816725,"id":"Q816725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$AECA304B-FC8F-492E-9678-A0235A3AEC96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$388FF3BE-A1B9-499B-B215-F90B9B14E073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672040$5805E1FF-8E8A-42BC-9FE3-B879B9E23487","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672040$21932DEA-072A-4D58-974D-38A338C216B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672040$0D747F8F-7EFB-4866-8643-BF0150090410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672040$64462F25-75CD-4EE8-B663-93E6FCB9339F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"174d028adc23ee38b7ff0d8568ecb9882366ac6b","datavalue":{"value":"984745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672040$2209279D-8413-4437-9FF5-A7EE05CFC0BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32143c5bfd3544a21390a065f7c73c41e13aa1d7","datavalue":{"value":"reasoning about real-time properties of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672040$4554DA28-F0AF-4298-8CB6-EDDF6F377DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1055f08d78975e7f38b0bafec3116981e6384119","datavalue":{"value":"real-time future interval logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q672040$B156EC46-8A9C-42BE-B512-77945A2E49B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q672040$6AB1B799-DAA2-454D-9112-C7880E85C092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q672040$868B882B-867A-4E2E-8FB9-25FCECD4D5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q672040$1A120496-1E42-41C8-84E4-C7C775297FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b346bf5d30cc270d63ed907a17a5ef2eb967f46e","datavalue":{"value":"timed B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q672040$80D84EB8-78A6-41CF-B3B9-053C5FB6F18B","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":"Q672040$D2CBE406-55E3-4943-9B88-B03C0F45B9C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$7FDF5FE4-690E-4435-98AA-C7702185B75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c01797238679efe6e5fb4fb6f8074de29bf54dd","datavalue":{"value":{"entity-type":"item","numeric-id":5255815,"id":"Q5255815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$24580F07-A28E-492B-B67A-883D2309E40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$B9788E9F-F890-48F7-AA3C-E38DCD3B98AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$26BC0389-85E9-4E58-9B8B-4EBD38532495","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":"Q672040$98E5DD88-7876-4564-893C-5106A08E4E38","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":"Q672040$6FEC4C3E-FEC2-44EC-B570-0258E400D4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$F7DD9F20-904E-493B-AF9B-2E76CE03F1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3502e6e2ef9dced1a88ea06514b8929f0cc22158","datavalue":{"value":{"entity-type":"item","numeric-id":4853317,"id":"Q4853317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$2A6F4997-DE5A-4016-BD31-38DECAD8E834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599768578d62f94da2327f23b5ab6c0788de8d03","datavalue":{"value":{"entity-type":"item","numeric-id":4868233,"id":"Q4868233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$9543BD9D-0EEB-4216-9F6B-5E28593992B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd78a88a9ec552f6183e716a41af49d32c8db60d","datavalue":{"value":{"entity-type":"item","numeric-id":4518444,"id":"Q4518444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$87B13058-733F-4588-9AA4-5B6A540A5281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5452d635a48cac09e92f2551cca28e3b0ba6e7ae","datavalue":{"value":{"entity-type":"item","numeric-id":4268464,"id":"Q4268464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$49EB98B2-0E84-4697-AB77-80F306035F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32daa9698ef484f10054e06ce45ec892c700fd30","datavalue":{"value":{"entity-type":"item","numeric-id":671639,"id":"Q671639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$C11F08A9-B275-4164-92E3-FC7AE0FD452B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672040$1627EE56-1D74-4106-BB27-7408DE5D49F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ac5a7b88aaf6c8d4b8cc9ed0900a7312ee9425e","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)80701-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q672040$E3E3F78B-3464-4935-B62C-CED6416D4E80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9c9a652af709ad1b82fac42724f876d516301e5","datavalue":{"value":"W2620794710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672040$8B4D4121-F3B5-43A9-BB05-2F0E6E491B5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a341499615621befd473218de0314310fb0e758f","datavalue":{"value":{"entity-type":"item","numeric-id":671639,"id":"Q671639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f1b02586a784f871ec65e6298e41b993cd8e57","datavalue":{"value":{"amount":"+0.9188643097877502","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":"Q672040$B782CE0E-0C89-4302-AA91-946233282CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a84dcb8f9e59dbff2e0fcb01d3053257208d77b","datavalue":{"value":{"entity-type":"item","numeric-id":5955786,"id":"Q5955786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f121e2dec1d17389c4546dc6ff47ddd7c43ff9aa","datavalue":{"value":{"amount":"+0.9089872241020204","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":"Q672040$B6A4335F-5FF1-4F50-9FD9-3E60ACA0F1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25063fb0184396100e1448e26a592dea8d1403e","datavalue":{"value":{"entity-type":"item","numeric-id":4268464,"id":"Q4268464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86745ecdb5ec066279fb3e933aaad2f99ab8f2d","datavalue":{"value":{"amount":"+0.8982070684432983","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":"Q672040$5DF657A3-ADB8-4BEF-82BA-49871C319CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6bd4a16e349e72fe99e8cd1c1218b0041a2ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3648828,"id":"Q3648828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362cd449cce4eba8d9198db7f430e42d5312140f","datavalue":{"value":{"amount":"+0.8217690587043762","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":"Q672040$A38FAB22-EB58-4ADF-8350-45561649DD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b558c40aa4e59429868515d0dc7704d22bf559ad","datavalue":{"value":{"entity-type":"item","numeric-id":4256652,"id":"Q4256652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c16742b564312f61d8545802a37e667c0ceba6","datavalue":{"value":{"amount":"+0.8200252056121826","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":"Q672040$A67400BC-939D-4475-9012-48A6A5242FAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interval logics and their decision procedures. II: A real-time interval logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interval_logics_and_their_decision_procedures._II:_A_real-time_interval_logic"}}}}}