{"entities":{"Q7010066":{"pageid":21563340,"ns":120,"title":"Item:Q7010066","lastrevid":81647069,"modified":"2026-05-06T19:01:01Z","type":"item","id":"Q7010066","labels":{"en":{"language":"en","value":"Compositional reasoning using interval temporal logic and Tempura"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013885"}},"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":"Q7010066$714E5AC1-81D7-47B8-924A-0EB542FDD697","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"362cd102606806df0b4fd891de478cbeafb2a952","datavalue":{"value":{"text":"Compositional reasoning using interval temporal logic and Tempura","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010066$F55931CE-26A1-4AD7-A376-7C72A7A62D33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c63f6b50402b1bdf574358c1f050efd252d786cd","datavalue":{"value":"1566.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010066$99DAA338-F8CD-4FAC-8369-3CF7FDC05ACD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dd2227d4bdcd6e58443c886b07d860f340cf1de","datavalue":{"value":"10.1007/3-540-49213-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010066$8341950E-6A44-470C-BBE3-791C44927F26","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":"Q7010066$A1EE8EF2-1B20-4756-BE7C-0C363CC47BC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010066$3C93D563-A4E6-4D2B-A8AC-FD874501A203","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010066$9B9382EA-98AB-4BFC-B8B9-8E99EC0F7CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010066$E877DD16-BD91-4E7B-9506-26B37098851F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dd83079e9e99c33d9dc7347aeb37e305ec67236","datavalue":{"value":"8013885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010066$5AEC167F-8666-463A-A189-7A4A3C2D1A54","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":"Q7010066$E332F35B-4318-4429-A300-2B9FDF3E203D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"924ff7cd258541e547151ab7d7324dd9343127ce","datavalue":{"value":{"entity-type":"item","numeric-id":1242445,"id":"Q1242445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010066$68AC4599-79AE-426F-A7D3-C1993085C297","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":"Q7010066$E83E7FED-B243-42EC-9210-273B9232F40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010066$3502770B-9852-4C9F-9569-1737C1773ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010066$A5282D92-AF10-49B8-9A99-EFC4FA99D50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010066$38D7BFF3-D097-4F50-8D25-C62DB58DC41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc2f91cfc1a9c7939995798479a24ca803246c5","datavalue":{"value":{"entity-type":"item","numeric-id":3670535,"id":"Q3670535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010066$A0B65D66-D167-46C2-9A0D-E4A38B18AFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d32fbb358fe8ff698056a464a35ad043a50a44f","datavalue":{"value":{"entity-type":"item","numeric-id":3496314,"id":"Q3496314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010066$806D38B3-F06B-4D32-A5DB-7C09E7C2280E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional reasoning using interval temporal logic and Tempura","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_reasoning_using_interval_temporal_logic_and_Tempura"}}}}}