{"entities":{"Q5756667":{"pageid":7786218,"ns":120,"title":"Item:Q5756667","lastrevid":101719325,"modified":"2026-06-06T02:37:57Z","type":"item","id":"Q5756667","labels":{"en":{"language":"en","value":"An Expressive Temporal Logic for Real Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187324"}},"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":"Q5756667$326DD2E0-4848-4222-A3B3-68D7F79793B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7155f9422e8f44313348653e73d26a0dd3f3511c","datavalue":{"value":{"text":"An Expressive Temporal Logic for Real Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756667$1600BF9B-C258-48D0-93E6-0941A0A1F8CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"184a3e76c156a78ed9f5d84ffbcc8d63a2062fcd","datavalue":{"value":"1132.03323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756667$FE89B17D-DF58-4BE6-89BE-0E6F12167BFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"909bc5f7cff8f7770083d352e12dd40623c5cd52","datavalue":{"value":"10.1007/11821069_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756667$25324634-9136-4F75-892B-AA523A961A48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756667$4855BD9E-6AC5-45AF-89ED-14FF16AAB986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7288cf75c4f286e546d946f7da603be7aa5ea57","datavalue":{"value":{"entity-type":"item","numeric-id":1216296,"id":"Q1216296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756667$77F8C43C-2F6D-4F07-AF5A-6FE4758B7E3D","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":"Q5756667$606DA38A-D0CD-4D07-B33D-25D21D931E6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756667$73377167-9D44-4789-911C-D54C9619FC7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756667$141A6F98-C267-441C-96E2-4815E8965FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756667$2D20D6B0-3701-453C-8B22-94197FAF8588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756667$B81435A1-9EC6-435D-9439-33F8F1B6216A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48425653c7f948ac2d3216bc73439760f28784ce","datavalue":{"value":"5187324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756667$B4B9C888-D1B9-4B0A-A7B7-AF890C848147","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":"Q5756667$0A150A41-ACDC-44E7-A791-B7411B5BCDD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab92eaa1ec5a58da7c83abbe8172f66b704b24fe","datavalue":{"value":"https://doi.org/10.1007/11821069_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756667$351C140D-9854-452E-A28E-EC51FD1F3A00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2071b334ac5acf3d4c8a8108ded348bd6eb47e9d","datavalue":{"value":"W2099032193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756667$7F148230-64D3-4ADD-A517-A3EA89BF6CED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35cd83ccafccc2fbcd705a8d6d446c4166c2f692","datavalue":{"value":{"entity-type":"item","numeric-id":418179,"id":"Q418179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae17771c599cd954be60476657069da4b9f4e571","datavalue":{"value":{"amount":"+0.9009199738502502","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":"Q5756667$CD990CB5-F5C7-4E75-B9FE-F558D2433EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2775779344775f046de491a50cd0b391d3f10b","datavalue":{"value":{"entity-type":"item","numeric-id":3434696,"id":"Q3434696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2303fe79e7209fa46196c8a42a77b026d40e800e","datavalue":{"value":{"amount":"+0.8683211207389832","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":"Q5756667$93905D9B-348E-4831-B902-F9119ADD7D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf872bb3bba1b6be35a5fa66604dac815550607","datavalue":{"value":{"entity-type":"item","numeric-id":5310679,"id":"Q5310679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fe4fed09e3d8493bd4266e7d2a339947c20581","datavalue":{"value":{"amount":"+0.8662407398223877","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":"Q5756667$89C32F04-1483-48D7-A8B3-346DD67EC95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2004921462150a09a296ce53be1232c74a8a315","datavalue":{"value":{"entity-type":"item","numeric-id":3511220,"id":"Q3511220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e79e06942549c2072cdb76cfcaedde9393185a","datavalue":{"value":{"amount":"+0.8489173054695129","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":"Q5756667$64D61CE0-A823-49C5-B0A0-FF0E48A664D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d21bc5f5fddcb5d589bce6c36f0cb306f10470","datavalue":{"value":{"entity-type":"item","numeric-id":3543292,"id":"Q3543292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159e8fc3d3a51a0b99466a63808a777fe8b19b85","datavalue":{"value":{"amount":"+0.8381479382514954","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":"Q5756667$90769F3B-8703-4A36-B44C-30D409E6D8F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Expressive Temporal Logic for Real Time","badges":[]}}}}}