{"entities":{"Q2811351":{"pageid":2822089,"ns":120,"title":"Item:Q2811351","lastrevid":58028199,"modified":"2026-04-03T12:35:07Z","type":"item","id":"Q2811351","labels":{"en":{"language":"en","value":"Metric temporal logic with counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591829"}},"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":"Q2811351$D664962E-7DCF-45CD-B1B5-4DF530ECCFD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d4f127d4a0c0d337d57db8f51d10a885c751dcf","datavalue":{"value":{"text":"Metric Temporal Logic with Counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811351$3EB13CB6-7AE1-4AF2-A913-9294CA52E4E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2374c1d95d5a4dfa50080705c7535725d8e9c1e4","datavalue":{"value":"1476.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811351$478B2F3A-55FB-4AA8-B62D-EC90E411A4EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb3cbc856943f53823d3136bd11ae285bff5a0b5","datavalue":{"value":"10.1007/978-3-662-49630-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811351$B567E12C-932F-4819-A4DE-D236769DE4B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$05196AD6-56C6-4657-908C-1953BB8D23FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2befac9be21de5c2b1388ac40e909911e3ed99ab","datavalue":{"value":{"entity-type":"item","numeric-id":2811350,"id":"Q2811350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$8EC70AE4-606C-4347-A858-08B965E66D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$BBC2C69F-D0DB-4919-B997-474288293832","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":"Q2811351$2C703268-5254-4876-98B7-5B5A47BDD2A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811351$83285F3F-8581-42AA-8545-ECA6FA2F641C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b25252a34c89a5cb4c83617d950f1eefa40deae","datavalue":{"value":"https://arxiv.org/abs/1512.09032","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811351$3BEC0345-DB65-4C3E-AE55-2008E46E04F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811351$2EDAD59F-4699-4043-A1B2-0BB24CFC77FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811351$5ABE22FD-58B0-4A83-B67B-EA06C1E3CD71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea5b3c3283ad7b3587806ad7865608ef15169edc","datavalue":{"value":"6591829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811351$834BE995-0C25-47D8-9FAB-531E0515090A","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":"Q2811351$3B11FB8E-C3CC-4D29-A92E-3FE0BB664E50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c846ec22875f6f58cf8527b2e06e9762fc74939","datavalue":{"value":"W2213476453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811351$16F91C6F-42D1-415D-B686-C5F37F1EFE00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a799a37d06aed9fd253638bccf88acff400670","datavalue":{"value":{"entity-type":"item","numeric-id":1854353,"id":"Q1854353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$B0AB16EF-2E58-44F6-B3BD-CA8DB1D4316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272609bd8b38f994632dd41505735fd6ac673cfb","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$BF52E342-B0C9-4A3C-BFB4-F98914439EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869841cbce01d6540ea738f7cdb730e35417c12c","datavalue":{"value":{"entity-type":"item","numeric-id":2958534,"id":"Q2958534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$B5E8140D-5273-4DA4-B4E2-DE5890DD887D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59875d873eaf5c2417701b8fde6c52432486fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3172853,"id":"Q3172853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$A9250D10-7817-4D79-A13A-93E23F47C71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229e2d10162be383c6a8558a938c1b227f2cdc3a","datavalue":{"value":{"entity-type":"item","numeric-id":2811351,"id":"Q2811351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$205B2BA4-216E-498D-BFFE-FFA15C8C6D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a585a00ebca9a55e45c13df0fe747cac621ff9d","datavalue":{"value":{"entity-type":"item","numeric-id":3090822,"id":"Q3090822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$7B61C653-99D0-4E8A-9D9A-A4893F819014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4be9a9b506cb0041ae2198ca04e29b2e4bef29","datavalue":{"value":{"entity-type":"item","numeric-id":3511245,"id":"Q3511245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$57F9637C-6388-446E-B6E8-178C84C9BE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980b878e989625d882cb488ac4152e9aca1e8752","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$D4358BE8-0E2B-4EAC-BDFC-54BADAAD572A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811351$778B7A43-ADAD-4D49-8342-7D278C1C5C70","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":"8f5663b3d6197591a03e56356f617926c7d5314d","datavalue":{"value":{"amount":"+0.8462763428688049","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":"Q2811351$F910E73E-A29C-4DF4-ADD3-C46E59D24DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58013e5255b0c928fa690d69c476ddda103a3045","datavalue":{"value":{"entity-type":"item","numeric-id":5168514,"id":"Q5168514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c094126a00602c190360657876b65548ea2d539","datavalue":{"value":{"amount":"+0.8292845487594604","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":"Q2811351$E1E5301E-EE78-4806-A716-8E2A49115D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e20030e1e2604b48f6f0c042c9b004e04d7467","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c253e7302842baeac82b9d83268dabba8aae28","datavalue":{"value":{"amount":"+0.8283562064170837","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":"Q2811351$66F0B0D4-3A41-41FF-B7EE-8E8B2719C14F","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":"2762b7e4ce503a8ab3924944e849649b3f4e6a77","datavalue":{"value":{"amount":"+0.8216223120689392","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":"Q2811351$D5EF1416-B891-4F29-A87D-41EF94CEB95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b622d28cdc99702e9c59a8c5757277fab5f3b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5376664,"id":"Q5376664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a438b7c80a40e8654f17689d5aea783be09ccdf5","datavalue":{"value":{"amount":"+0.8077985048294067","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":"Q2811351$3B5670F9-0C8F-4511-BBF6-4A4D20691A0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811351","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811351"}}}}}