{"entities":{"Q2852160":{"pageid":2862880,"ns":120,"title":"Item:Q2852160","lastrevid":83519198,"modified":"2026-05-07T08:36:26Z","type":"item","id":"Q2852160","labels":{"en":{"language":"en","value":"The properties of sets of temporal logic subformulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213841"}},"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":"Q2852160$78CF0558-F048-41BB-864E-74B03B5AA543","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3272d52dcd8931e9c64bd67a99e2f8eb3bed41f0","datavalue":{"value":"1285.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852160$C5839123-749E-413F-BD44-377997EBA4E8","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":"Q2852160$7A78A06A-9E46-4CDC-936C-3C3ACC617A4E","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":"Q2852160$ABA59C7A-C1B5-4133-BF99-23BEAD9D9E24","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":"Q2852160$2A127659-AD7F-46FF-B9DD-B49455986510","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852160$239ADCC5-EB71-48D9-9FEA-654A5356ECC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5bddbb7b44033ab0d2a23c43e620eecf1ccd209","datavalue":{"value":"6213841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852160$06BD4B44-629C-4712-B365-E6E27671CED0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a17896969fad237de3ca1e21c4bda0030a11d15","datavalue":{"value":"basic propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852160$206513B8-4BA0-4B7F-A81F-D0B2A7D9FCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852160$DAEE281D-6435-4908-BFB8-1748DCF931E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64e574b0188c82db05d93871328f483282abba54","datavalue":{"value":"temporal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2852160$8FB9857B-C00B-4A78-943F-888481195556","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":"Q2852160$D9285FB7-F823-46FF-8498-AA72E21DC842","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f3cd7af1508b5c81eea519346c01e7da3d8f103","datavalue":{"value":"https://doi.org/10.2478/v10037-012-0026-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852160$9AD0B0A4-4B05-4F0C-96EF-A863E2262C0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"528acf1ee72d02592c54f04a89ab49fd1b3c9a21","datavalue":{"value":"W2023723270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852160$76D0B8D2-0AAF-4925-997A-91DD4AD55201","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":"Q2852160$765F0201-A631-4E16-A846-3E4D3C4BEFC5","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":"Q2852160$90BB76A0-016E-4ACB-8F4B-D62A4D26458E","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":"Q2852160$946CC6FE-8F08-436D-A55A-E0C3271F99A3","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":"Q2852160$40B1F396-06F4-4B28-B335-60AB3F7B76B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15e2cae8df94c22382de35b974dd994f64ef9560","datavalue":{"value":"10.2478/V10037-012-0026-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852160$2D297A76-85DB-41F9-8621-8703F9433A3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d53cad12540f0961d7edc39e01cae45f011c3e9","datavalue":{"value":{"text":"The properties of sets of temporal logic subformulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852160$39F6A4D7-AB69-4E07-9BC6-75F02AB5FDEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28c53bb64a3ea36ba8588a9cc980edfcffd5c599","datavalue":{"value":{"entity-type":"item","numeric-id":2852159,"id":"Q2852159"},"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":"Q2852160$8B8C6E0C-0A94-402C-A8A6-1CE7BDA6FDB9","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":"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":"Q2852160$2E7D5B72-0782-492E-BB8F-1B282D9DDF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d09bca7af06e703dc97d5af2e33f232ca98dca","datavalue":{"value":{"entity-type":"item","numeric-id":4833779,"id":"Q4833779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c7b51b7f1c6368b4582ff109c5d0c85a10f78b","datavalue":{"value":{"amount":"+0.7698143720626831","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":"Q2852160$2C5C053B-9475-495F-8FF3-405942B3D721","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":"23a09a38da010f48635a31c06da4a7b7fd982b18","datavalue":{"value":{"amount":"+0.7671694159507751","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":"Q2852160$FC6202DE-6395-48EC-8B47-8B591437B06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"341fc183e534ecaf9bb2c42b864481a6c925c178","datavalue":{"value":{"entity-type":"item","numeric-id":1118578,"id":"Q1118578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6baab74af1222615b9466fd0f687cecc5fcb4d1f","datavalue":{"value":{"amount":"+0.7666637301445007","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":"Q2852160$75D8D934-7CA0-4B51-91C0-14C4FCCA5CA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The properties of sets of temporal logic subformulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_properties_of_sets_of_temporal_logic_subformulas"}}}}}