{"entities":{"Q5432675":{"pageid":7462239,"ns":120,"title":"Item:Q5432675","lastrevid":50236277,"modified":"2026-01-13T14:56:32Z","type":"item","id":"Q5432675","labels":{"en":{"language":"en","value":"Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221211"}},"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":"Q5432675$71732D6A-7FB2-4D0D-B9DF-C7E207423302","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bdb9f591ff836ea00b857bfea16c3fcf9504199","datavalue":{"value":{"text":"Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5432675$285497ED-AF3E-4C13-9C46-6FD99AA6594C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"741bd26f15d4a5aaeaa6d7c6cb351ec0dae479c8","datavalue":{"value":"1132.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432675$CC0D90DA-1309-4C62-97C5-604499FFA651","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca4c5d56b475c5d813f14eaa90a15ffb716f4c1","datavalue":{"value":{"entity-type":"item","numeric-id":2248086,"id":"Q2248086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432675$03CAFF6D-3A8A-44E3-8A7A-4D82CEE05334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393895076543d7c664a07b10d6d8108144d1c207","datavalue":{"value":{"time":"+2007-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5432675$6331A3F0-280F-4F29-B850-AFA39A761B17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9301864443bf84763a2db18ee38ba97bf0b945d6","datavalue":{"value":"https://semanticscholar.org/paper/0fc5962eb6974071cd4892236a8b3fbf9a6b866a","type":"string"},"datatype":"url"},"type":"statement","id":"Q5432675$6D8EF714-543E-45D5-B25A-6C51E61C47E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432675$F429EBD6-2B2A-45E3-BB3E-910F9C727F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432675$A272738C-8469-465A-BAF0-2720B171CFC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17bb7fc7e1ba2de61c52142973a7d6647f737d2c","datavalue":{"value":"5221211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432675$70807F88-D386-4680-93C5-BCCD4144C72A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b6f360299e2bbbd1211ef77ad3ebcda6fb150","datavalue":{"value":"axiomatic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5432675$E3FF643A-2762-4A3A-A86A-341A8891F73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5432675$6A51A689-7D08-46CF-9D9E-D0739D1AC586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5432675$7FCEF541-A425-4FF7-90DD-49AD782F41A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"314718637fb5a8f3a23b9619ae945bbb8b71a32f","datavalue":{"value":"small models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5432675$D72779EA-96C8-4CE9-A29E-2C90E7B59FFD","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":"Q5432675$1598E54F-963E-4352-8710-C812785CB496","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbb993fa947718775df8052690e8f90ba06b107c","datavalue":{"value":"W1975758063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432675$58258AEA-AFD0-4A8A-99D9-659A78CAF516","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43e4896bf74b71305d20b9987b8117d75e66436a","datavalue":{"value":"10.1093/LOGCOM/EXM006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432675$BEB1B221-941A-4D18-9473-C0CE4AE585B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432675$AF555D7E-602C-4533-9195-99AAEB98D5C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb58043c56c81218071db6050752bf441a23616","datavalue":{"value":{"entity-type":"item","numeric-id":3012536,"id":"Q3012536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d948bff4a2205ad3693d379200ad641106189b","datavalue":{"value":{"amount":"+0.8649752736091614","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":"Q5432675$5BD1564A-29C0-4D4C-86C6-759E5883203C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b347872709d7e70c765b6daeac5a422da11371","datavalue":{"value":{"entity-type":"item","numeric-id":3221966,"id":"Q3221966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d1c3acd1abf25e001b2e5f64880cc87fa36435","datavalue":{"value":{"amount":"+0.8077225685119629","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":"Q5432675$3D78CBAA-D890-481B-8C5C-95F1CBF408DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d37c4de50b725032dbb4d1984e3cea148729648","datavalue":{"value":{"entity-type":"item","numeric-id":3330496,"id":"Q3330496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f192a270f81c75ac3ee1dd34a9826ca472ad33d","datavalue":{"value":{"amount":"+0.8041468858718872","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":"Q5432675$F297F76D-391D-4B99-9FE8-D1F476FA4031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083c57ff0fafb5c729a4c4221bedd6292e0a23f9","datavalue":{"value":{"entity-type":"item","numeric-id":3643268,"id":"Q3643268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068be2434774110b3bcf0a480fe784bb4c3851a3","datavalue":{"value":{"amount":"+0.7877957224845886","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":"Q5432675$506B8D62-973D-4BDF-8430-340CB6689CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a81aa1aa38f8c6216db2d5aa98b73833da671a","datavalue":{"value":{"entity-type":"item","numeric-id":2904627,"id":"Q2904627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dccc6e108f05cfbdab644977f436d988013e08be","datavalue":{"value":{"amount":"+0.7828728556632996","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":"Q5432675$674760EF-802D-46E1-A0DB-04333053643C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5432675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5432675"}}}}}