{"entities":{"Q5217304":{"pageid":7246874,"ns":120,"title":"Item:Q5217304","lastrevid":53673752,"modified":"2026-01-25T13:05:56Z","type":"item","id":"Q5217304","labels":{"en":{"language":"en","value":"Timed temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7172768"}},"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":"Q5217304$4CADA134-B3D1-464A-B7C7-869E0CC2B111","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e687a917d639248c0a25b9f5b323a7c1643d814","datavalue":{"value":{"text":"Timed Temporal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5217304$BDFFB06D-30C4-4352-9AE7-432297A01DE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37799b3ddbf3846a80fe9d3d3f215377e876ac67","datavalue":{"value":"1431.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217304$568B89C1-4E23-48EB-B8B1-C947C619BD0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31bfe5498682aa29463497d58019095e2981e761","datavalue":{"value":"10.1007/978-3-319-63121-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217304$00CABF66-B7CA-465C-B8E5-A89EECD09171","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217304$BF3CBED5-DDFE-45FC-A312-B45B13366C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217304$AF991887-1A0F-4DF7-8729-DE36A3A16E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217304$6F303937-055C-40EC-AD1C-8244D69FCC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217304$6201B4F2-1E09-4783-A9DD-63EAC95EA029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217304$9AF71F8B-A90A-4BDE-8307-1DDD9FE9CE75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5217304$DFD5E2A2-FBB8-444E-BFF5-23CE56237F37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff603527318cba6b7a9cd3458e2a545d41485a6d","datavalue":{"value":{"time":"+2020-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5217304$428A5DAB-DF01-42A1-A5A2-44A6BC9D2EF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217304$772C130D-7536-41A3-843C-27EA850BBCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217304$F5305E3A-D0FB-4C30-B5C6-E223CA4D338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217304$B3F47563-F603-417E-BC17-4D10E2BFA09F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c9a2b6c661ec53e28a3708c7dacb097eace0bf0","datavalue":{"value":"7172768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217304$248032A3-55BD-4A17-910A-C00BBA5430DE","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":"Q5217304$25C1EC2E-7EE1-47B7-95A1-03666EC8DE2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef3b5d8c35f274cc035a2be87ba02ee50981c8ba","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63121-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5217304$5088D4AA-FA6B-4BBD-853B-AC8B0D6B9592","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc14b01496537b821668755cda31aa9bbcdab822","datavalue":{"value":"W2738417919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5217304$413132E1-4CE1-4903-BE08-7222430C9055","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388897259eb480d98a1779266d2881d0d2c1bbaa","datavalue":{"value":{"amount":"+0.8348231911659241","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":"Q5217304$81457BF0-2488-4123-ADD3-654E8E260A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ae978124f3be84bbc317e25142899f8487a143","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b04aacdbea21b5c9068339b240a670e0ee1127","datavalue":{"value":{"amount":"+0.8087084293365479","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":"Q5217304$A58379DA-92A1-40DC-9C81-214A25FF3275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0913a62d4a4cad9c6e300c9e86267156ced39ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4508400,"id":"Q4508400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf762fd1c560b00347f2561dfba57366ea00471","datavalue":{"value":{"amount":"+0.8073230385780334","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":"Q5217304$F2D5910C-68E6-4309-8073-94590BE43CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3946b755c52c0b6614394d022592b70192cce7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5351946,"id":"Q5351946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464bf9acbef0b3389f127f67de475118a910b82b","datavalue":{"value":{"amount":"+0.8072008490562439","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":"Q5217304$89613AEF-C06F-491D-9B01-FE0E918B0D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1990d77e9c082ed3b93eb00c37d8f154a5bc967","datavalue":{"value":{"entity-type":"item","numeric-id":1401306,"id":"Q1401306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c3fcf315db4e74517ed54b3c6600d960e283bd0","datavalue":{"value":{"amount":"+0.8061736822128296","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":"Q5217304$D277E741-33DF-4148-AB29-B291BDAB765D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5217304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5217304"}}}}}