{"entities":{"Q2852161":{"pageid":2862881,"ns":120,"title":"Item:Q2852161","lastrevid":51839243,"modified":"2026-01-20T07:24:40Z","type":"item","id":"Q2852161","labels":{"en":{"language":"en","value":"Weak completeness theorem for propositional linear time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213842"}},"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":"Q2852161$41419FD8-63E9-4A0D-807C-915A1C4000CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db08d20543a50bc5f0278dcf312c2d1c0c537422","datavalue":{"value":"1285.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852161$EC213031-B755-4BA5-B723-87E633A9901F","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":"Q2852161$6351D546-941E-46A4-8362-D05FA11EDFDA","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":"Q2852161$1B579A05-7D4A-46D1-A73A-6CC614C8727D","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":"Q2852161$0C5DBC5D-46B3-4913-BEF3-950EAAECC434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852161$E582D190-F631-4D17-923E-21EA105BFE2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f034cb00aaacefc44250ad5da9c32a7a4013213","datavalue":{"value":"6213842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852161$501493B5-F3B4-40A6-979C-7C75791E6F8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c1d34d16f6485447e09a1ed771359c96c1c115a","datavalue":{"value":"weak completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852161$CFFC8BE1-EF9A-4662-892F-6544F808923F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852161$0FBC3115-DE64-49F2-AD72-5762628F07C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852161$FAC37254-9CAE-4D4A-B782-C74B8065BF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64e574b0188c82db05d93871328f483282abba54","datavalue":{"value":"temporal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852161$7C868D3A-DC3C-4541-8032-DACCB4F36D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dc4b9aabfe6cd8b2ffc36d189be775700740b56","datavalue":{"value":"satisfiability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852161$F883804D-52B4-4AD7-B0AE-6B0C7C5ECD8C","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":"Q2852161$C8CB4785-6AFE-4509-BF34-D4293E413E04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e522cefbc64f894c3ff5eb444924e37136212bf1","datavalue":{"value":"https://doi.org/10.2478/v10037-012-0027-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852161$23B0896F-19FF-4F4A-91C8-F9CC5C7E13EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfc9066ea382ff5520201fbbecf055fdce660c7d","datavalue":{"value":"W1963842936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852161$14F61358-23A5-4705-9DEC-0A3DA161D07B","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":"Q2852161$EC7F7F33-3793-4AD0-8906-187A674B333B","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":"Q2852161$DDDF42A6-C5CD-4A89-8333-6C432F79E61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de802e72f690d63d135bbac707613273e6a2c536","datavalue":{"value":{"entity-type":"item","numeric-id":2852159,"id":"Q2852159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852161$88D9B50B-9D38-48A4-97ED-DFA2E574E2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5376bc612c65bafc0fe2e00f16be7d54d8200357","datavalue":{"value":{"entity-type":"item","numeric-id":2852160,"id":"Q2852160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852161$A7D15515-7EA5-429C-856D-BA0FAF21F9E2","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":"Q2852161$A6468CDA-1E74-4588-B974-E73DCF566A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e433595f5c1bd49da56b5dc6a4dae4f94ab310","datavalue":{"value":{"entity-type":"item","numeric-id":2865743,"id":"Q2865743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852161$91DEAB6B-4C08-468E-A4FD-BEE149DA9D39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73bdefeb4d99751b9065d970ef360bd48dc04a62","datavalue":{"value":"10.2478/V10037-012-0027-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852161$ECAD9ED9-C17E-4000-805C-8B180C34427E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfdaf6945642a5a34733cf6c6b3392921c04a08f","datavalue":{"value":{"text":"Weak completeness theorem for propositional linear time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852161$AA15E4E8-6D5E-4470-B859-F0FF2CB7BCF0","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":"831e1c7a311d97e3536d03da1b69bf68aba2d63a","datavalue":{"value":{"amount":"+0.827756941318512","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":"Q2852161$25CFE5DC-7B75-46C3-B679-A39FBBFD73CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea8c15d4b477627cb8e775b5b9d5be542d07a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5305654,"id":"Q5305654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11db4ea6309d418de8458ffe9a39d8661169208c","datavalue":{"value":{"amount":"+0.8063253164291382","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":"Q2852161$9B2362FD-ED6C-4220-A42B-2F6D6969FCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fde94bec533b56f3abaa463e0eddb60e08d287","datavalue":{"value":{"amount":"+0.8049343824386597","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":"Q2852161$03F352AB-83A2-490A-813A-657E61949D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6c33a12ba181782523e2ffa9f3f23d28ff8c77","datavalue":{"value":{"amount":"+0.7906278967857361","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":"Q2852161$7DB0191A-078D-4829-AFEB-74052FCB1BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081bd63286da1909b7245ea381f5077097f31ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2913981,"id":"Q2913981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9e5c159486fbd5486a47d1e6bad3ad90c56682","datavalue":{"value":{"amount":"+0.7898700833320618","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":"Q2852161$C51E9705-3EAF-41E1-AFD0-36ED5E281475","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852161"}}}}}