{"entities":{"Q5958467":{"pageid":8135269,"ns":120,"title":"Item:Q5958467","lastrevid":47755414,"modified":"2026-01-02T14:55:28Z","type":"item","id":"Q5958467","labels":{"en":{"language":"en","value":"Axioms for real-time logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715468"}},"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":"Q5958467$19F00783-B5AC-420E-A808-399FE4233C60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea54e2797491c1dd77967c3b9cf50f6c05859fad","datavalue":{"value":{"text":"Axioms for real-time logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958467$2847A18E-7475-4CC8-84FB-8FA9557104EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac6d40e8d8a3d93af83e8a6fa535d803d65ac9c9","datavalue":{"value":"0994.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958467$60352250-3230-4546-B0AB-EC4031797A31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a282742301d2a682143e3862c570126f8a4fbcb1","datavalue":{"value":"10.1016/S0304-3975(00)00308-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958467$1EE3981B-3E71-4FA7-B012-3FD4AF7A077B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5ec58a0b89f617124dd985267643140ebe98b26","datavalue":{"value":{"entity-type":"item","numeric-id":685614,"id":"Q685614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$E68FBAD0-F286-44CD-B7EE-3F3F1AB4935C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$61CF8E2B-8A0A-455D-BC28-E3CB00122C91","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":"Q5958467$0E4177B8-0A71-4262-9AFE-BCA438797A3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$272F0D82-0FA2-4716-B3D9-15A2787C72FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958467$5237E152-826E-4174-9508-F697EDE710D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958467$8A27E66C-3D11-4F1F-8B77-C33A0226B398","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bc4dabf4480ca8185d0094a393a3fccf7071290","datavalue":{"value":"1715468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958467$2C742485-C2E2-45CB-A1E6-35D6750609F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958467$1E101FA5-B8EE-44C0-999E-328999777F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcf49568ab0037d04280e48116349d583f1e6a7","datavalue":{"value":"real time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958467$4A129862-07F2-448F-BDD9-7F70FF82167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958467$188EDA5B-170A-4381-BA27-ADC38C5629DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958467$90485324-F097-4782-B30B-F724002E4737","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ec9cf8bff23de0c0473ccd313d3a43c8d34b8161","datavalue":{"value":"Q114655904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958467$3FF87A95-BBCC-4F33-B570-BE238173F47E","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":"Q5958467$AD844A01-7ADA-4E45-A4DA-33DBC41C9585","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$96907CC1-E44E-4045-95EF-BF25DC470F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$98C3A377-E8B9-4557-A48A-0AD842E0609E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$D6B9601E-3148-44B0-97E3-2600E765F8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$F53B55E9-E8D4-413D-9D8F-6EF4D850C559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$F1858602-0841-41C3-A592-E4380226C07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13946f1d5a57299c2b772eb839c22d24efd0a83","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$5DA9588D-6324-4CAD-B5AF-552228A5B430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$0CE5E16A-54BB-45E4-8142-6BCF87AC7247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba87e9300083b4ca6be646359146e5b487f59235","datavalue":{"value":{"entity-type":"item","numeric-id":684564,"id":"Q684564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$9312E982-EDBE-4C72-AE14-501176920EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$FC7E3A94-83CA-4BAB-85D0-AA4A9B78F05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$640F3921-0283-4A89-A6AD-234746480441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9456d9b3e59e143f5e55b694b92114428f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$C3C2F37F-AD2C-4BCA-86A6-FD78BAA8F1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a358a7e0cfe385397b6ee7256bfda7621794063","datavalue":{"value":{"entity-type":"item","numeric-id":3948585,"id":"Q3948585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958467$91CE20C0-58BE-4AA6-83F1-D9E5BE4EB11A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f37ac460aadddd964f0fca74214de1a03e0b797","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00308-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5958467$20255F72-F089-4D82-BA17-16142B9EE1BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30dab320ab45f19e82cc29c90d6cdab403c15856","datavalue":{"value":"W2007555774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958467$B5277DED-FB45-4B2D-8404-2189FC3F5EE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb7adb125ffa28fc8b510329f49d03380666ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4251916,"id":"Q4251916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a319258d8ce35d075680bce4bb5fdcabd6f6871","datavalue":{"value":{"amount":"+0.9802222847938538","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":"Q5958467$A27D3DB3-8A9C-4E02-B5E1-227D07355698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3755b0910ebe1ff9abb557b3952099b35967839","datavalue":{"value":{"amount":"+0.8197083473205566","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":"Q5958467$AB92D587-DBD7-4972-96A8-DD4113B928ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f13b50d0406480a50eca52ed483513a3c61cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1645b2706564b2a54d4bb391272bbe738947a5a1","datavalue":{"value":{"amount":"+0.8176696300506592","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":"Q5958467$D981EEFD-5B1B-43E2-8B54-8B75F82E62E1","rank":"normal"},{"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":"b428e56b76eb3bc5701aa0f2b9dc98bcb20e1e42","datavalue":{"value":{"amount":"+0.8170861005783081","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":"Q5958467$59E8BFCE-B58A-4561-A36E-ACDBA04A24B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6bd4a16e349e72fe99e8cd1c1218b0041a2ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3648828,"id":"Q3648828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50939d0da7ac3882f8ff1ebaab0361ae8d36b719","datavalue":{"value":{"amount":"+0.8067658543586731","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":"Q5958467$C87C0BD9-A4CC-4B84-8061-16BF09F4040D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958467"}}}}}