{"entities":{"Q671639":{"pageid":673488,"ns":120,"title":"Item:Q671639","lastrevid":63589014,"modified":"2026-04-11T14:11:09Z","type":"item","id":"Q671639","labels":{"en":{"language":"en","value":"Interval logics and their decision procedures. I: An interval logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983420"}},"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":"Q671639$DA486E25-3A72-4344-BF71-FBECFFA910AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52d5ad13fb07c38271a65b580b5b72a82fe032e6","datavalue":{"value":{"text":"Interval logics and their decision procedures. I: An interval logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671639$B54C5F08-7199-4F6A-AFDF-9194BCB8C960","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e093d7fbca0595ea8f6c1811048e1c05ee78eed","datavalue":{"value":"0872.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671639$6AA9501C-9DA4-4E06-94B6-FEA55DABE7D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4462435f14d896dc779f041214f889f7c636662f","datavalue":{"value":"10.1016/0304-3975(95)00254-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671639$964BA2DE-CE21-4A9E-B9D7-A7FA56B9A95A","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":"Q671639$528CCF7B-24AC-4FEC-A86B-C51D8F0EE01D","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":"Q671639$F37EBD4D-D4BE-4B91-AA26-E0E0B899F55C","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":"Q671639$B633EF5E-EA28-4B26-8D23-C3C6BBD0A6D5","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":"Q671639$7B43168D-937D-400D-98C9-458FD9141EAD","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":"Q671639$2C862158-F9DB-43CC-BA9A-762D31A1673D","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":"Q671639$B75D0594-C41F-4898-93DB-3F221BF8F96F","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":"Q671639$28266356-28DD-4A6C-85B8-D09D74B0078A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671639$54CDCCF6-76DC-4E16-87E1-6F906E05AB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671639$B24D59E3-CEEA-484E-BB4E-9474FD0521D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671639$8A52E4FA-9E80-494C-8D3D-D4FA9B785418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671639$D6AEB4C9-9A48-491E-9A38-F7F8442BFEE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef7c8ca1a78ac745b876284ff340f6ab99e026fd","datavalue":{"value":"983420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671639$3DD312E8-7DB2-4124-B551-546A45742592","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae33c133823a393dac96c0e2e443da27c72f4d6","datavalue":{"value":"future interval logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q671639$EA7EF033-74E8-4BD1-BD4D-3D9C2DCC7EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c71b707f5007155db751ae838f69f16c9f7f744c","datavalue":{"value":"specification and verification of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q671639$8ED6AF29-97E2-4E17-8D43-8540F3AD1F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30bea0abf58cab997d3ad29e4639f8c9c1ccce1b","datavalue":{"value":"back-of-the envelope timing diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q671639$3AEC73E9-6293-4F44-AEFE-7FF799568012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97dfe09a6a11162431faafac5e8c071b2557ee05","datavalue":{"value":"emptiness problem for B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q671639$2FC7469B-A0C0-43EF-93CC-8A0A51BDB20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5150d1f495c0b914705eccc8ab79445c74e92118","datavalue":{"value":"past operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q671639$C688D7F4-05E6-41E1-90DD-6DA73C8FDF9C","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":"Q671639$4AF1C2AE-80DC-4CD1-BB51-686AFCAA9CC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a67da4f4a0b8e995a1d0451d70c508be326ea954","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00254-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q671639$89DA39C9-1DD4-4C84-9150-7C1E795F7DEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dd08314582092cff798b785648fec50bd5508c3","datavalue":{"value":"W1533229737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671639$E4AA7BA3-32C9-4060-BB2F-B0363B3F988A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$B5D5E4D4-285F-43CE-B35D-C478B8357FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$4A6D5643-1AE5-4539-8144-2D7E15688109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$6FE974A4-8350-4CDE-8B46-25536CCEEF31","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":"Q671639$2144F606-B963-457F-B196-2854D176FD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$677FA6A4-0975-4292-9D28-FDA818947165","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":"Q671639$AE772F3D-133B-4693-B3E5-0786566592D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfa05c4d62a01d518c15ad58d1f851be8ddc90c","datavalue":{"value":{"entity-type":"item","numeric-id":3318104,"id":"Q3318104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$E0B22B42-67FD-4175-9F3A-7D99C1F2FEC1","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":"Q671639$7D9861B0-A01D-41DC-AD61-C58A92E75B23","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":"Q671639$DA4685B2-F8F8-47A8-93D3-2688F403FFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7919eed50aa7e0862444199698a05262d0b45b91","datavalue":{"value":{"entity-type":"item","numeric-id":3763581,"id":"Q3763581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$6E578FF1-B92D-45AC-BE22-C9C7BD8E02D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$89847AB0-EA28-4B71-9F1B-6F996283B2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b3d4e456c3c901d8ae84d31c7b6234072f788","datavalue":{"value":{"entity-type":"item","numeric-id":3816057,"id":"Q3816057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$45E6DDE6-D859-4E6E-945D-935423770E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c6414a3bd622fe6aff133e610ec3a7190a03f5","datavalue":{"value":{"entity-type":"item","numeric-id":4318636,"id":"Q4318636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$F4EA816B-E329-4428-850B-6277B409329E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$15A634FA-AB8E-4111-BC38-641A0BC1A956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784e2c0dc9a46cd19a76029a29467fe984c1d68b","datavalue":{"value":{"entity-type":"item","numeric-id":3696491,"id":"Q3696491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$82072ACA-1661-4B2B-992C-99A2C7050D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$2127646F-D717-483C-A9CE-A4A81CD6ED2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a399dedf5b356a896a3d394b7da85b4f29e38dab","datavalue":{"value":{"entity-type":"item","numeric-id":4853320,"id":"Q4853320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$FBEF9E19-7C8C-4882-997F-5272237DE72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e3c81037df254fee4dd77b68ab282990ff7a4a","datavalue":{"value":{"entity-type":"item","numeric-id":4256652,"id":"Q4256652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$391F144E-243A-4B45-B30C-309D19234038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ea2cb5982585436fe867d129af259f4c54eacf","datavalue":{"value":{"entity-type":"item","numeric-id":672040,"id":"Q672040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$799F1D69-8DBA-4B41-BDA7-B0BD2EBDB79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$13062107-00A7-4323-AA57-84F59442CE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$5B8A2099-9131-4C67-ADE4-19AB22BB594B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$4F2968AA-77B6-41B3-9835-0F76C7CBFBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5003f1b35a3d8f903232f84c855b80979eec5e4f","datavalue":{"value":{"entity-type":"item","numeric-id":3888985,"id":"Q3888985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$3D6CF225-DF1E-414B-9C2F-09BBA864BFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$82965CAC-7744-41F9-912B-DE1C8508D4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$BBBF8516-9853-4057-A4EC-E4554DA8B9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0347952aabca9ce306eb86ad4cc4da0efdb64958","datavalue":{"value":{"entity-type":"item","numeric-id":4518421,"id":"Q4518421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671639$DD968621-9643-46EE-AC30-A225137D6CFF","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":"Q671639$B050A871-65F0-4181-9823-3F9B139E56F8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cfd60f81dd6c965036dfe63fe884c22782b221ba","datavalue":{"value":"Q127554605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671639$323388A2-F827-49D0-9D07-D357B48F8179","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6c3dcc574e428cc2c5878f72e2d14c0b401c0e","datavalue":{"value":{"entity-type":"item","numeric-id":672040,"id":"Q672040"},"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":"Q671639$FEF6F08D-5ECD-42E4-9D49-45DB32503176","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":"7c7566d1e89dc25fc14d38ec35aaca49783ef239","datavalue":{"value":{"amount":"+0.8778709173202515","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":"Q671639$0F16FA77-078D-4CB8-ADAE-980FCC409437","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":"b6915c74fe58611b74bb4431d7fae24c2eedd4ce","datavalue":{"value":{"amount":"+0.8775247931480408","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":"Q671639$6B9284A6-EE80-4A37-9B4C-AAF20C3C1366","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interval logics and their decision procedures. I: An interval logic","badges":[]}}}}}