{"entities":{"Q5426069":{"pageid":7455643,"ns":120,"title":"Item:Q5426069","lastrevid":50214551,"modified":"2026-01-13T13:21:33Z","type":"item","id":"Q5426069","labels":{"en":{"language":"en","value":"Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5212252"}},"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":"Q5426069$77443BD3-969C-4EBC-8071-BA3F9ED09211","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b2ba122cc44cf95c3a09b2dd78cdf7028f18aa1","datavalue":{"value":{"text":"Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5426069$078C71C0-8272-4152-9D8F-DE4E8CF13596","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a2b2b57229b83dd27399a7250453bfe88efbdd1","datavalue":{"value":"1125.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426069$8DC90F1F-B618-41B8-9FE2-C020935CFFC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91e6b9671dd8bb9a15fbd66d70805dd679e5d759","datavalue":{"value":"10.2168/LMCS-3(3:3)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426069$4E772A24-15D6-4880-8FF4-528AC8256E97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca70b50666cd4b37b70c35978cbe57cd070a9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":528194,"id":"Q528194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426069$38813BD4-22A3-494C-98ED-AEC042D44590","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426069$E1B1403C-2033-446E-A675-CBE0DDFA2D9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10a5b1b71dc88e8e4df61ab7ef0a14b44bff6f5f","datavalue":{"value":{"time":"+2007-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5426069$23907A1F-1A93-40F6-B253-A7D9D8BDF9DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426069$027EC420-4655-486E-98DA-61276D500659","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e325f06793a9870cb5ae5abd3ce5e755d4421df0","datavalue":{"value":"5212252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426069$EC7C229E-1036-4D4D-9987-A893D582F7E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf3b0de3fd05d0994d028cd3efdefdc637b2dc0","datavalue":{"value":"probabilistic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426069$650ECB15-7A9F-4200-829D-3E757DD7A15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426069$0467E3BA-92FA-4472-8609-1F4BE0F3ED6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426069$C9E8953F-F574-4B56-8D03-7F70960024B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc4e3041a9c62df374b66bd5039f769ca8d5ff5e","datavalue":{"value":"complete Hilbert-style proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426069$1B979341-E305-4FD2-AC41-E8945F079C3F","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":"Q5426069$963820FE-B0C3-4109-AB3A-34F2381B6DFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049cca40cb3b01e2c4d3852ca12ff7b0e501a6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1421487,"id":"Q1421487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6b1208fb5680801f59ae76d79c019d8d07c856","datavalue":{"value":{"amount":"+0.8195528984069824","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":"Q5426069$9E6CA26D-254C-4FCC-AC76-60F128F58957","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":"ac3ab5e7bf37a215da2f7dea4ba6ec13b85d5909","datavalue":{"value":{"amount":"+0.8144486546516418","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":"Q5426069$99C81FC3-3B48-43E0-963D-ABAD0DADCDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efa17ce764cedf22884c09901cabe9430db29c5","datavalue":{"value":{"entity-type":"item","numeric-id":2754146,"id":"Q2754146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"803ae1c347fd01bbf9911f2d0c344af3603a1e7d","datavalue":{"value":{"amount":"+0.8139434456825256","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":"Q5426069$7D3F6F0A-A253-4553-B10C-22EBB54FF76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8be65915bc9ec548d66fda142933fb548ae27d","datavalue":{"value":{"entity-type":"item","numeric-id":1383468,"id":"Q1383468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35635ded425697dcaefbf6cb92b47fe198ae8f71","datavalue":{"value":{"amount":"+0.8103423714637756","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":"Q5426069$E8D5C063-01EF-4513-B84D-EE592E963178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d031f6f42f829819016fe45e7dfab07f1d48c556","datavalue":{"value":{"entity-type":"item","numeric-id":4708432,"id":"Q4708432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee0fdfe0a216fa129de567ac12e550b7cd643b66","datavalue":{"value":{"amount":"+0.8045586943626404","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":"Q5426069$2A75BB16-E612-4039-A7CF-632C3D458076","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5426069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5426069"}}}}}