{"entities":{"Q4820466":{"pageid":6850046,"ns":120,"title":"Item:Q4820466","lastrevid":74751165,"modified":"2026-04-15T00:10:09Z","type":"item","id":"Q4820466","labels":{"en":{"language":"en","value":"A Complete Proof System for First-order Interval Temporal Logic with Projection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2108056"}},"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":"Q4820466$4C8611BC-73A7-4F7C-BF99-B6F68648E47B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11f57c4bd824c162736618486beca7e446f34b9a","datavalue":{"value":{"text":"A Complete Proof System for First-order Interval Temporal Logic with Projection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4820466$E9D0AAE2-4B8F-4F08-88C9-6FF99C835596","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a4ebbfb26916d8b8eb6873211a41290c398e020","datavalue":{"value":"1070.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820466$19948095-F361-4370-B411-3BEFB120FEBA","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":"Q4820466$9D8FEC4A-8074-4AC5-9225-3B10296613C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7d89478774456ded62a19904fc3ea510aad4b87","datavalue":{"value":{"time":"+2004-10-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":"Q4820466$0E8159CC-1252-4320-AD12-338868758B20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820466$F96DD6AF-579B-461D-8683-8C9E95635E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820466$B1D2B6DE-3642-46C7-ADC9-2580343FB255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820466$EBA34A11-974A-4FB9-A9EE-59E2C66566F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea115646bdf7eef36f20b55d0e3592a1bd9c0b88","datavalue":{"value":"2108056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820466$8F726DCA-FE7F-4A50-A574-DF7BDD794FA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820466$B85B9748-A598-45A3-8CAF-31F8EB598341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6700c43623ca16f15bcb80c2a5909b1dca1f75dd","datavalue":{"value":"projection operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820466$DE6BD1B7-A0BD-416D-BE7D-94A6F4E6D08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa0c3289e258a19de6332c67476e528f8f33f0f","datavalue":{"value":"complete proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820466$5D9B50D8-AE3E-4322-94CF-0782D316977C","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":"Q4820466$4D275CD5-D9BD-4BFD-BFBA-EBA09082C103","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"498e45dcb35a05a9dfe76d73dd7043e0680d24e9","datavalue":{"value":"https://doi.org/10.1093/logcom/14.2.215","type":"string"},"datatype":"url"},"type":"statement","id":"Q4820466$143C4B20-CD7F-449A-AB9D-BCCD7C8C0A57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f54c6d88054f67b90d8a3728b038cf60baab581","datavalue":{"value":"W1980924813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820466$D2DBD8E8-7AFD-4CE2-9E8D-BAF3B67C9D86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b30a9a5bfba50c750ed774f7b1f0d36cfd391065","datavalue":{"value":"10.1093/LOGCOM/14.2.215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820466$17D5CBDD-126B-4132-9FEF-6BA54577DD4A","rank":"normal"}],"P1643":[{"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":"648a633af729a9baebea7053fbb935b65b774ee7","datavalue":{"value":{"amount":"+0.95298815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4820466$9790BA05-F74C-4C60-8B41-3AD8F9A59D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4025f976582952f0c7a69dd31f0b9e88d9909521","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de738646e4259d9faa9e2d6cf9aa975373e7ece","datavalue":{"value":{"amount":"+0.936756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4820466$264CC87A-7DC8-449E-AAF0-DE2FB155F047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561307f750473501718e9736601af1cef9537c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3109143,"id":"Q3109143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc637bc3f928f507bc2497c6032cbe9e10c8e08b","datavalue":{"value":{"amount":"+0.9268508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4820466$7009F1FC-8967-4F93-8391-0BC0F2C3B926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1858f3df0882189cb7b23dde4b4924d59f0d4b","datavalue":{"value":{"entity-type":"item","numeric-id":1986563,"id":"Q1986563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef1bd01a3183ed8a61b9c72e27bf041a34c3584","datavalue":{"value":{"amount":"+0.9231063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4820466$84D8E11E-D4E9-42E4-9446-311E5700D164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeb0048ba4355aad7684d591b055a973916d55c6","datavalue":{"value":{"entity-type":"item","numeric-id":3643267,"id":"Q3643267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3fa74f33abdf4e70421a3d316869cb9d36afa4","datavalue":{"value":{"amount":"+0.9172939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4820466$3F350E0A-24A5-42A4-82D8-D05BA87426C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8289dbf842c912fbfdcafb36365317c85127fc60","datavalue":{"value":{"entity-type":"item","numeric-id":2197533,"id":"Q2197533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c773c04f954f3cbc206a2c6ad1031703669f5b64","datavalue":{"value":{"amount":"+0.90348554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4820466$434B6FC4-6722-46F6-B6E3-4D3DFED5A31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a7012ca2bd562a7e57df0b315383bccdc5bda4","datavalue":{"value":{"entity-type":"item","numeric-id":2300079,"id":"Q2300079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e6324a79930ef4f42dae3d7d9a1ae51481411b","datavalue":{"value":{"amount":"+0.90206337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4820466$E14111AE-34EF-4EB7-B995-CF7E65264657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7810a460b7ebe52934e8dff313eadadff86429f0","datavalue":{"value":{"entity-type":"item","numeric-id":2686105,"id":"Q2686105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3949662976bbe90f993560ce71d94344ac339146","datavalue":{"value":{"amount":"+0.8994745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4820466$8F4C5D6D-1B8F-4254-AC01-129CBE6DBC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea8c15d4b477627cb8e775b5b9d5be542d07a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5305654,"id":"Q5305654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9752595190acee277c61bb1f664d51a8a279ac2","datavalue":{"value":{"amount":"+0.89938265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4820466$CFFC2DE7-C66C-4EE1-A39D-92841D661FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa731c9151f1750404d06afc25b30f2ccdba9ca","datavalue":{"value":{"entity-type":"item","numeric-id":5394616,"id":"Q5394616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c5da5a4d9962fb81c00949b37595f51ea8b60f","datavalue":{"value":{"amount":"+0.8990638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4820466$C303D63D-87EB-46BA-9748-0EA6438FA8C4","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":"Q4820466$B658BF82-EBA0-48A5-9A98-EAE9B1871C9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Complete Proof System for First-order Interval Temporal Logic with Projection","badges":[]}}}}}