{"entities":{"Q1207955":{"pageid":1218704,"ns":120,"title":"Item:Q1207955","lastrevid":66482184,"modified":"2026-04-12T10:22:24Z","type":"item","id":"Q1207955","labels":{"en":{"language":"en","value":"Reasoning in a restricted temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 165624"}},"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":"Q1207955$E3856AEE-0DF1-4952-AC4A-711D25301DF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76363442c09d5ccfb80b011cf81a334b4aaf82f4","datavalue":{"value":{"text":"Reasoning in a restricted temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1207955$E929EDF0-BB61-4B6D-BD87-92B21BFF3BF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0ccf8631fbbfb9f24601d1b8fbe9ce8d1f4d49b","datavalue":{"value":"0771.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207955$28CEB49C-D588-4720-A99E-E7201C609B59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207955$22EEAC5F-4724-4DE9-8CB3-0C0065738429","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207955$4B7B971F-AAB9-4F25-B368-B1AC03166CCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1207955$387D27FE-4A2B-46EF-B28D-E79B5BFD22EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207955$F213EE8D-4309-4BC1-9516-ADE77B9B163F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207955$126174D9-5549-4FA1-BBFC-6A413E67CB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207955$5A057A8F-B3E0-4A7D-9486-74DFB0E0A6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207955$BE1FF107-26A0-467F-A226-C3C43818631C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207955$3A2CC103-A707-4989-9EBE-EC17141D458D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5d69985b2f069e152bbb60f58a5af0aab2b03e6","datavalue":{"value":"165624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207955$8C5DD2DF-2D15-4CF1-9501-34B8A5490819","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff70857e579a8e5ebd70628bf6bbad61d000877","datavalue":{"value":"eventually","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207955$3097DA17-FE81-4CFE-BEEA-0038431AD5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a952b4a9d31d83f7b24811d02df13d6a60c06528","datavalue":{"value":"always","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207955$633E263C-D4DC-48EA-AA7B-FACE551A0229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e055ccb0dca9ab25c5d90aa8740861d4621e958b","datavalue":{"value":"interval modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207955$DC389444-58FA-4EE6-86EC-E5542048BC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e25568b27b81c438a9bf7b86c6a2125804cf82a","datavalue":{"value":"linear time propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207955$75FEB7AB-C461-4AD8-9BA1-AD33A9F513B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207955$805832DF-3AA2-4312-9D0E-BE39B0261A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207955$A3492744-24B3-4429-A6CD-9663F9B84061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0b65ec3a2203625e099be9b073fc50289e061d","datavalue":{"value":"\\(\\omega\\)-regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207955$78B63BD5-25FE-477D-AACE-663C9DB80BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d9225ffdce924aea185e1477a25e3ec65818c1","datavalue":{"value":"reasoning about communication systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207955$1D1D128E-B010-4D4A-89B2-1B16212542E9","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":"Q1207955$29C51910-02AF-4F7E-96DA-5E77F330BFFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96a647bf8f6bc60429223680d445d8d5eee7025c","datavalue":{"value":"https://doi.org/10.1006/inco.1993.1006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1207955$90039F9C-67F4-4D68-BD2B-603E913DD4B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4235b43270d21d46b1bf9d6d329f5db1a72fb8a","datavalue":{"value":"W2025713304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207955$79E0F689-2A79-4493-84A5-3EBD3920551B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab85aa4dc32ae83ac662c22c2f0ad9ed5ac08ff5","datavalue":{"value":"10.1006/INCO.1993.1006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207955$0E272624-22E4-4021-A0FC-EF223CC37FB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054b5392cd5568c21fefa258713ea577385c75ce","datavalue":{"value":{"amount":"+0.8305667042732239","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":"Q1207955$4F521F43-9894-4131-8771-7FCE6C0EDEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadf03d8284d33ea7ab99641e55c9ec5a3cb5eec","datavalue":{"value":{"entity-type":"item","numeric-id":2764146,"id":"Q2764146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ca94a12b2ad42b772db71d5b1b54424a3fcca0","datavalue":{"value":{"amount":"+0.828983724117279","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":"Q1207955$7E68441C-96ED-48B8-89CE-B0D9AB9EA0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff4e81840d0bce3d393f81008b184f65dd34d676","datavalue":{"value":{"entity-type":"item","numeric-id":5392504,"id":"Q5392504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2306a71abce1dfa60427c3a340420cdc1934e17","datavalue":{"value":{"amount":"+0.8274420499801636","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":"Q1207955$10DCC43C-B981-4976-BA2D-06BCA3832E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79cf21de47ba6ff03a897d8cd84e6e2d168de4f8","datavalue":{"value":{"entity-type":"item","numeric-id":4503155,"id":"Q4503155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be0d0fcc9c418de4ee5823830b5d9674ef8cf18","datavalue":{"value":{"amount":"+0.8225926756858826","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":"Q1207955$1527E074-D77F-46F2-B8F5-B28990341F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65c8fffdba38bdabc49fcdd9e28a660d4f7c043","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be0d0fcc9c418de4ee5823830b5d9674ef8cf18","datavalue":{"value":{"amount":"+0.8225926756858826","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":"Q1207955$2C9B192E-3642-463E-B42C-7C35619C534D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning in a restricted temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_in_a_restricted_temporal_logic"}}}}}