{"entities":{"Q4299300":{"pageid":6328901,"ns":120,"title":"Item:Q4299300","lastrevid":41134125,"modified":"2025-04-18T10:49:48Z","type":"item","id":"Q4299300","labels":{"en":{"language":"en","value":"A really temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 598342"}},"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":"Q4299300$838F3B72-C3FD-4129-9B13-6B0DF51A202D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39e0d2b20a8295f287ca72414826556fe000228e","datavalue":{"value":{"text":"A really temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4299300$89ABC39F-9059-4A79-A43B-B5559A5F32DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3c980b2f856eeeac9fd35496ca33b184380f6a3","datavalue":{"value":"0807.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299300$64F210C9-E4F7-483D-84C3-FE29A2349838","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd77da5c9101f24d8467899f451a84d3989d7749","datavalue":{"value":"10.1145/174644.174651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299300$DEF884E8-68C4-455D-9105-F6FBEB671CE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4299300$0632F03F-0B40-409C-8214-BD4BC41306A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccc97a89e1c0674a42f6f0c9729ee74a1c1266d3","datavalue":{"value":{"time":"+1995-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4299300$76A277F3-03E9-41DF-956D-A42875DA1258","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299300$1627C55F-47EF-4FB4-9A11-978B483BC15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299300$B72137C4-4453-42A9-8A37-4511BDCBE96B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a442d4fcff5313ffd850074e47b1d92eb3911705","datavalue":{"value":"598342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299300$4EE36E36-FCCE-4DCF-B825-C28ECB3B5C3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4299300$33C1AB96-4D1C-44B0-9E87-0F61C5C43362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4299300$47615F7E-D11E-49A6-A777-02A24F511171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31dee33a56187cc81bc4473168c4a5b1d6784860","datavalue":{"value":"freeze quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4299300$3D839220-DB0B-4C27-B879-F905617CC1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ea823ecd9bfb7abfaeb1e5b926cb1e269c54d51","datavalue":{"value":"tableau-based decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4299300$EACB6263-9633-4AA8-87BB-64A17D748981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fc1b95ef59246f606d504160f57ee48fb71d62","datavalue":{"value":"model-checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4299300$78F1C65C-A003-4D67-9224-EF17451E93A2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"396336d5e1d9bc5061bcfc42d31165ed10980cb2","datavalue":{"value":"Q56092495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299300$80E7F589-DADA-4914-B827-189C09E5E4B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4299300$4AD01084-6552-433B-B42E-691B58867B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4299300$031FC8C7-50F4-4F0D-8ED7-C665B19A7151","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":"Q4299300$7E616787-AE81-429C-AF63-24BF310CF075","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"718ef61bd9cf039a2b3c12eff54f5fdf2994c2f5","datavalue":{"value":"https://doi.org/10.1145/174644.174651","type":"string"},"datatype":"url"},"type":"statement","id":"Q4299300$02E59FA8-F940-43C2-9BEA-3574457B548F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ce7a0041ceca3c0194368d2f76c8b8a93f24371","datavalue":{"value":"W2030263557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4299300$B3A39AD7-7B7C-41E2-94C3-D5607DBC4A63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ab810bd1a8933f4f5c9739d7972f05526bbac2","datavalue":{"value":{"entity-type":"item","numeric-id":4532196,"id":"Q4532196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf17a42dc1f86fdb1e73e94ce62ab04fc4d98949","datavalue":{"value":{"amount":"+0.92987704","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":"Q4299300$E550C98C-B334-408F-820F-61DC332AB2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62b5bb78933813688cb14e148ed58823756184b","datavalue":{"value":{"amount":"+0.92977977","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":"Q4299300$12784F79-F56A-4446-A54E-4951B32FB97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27c27fc0638b03eb6448b0b858abf7c1b49b2817","datavalue":{"value":{"entity-type":"item","numeric-id":3835441,"id":"Q3835441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b75809d5ba27fd1508caa4948b281bcfcb7be4","datavalue":{"value":{"amount":"+0.92883086","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":"Q4299300$7C5649D8-5441-4925-A8B4-97C8BA9C23BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21c22b90a879ea5cbfe70978cb597f60f87dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":2849958,"id":"Q2849958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9430208b97a792f76640af8093963e4ee1b69f7","datavalue":{"value":{"amount":"+0.92840236","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":"Q4299300$355AA084-CED6-462C-A81F-7407B55ABC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67548bb33c036b1ea08167a45930689755f850d3","datavalue":{"value":{"entity-type":"item","numeric-id":2851821,"id":"Q2851821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d086af19239a4ab9f79b537ba1e1824ad778b31d","datavalue":{"value":{"amount":"+0.9274829","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":"Q4299300$FF5C9961-8649-4B9F-99BA-D224D09A3BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e2cb8ebc963c111445a39a6380220c85041fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1604669,"id":"Q1604669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58823f5fbe6c9bb35647d0500952ba7e26918ca4","datavalue":{"value":{"amount":"+0.9215115","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":"Q4299300$F569DB7D-278A-448C-938C-C62AD18C1410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c449e07fe8d3aa74d2b62455f4153fa42ad0ba84","datavalue":{"value":{"entity-type":"item","numeric-id":1037596,"id":"Q1037596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8311cb924e80efc165ea73af1bf951dea828f1d6","datavalue":{"value":{"amount":"+0.91811174","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":"Q4299300$44CAAD7C-DAF0-45A5-BF65-850B5ED80F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80b726a14accdfc41b7c7c865c6cc671fa6b32c","datavalue":{"value":{"entity-type":"item","numeric-id":3486547,"id":"Q3486547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce205b470f9bc4cecc2423b72b107f9ee450c13","datavalue":{"value":{"amount":"+0.9168334","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":"Q4299300$5FD881E1-5E3D-41BB-9AD4-563B21C72FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ffbeae1f7b37a10d78b673e80b5131029a08ef","datavalue":{"value":{"entity-type":"item","numeric-id":1190791,"id":"Q1190791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce205b470f9bc4cecc2423b72b107f9ee450c13","datavalue":{"value":{"amount":"+0.9168334","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":"Q4299300$A85CED3D-6A00-4C8E-83A0-9A993C3022D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4299300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4299300"}}}}}