{"entities":{"Q4461930":{"pageid":6491529,"ns":120,"title":"Item:Q4461930","lastrevid":48268276,"modified":"2026-01-04T04:25:02Z","type":"item","id":"Q4461930","labels":{"en":{"language":"en","value":"A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2064431"}},"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":"Q4461930$CB4EFC5B-E305-4181-81AC-192C6A1D64EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe658e4e4b6186677147bc650a22fda3f7f72b9e","datavalue":{"value":{"text":"A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4461930$9014715C-070D-400D-BAB8-D3B1CD084734","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2903d89ab306b520f5c6f34c779ae5d9cafa41d","datavalue":{"value":"1050.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461930$92274194-D21C-4799-B331-F0359FBD9948","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d621ae714d9ebf86952ba3492185c54e860b09a","datavalue":{"value":{"entity-type":"item","numeric-id":909442,"id":"Q909442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461930$475472EB-EB24-45EF-AE50-C22720A3E0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48632cb946b309fd3abb1fcdf63d4308e9e5bd3d","datavalue":{"value":{"entity-type":"item","numeric-id":736843,"id":"Q736843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461930$3B5B1FB1-0DA9-4F8F-8130-D42058FE46D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f2c658547352f67a9de92adfcc83c5224bfe428","datavalue":{"value":{"time":"+2004-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4461930$486A75AE-259B-42E2-86F4-75F12786A5D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461930$9B91E2F6-264A-4721-9CF8-15D61508351D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461930$1CF9C413-4652-4025-BE9B-EDB643D41BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461930$1BCC19DF-D268-4AA9-B37C-CF9ABB153A0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"231c2a70bc6b25008cf60ba85cbcb4ed6bf34f06","datavalue":{"value":"2064431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461930$F991E174-9171-4D9A-A07D-971974217D98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461930$E7E1E76D-C784-4ACD-A776-DEDE12E54E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461930$F90574A5-8E61-4728-B7D8-0E2A445624F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461930$5B98CC51-F8F6-41BF-A92D-7F34A4738FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461930$8FB3B168-E15D-4C36-9675-5077C2EB70ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461930$E81F248B-FEC7-4C8F-AA86-71557CD5274B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc4d7f8f9ecd104704105f9f2c4f947e459711a","datavalue":{"value":"chop operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461930$77F4DA10-0AC2-42FD-9F4F-1AA789DE6AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6700c43623ca16f15bcb80c2a5909b1dca1f75dd","datavalue":{"value":"projection operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461930$52C2E42F-169C-4042-B7E7-218414F46231","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":"Q4461930$B39AF0B1-B0EB-4E71-9F73-382FA5701B4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d7a08f1b72972bafd5adcf66ccf26e7b43d7a1e","datavalue":{"value":"https://doi.org/10.1093/logcom/13.2.195","type":"string"},"datatype":"url"},"type":"statement","id":"Q4461930$80DB2030-EC57-4A0B-840C-E8331C7823F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e27388a15a56d55df6f9e24ae389ecf71b1de66c","datavalue":{"value":"W2154503781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461930$166C9E32-F8EA-4D44-BFBE-77363EF5E574","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1115cebb95f4a7da5f551429c2ed22fbc31ca9b6","datavalue":{"value":"10.1093/LOGCOM/13.2.195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461930$E08B870B-E103-41A1-8389-3812A0A2A7B8","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":"Q4461930$7F324608-ADA9-4523-9647-C92CCF8CE3C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec950a4cb4d04d957ef57d3078ac85883ded1d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2197530,"id":"Q2197530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a71f08586833a12499a4975f5d5c47a70cebf53","datavalue":{"value":{"amount":"+0.8444511294364929","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":"Q4461930$8C13965B-51F1-4B62-9BFB-45BB8029CEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4402f3587097ffc09598103d8c4edfe2ec3580d","datavalue":{"value":{"entity-type":"item","numeric-id":3838807,"id":"Q3838807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbad015388521c48c858e26b66ebf1f77d4d8e71","datavalue":{"value":{"amount":"+0.8202267289161682","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":"Q4461930$1C55779B-7BE2-4EF6-A3A3-ED82F516BABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6707317a7905d8cb3156721bb2c8a3052d18572","datavalue":{"value":{"entity-type":"item","numeric-id":5425464,"id":"Q5425464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbad015388521c48c858e26b66ebf1f77d4d8e71","datavalue":{"value":{"amount":"+0.8202267289161682","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":"Q4461930$D4969150-D79A-4453-ACDD-3C78D22A9BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae0483f7b3bbbc337322337096a015d32e531ac","datavalue":{"value":{"entity-type":"item","numeric-id":4820466,"id":"Q4820466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f025fccc611bfd61060bd0ae7e3000518515fd","datavalue":{"value":{"amount":"+0.8134598731994629","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":"Q4461930$9DB012B2-00A6-4BA2-8B60-AC82FF55151F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7300cc5fe982215858a279f2ac0316a4a620cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652c4966b4449fcf03c852818d8d4ecf2d5db356","datavalue":{"value":{"amount":"+0.7947048544883728","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":"Q4461930$7D3E647F-C638-4B8A-BBCC-4B35B20DCD39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4461930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4461930"}}}}}