{"entities":{"Q2912772":{"pageid":2923497,"ns":120,"title":"Item:Q2912772","lastrevid":51561452,"modified":"2026-01-18T19:12:57Z","type":"item","id":"Q2912772","labels":{"en":{"language":"en","value":"A finite basis for `almost future' temporal logic over the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086266"}},"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":"Q2912772$1124EBAB-ECB3-4A80-9266-57994A5D0E66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b15ac442eeacc8c468730d51df0329f57436862","datavalue":{"value":{"text":"A Finite Basis for \u2018Almost Future\u2019 Temporal Logic over the Reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2912772$A4D18B18-A5D6-4B97-A742-7EB2BF5769F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b8836030c283d6764f7236f38b4b1fe66a051a7","datavalue":{"value":"1365.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912772$0E57C83F-8D37-48C5-A33E-633B3191E813","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b658ad6edbc1fe5de87d0488f592fae284836ab8","datavalue":{"value":"10.1007/978-3-642-32589-2_64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912772$3D0A41A8-9584-4383-957E-D98D74E53081","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a44e7e32e89282137832741756ef77ea571ee32","datavalue":{"value":{"entity-type":"item","numeric-id":259066,"id":"Q259066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912772$5B7D82F1-795A-44AC-97A2-22837A93D4D9","rank":"normal"},{"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":"Q2912772$90DE6156-FCAC-43BF-B9CD-DCD12A87B55D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a44cdefd4d293b27f98e09d7b2678bf03c15fa66","datavalue":{"value":{"entity-type":"item","numeric-id":2912704,"id":"Q2912704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912772$587753C9-427C-423E-9CE5-A7F0D616F838","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2912772$8909D8C2-53A8-4F20-9A3D-35508B48479B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912772$FAE0CED1-B27C-4F55-B267-14F9A2997C09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3f871843e71aa4095e1de405a2322f7114a1be5","datavalue":{"value":"6086266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912772$A9BA66B8-FB1F-4C44-AC72-B76F1EE15E37","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":"Q2912772$08936FD8-C923-4251-903F-463CE24FD3B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbc91a99de6cc8f990fb6bcf07708419d4766e0f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32589-2_64","type":"string"},"datatype":"url"},"type":"statement","id":"Q2912772$5C6BB153-0751-4BBB-948E-3A5710A2A79E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4622742c320359ae2fc8bc1ad72b5815f777ec82","datavalue":{"value":"W13928075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912772$BDE8DDB9-D705-4FEB-A83C-48C868267F45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542f8b526e87942e67619b417f0cd87fa45b25f5","datavalue":{"value":{"entity-type":"item","numeric-id":259068,"id":"Q259068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7d02c0e03cc677042dbf636c55038e086d5cf1","datavalue":{"value":{"amount":"+0.98563814163208","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":"Q2912772$2D177511-3F02-4D99-86CF-1FB772324D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e97f7ce83533b5569429c58e154cbb2aae7dce4","datavalue":{"value":{"entity-type":"item","numeric-id":2947179,"id":"Q2947179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731a70a859bfcc8f11a9767af48cb3bb907899f4","datavalue":{"value":{"amount":"+0.9638848304748536","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":"Q2912772$69AF2EA9-56B7-4BE9-A1A3-6370E4250408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35fea348b7ff6a1689db272c079666275ee40fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1877549,"id":"Q1877549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923c76fe7183c2e9e9fc258e8d25ea2e35c00961","datavalue":{"value":{"amount":"+0.8901587128639221","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":"Q2912772$9815C81A-E67E-45A1-AD21-AC42A1361611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21c22b90a879ea5cbfe70978cb597f60f87dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":2849958,"id":"Q2849958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14392c23e0031cc4e4a3547d0e2007c2d996329","datavalue":{"value":{"amount":"+0.8018178343772888","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":"Q2912772$B58F8492-A03C-44E9-8B50-0764DF040AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf57b40a3d6d70242a96be34c2dff415ffe856b","datavalue":{"value":{"entity-type":"item","numeric-id":4542237,"id":"Q4542237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75977cfdbc83d2e0470e3eb62d6f7c3f6d69e39b","datavalue":{"value":{"amount":"+0.7980903387069702","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":"Q2912772$65FCE5EA-E19A-46C2-83FD-C52980D6329C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2912772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2912772"}}}}}