{"entities":{"Q3165752":{"pageid":3176468,"ns":120,"title":"Item:Q3165752","lastrevid":51577622,"modified":"2026-01-18T21:12:01Z","type":"item","id":"Q3165752","labels":{"en":{"language":"en","value":"Temporal logics of repeating values"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6095693"}},"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":"Q3165752$3BC0983B-C3DE-4BE8-A6B6-C5D21D631081","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dee17137959a210ef499f4ddf6ebcd45ac766407","datavalue":{"value":{"text":"Temporal Logics of Repeating Values","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3165752$1CED25A2-5AB8-49E2-B310-596F4AFCADB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dda667555e4824e6584438ff5110892bcb7af896","datavalue":{"value":"1279.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165752$CE3BB014-3007-41F2-95AA-D252DBBF63B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165752$D16E41BB-4FFD-48A9-8FAA-5DADFF40B341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86cc07c2ea63b7814d94e9965d8de64107601287","datavalue":{"value":{"entity-type":"item","numeric-id":636269,"id":"Q636269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165752$670D1B02-35BB-458D-9D69-6A88BB580E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"defaa9722ed685881201449323233883dc7eb901","datavalue":{"value":{"entity-type":"item","numeric-id":959819,"id":"Q959819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165752$154AD3CC-23B7-46A9-8FA1-7EDDA575697F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab32e99fedf2a409351a0b6b4a08c5ad35e44985","datavalue":{"value":{"time":"+2012-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3165752$91B1EE31-9C18-49C9-817B-1BF855D4B556","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cea787245d023f4b434e66d4d35b31a0ef64e089","datavalue":{"value":"https://semanticscholar.org/paper/d23b84572cd5f97919bae234bb3251ce4ffbe0d7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3165752$05487A52-D4B1-4A40-AB01-DF62012F5E7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165752$8440D745-D862-4C4E-8DFB-3A0F830BCEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165752$B460A0F3-CB6F-4964-934D-5FFCBC76C495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165752$65D3DFDD-01CB-4EBC-8631-EC080BE2837F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b341e6fa1f424e0adab129242487450db31bcefc","datavalue":{"value":"6095693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165752$698C0487-9A9A-4BD5-9C99-45BC2581C723","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165752$A138B1BC-9C77-4ECD-9486-AA7DD5758531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31dee33a56187cc81bc4473168c4a5b1d6784860","datavalue":{"value":"freeze quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165752$78816000-266C-4877-B4AC-C77A247C11E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"297d5ffa1674f9e2a8ea9d13895ed25b963e69d7","datavalue":{"value":"logical methods in program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165752$3B9BA1AE-5EB5-4ABD-BA65-48A5EF66BCC1","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":"Q3165752$82F6B039-E016-4658-AE09-5DEF7A89C64D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb3ee378de76d4e506853e89ae0de0bdf1be5845","datavalue":{"value":"W2109953964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165752$99317E9C-52A6-4C66-976A-DDB41050C1CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a873346b9557a719f004a643016478310cff57f","datavalue":{"value":"10.1093/LOGCOM/EXR013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165752$71A56AE6-C947-4563-824F-FAC997F766AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165752$B0260D72-5227-4C77-943A-6E6A5EB29647","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a62033e2b990aa563825ce553be456ba967b77","datavalue":{"value":{"entity-type":"item","numeric-id":5434506,"id":"Q5434506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e4a9c61c1b5eda14543609000411cc367c20af","datavalue":{"value":{"amount":"+0.973206102848053","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":"Q3165752$9A1BB1A1-10AE-4DD3-A2C8-07634F97FC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d565c72247ad5a56d38206a6e1db40562b58f495","datavalue":{"value":{"entity-type":"item","numeric-id":5386001,"id":"Q5386001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6788385b34104b4ed89c23880fd72a13a28ba76c","datavalue":{"value":{"amount":"+0.7919473052024841","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":"Q3165752$FDB29750-B421-4E6A-9E86-72BC65BED0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d069c880fc899737990e54edb1031bd0868e50e7","datavalue":{"value":{"entity-type":"item","numeric-id":5271038,"id":"Q5271038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5567fdbd4315d55588c70ff548d8fc794326b5","datavalue":{"value":{"amount":"+0.7855995893478394","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":"Q3165752$FDD4CB80-0F1E-40A7-A317-2A616B6152AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930b51e9083991b4bd015b20e623d50a55bcceec","datavalue":{"value":{"entity-type":"item","numeric-id":2818761,"id":"Q2818761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfcae6bc25b1db9694805eb3815ceea7fc0abd8d","datavalue":{"value":{"amount":"+0.7844375371932983","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":"Q3165752$30455902-550B-4C53-92C4-31BA35EA16C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69491bb3c6a3cd8e15ae8642b2477425f088e928","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef58d4ceaf1d080e492a8ec11801f79c2a045c0","datavalue":{"value":{"amount":"+0.7837203145027161","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":"Q3165752$801D75C9-0745-4F31-91A6-F3A08A442FB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3165752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3165752"}}}}}