{"entities":{"Q4251916":{"pageid":6281517,"ns":120,"title":"Item:Q4251916","lastrevid":46803159,"modified":"2025-12-25T15:17:12Z","type":"item","id":"Q4251916","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1304994"}},"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":"Q4251916$2EA5E8EB-1AD1-4CDA-9FEC-70397A73CBAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a0574202659dd53281a1ced9fa1732951e431b0","datavalue":{"value":"0928.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251916$7ED5EBA6-4F10-40DC-884B-F89E95C2A21A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4251916$38AF844D-8715-4CB4-B2A6-66EC482F3B0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251916$D7F2137F-1F07-448B-AF31-19A6C33AF3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251916$3B71746A-E957-44A4-A6A5-6EFAD8EC2E67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"848ae736e8a3c7dd3631b422076406141c1ce231","datavalue":{"value":"1304994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251916$27C322AC-430A-4B27-9D51-F4D4D5DDEAE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251916$CD6BEB8B-AAC0-401E-B0D8-31210AC3303A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251916$F3C123A9-EB75-4785-A4A5-744D6709CDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d5f86d840c310c34f380538d31372409fb5f82","datavalue":{"value":"propositional real-time linear temporal logics with past","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251916$551ACAEB-5467-4395-A8F7-C08EE89514C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93b557a9cfa40ebb578fc31b354980dd20513858","datavalue":{"value":"Event Clock Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251916$DBFF2B69-5DFF-48D1-9FD0-BFAA8CAC95D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326fc567fe5811d3ee30c1f09f82bdeda604bb73","datavalue":{"value":"Metric Interval Temporal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251916$B767EE3B-7BBB-4988-8B01-FE785D2AF84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251916$A17D98F0-5796-4A62-965A-C46BC67BB697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e57751718f92c2662e0e95b81bf9628b22da3128","datavalue":{"value":"linear temporal logic of the real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251916$A56D5461-4CF3-475F-989D-BA22C2FB4EC6","rank":"normal"}],"P16":[{"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":"Q4251916$DFB3BFA1-377A-4112-8EA3-583D8AB70697","rank":"normal"},{"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":"Q4251916$B8BA5E69-EC7E-41C8-8DE9-D381A7822C1E","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":"Q4251916$68285B75-4AD4-4225-8D8C-35572B978D1F","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":"Q4251916$722C45EB-CE03-4E77-A3B2-1882ED99D5DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1790717f630dc6629e20790491820964669abb14","datavalue":{"value":{"entity-type":"item","numeric-id":5958467,"id":"Q5958467"},"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":"Q4251916$F886A68F-218D-4F1D-87F5-AB20BC26DE00","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":"64d5c32d6d8fe9568b34f157fe5d57f6d1344865","datavalue":{"value":{"amount":"+0.8378545045852661","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":"Q4251916$292860E3-76B3-453D-B9E9-72566A2BEDBB","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":"577ce07e4b884c8a92197aabd2550b16833e41af","datavalue":{"value":{"amount":"+0.8246797323226929","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":"Q4251916$72B1ABFC-616B-487A-87DC-BB94E0022735","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":"07a74e9f3f2da703f1a362847f7a38ed0546678e","datavalue":{"value":{"amount":"+0.8164545893669128","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":"Q4251916$D805BB3B-483E-469C-94BC-BD5BB8845D6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4251916","badges":[]}}}}}