{"entities":{"Q2852159":{"pageid":2862879,"ns":120,"title":"Item:Q2852159","lastrevid":51839237,"modified":"2026-01-20T07:24:40Z","type":"item","id":"Q2852159","labels":{"en":{"language":"en","value":"The derivations of temporal logic formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213840"}},"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":"Q2852159$3D8F62BE-8AFA-4B98-8AFA-F88F9D0B4ECB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d9214a4d8cdabae774c5ab12342d41727a04396","datavalue":{"value":"1285.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852159$F78EC1B6-B0FB-4534-80E1-FADB7FA3B0BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fa6807e5a8e911fd31fe1caa2d52f2de8962f35","datavalue":{"value":{"entity-type":"item","numeric-id":271907,"id":"Q271907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852159$07ACF1AB-0933-476F-90A4-A3B98F107104","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852159$8F9D3245-C417-4CD8-A642-C1C31DA10173","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50af293f098ce2d7efed0fa0001e47f192dfac6","datavalue":{"value":{"time":"+2013-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852159$5A9AD9DF-63BE-4C17-9AA1-CAC8108FED9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852159$7D7418DF-8EBB-44EC-B33C-B49F4BAB78C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47b44572209ad9133a983e3ec5b72981643a92ba","datavalue":{"value":"6213840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852159$F3F6E21F-E06F-49A3-A14E-1B7A2E673194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052216be58e279e6c326aae417709bbecc31b2b8","datavalue":{"value":"temporal logic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852159$80F2F4E3-3BE0-4D75-8E78-8CC7F3A02C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c408d31d5a27a201354cbe906cf1480158ad4072","datavalue":{"value":"\\(n\\)-ary connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852159$83DFAB9B-6A98-46A2-AED4-2EAB12711A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852159$B5F7FF64-7FBA-4D19-8F28-DC9938C68BA9","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":"Q2852159$B4067B22-DA2B-4F43-BB50-B1114D379061","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc89be6f9fa3249789d079a5485cb5091ba421db","datavalue":{"value":"https://doi.org/10.2478/v10037-012-0025-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852159$71EA9FAD-F0C3-41BC-9127-BA9750B517C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1969436778005b7446d9a794fbbabb06cd66645d","datavalue":{"value":"W2041170190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852159$C43BC97B-A592-4EEF-B04A-7F8DC3AC77E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"723b98e8766f93dc60cc0f6f734780baf36c30de","datavalue":{"value":{"entity-type":"item","numeric-id":2852181,"id":"Q2852181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852159$310CF811-BE38-4DDE-AE12-7BC8E61FE9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d7a17245c125b7b21912611073088bc5ea5d9","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852159$41BDF6E2-7734-4C4F-8D2C-04470DC29BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60837ee6c70a0b91b37b9870ceba361b15dd4d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852159$CEBC480F-124C-4E8D-B300-248467A96E2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c05ad6d6daa61321b288b9d27d6d6ac8ee936f8","datavalue":{"value":"10.2478/V10037-012-0025-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852159$5DBAC021-D183-4F39-B90B-67AD0A0D1329","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a782e4e13efaf8c5abadc6cef9a59d1c253773f","datavalue":{"value":{"text":"The derivations of temporal logic formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852159$DD82C2D2-B384-42D3-89F6-08FF1FCB3935","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b840aac86109fb9e1e16091b8848d49b99bae1b","datavalue":{"value":{"entity-type":"item","numeric-id":2852160,"id":"Q2852160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b4864a992dc62bc42a8fccf6f9c2361a238584","datavalue":{"value":{"amount":"+0.8282783031463623","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":"Q2852159$BD4667D5-F013-4B99-B893-9A18E116848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6616e42a94ca68aa391a8e65d21ed4275c8a2512","datavalue":{"value":{"entity-type":"item","numeric-id":2852161,"id":"Q2852161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb479afa1080ff1da01145115a5e9ea772aec19","datavalue":{"value":{"amount":"+0.789617121219635","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":"Q2852159$BF464B71-A33D-4860-82B4-3997ABE98795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d031f6f42f829819016fe45e7dfab07f1d48c556","datavalue":{"value":{"entity-type":"item","numeric-id":4708432,"id":"Q4708432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"597bb47ea59c9b6d82c3229513cf428ec6ac21f4","datavalue":{"value":{"amount":"+0.7832027673721313","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":"Q2852159$6DD9B78A-E326-4648-99E3-38C7A6DFF125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cf0f42db929e2170aba75b51484eb0b6b12875","datavalue":{"value":{"entity-type":"item","numeric-id":2987734,"id":"Q2987734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f434cd5428a0eef30083b4c7ba805a3c35ae51","datavalue":{"value":{"amount":"+0.7637494206428528","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":"Q2852159$61434868-0B27-47FD-813F-B2A44B1F347E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0213266c99bd1271365493300d6d7438a5d45490","datavalue":{"value":{"entity-type":"item","numeric-id":3682464,"id":"Q3682464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9653433b79550d9ab8b11921e17b0cd1a76f3b6","datavalue":{"value":{"amount":"+0.7602962255477905","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":"Q2852159$D51E67B8-CB7E-4099-A326-6E96B2EAEA21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852159"}}}}}