{"entities":{"Q2448112":{"pageid":2458855,"ns":120,"title":"Item:Q2448112","lastrevid":78820991,"modified":"2026-05-06T12:30:59Z","type":"item","id":"Q2448112","labels":{"en":{"language":"en","value":"LTL is closed under topological closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6290407"}},"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":"Q2448112$E2277781-EB7F-4EEF-9161-E298F29FD0BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0c1beaec0ecb51a62fec3c613939b4ffa47ed53","datavalue":{"value":{"text":"LTL is closed under topological closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2448112$C1FC671A-FC82-4A4C-832A-74FC25D66A4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3888c2e4c606196189e6a7eb7478ea5373126620","datavalue":{"value":"1296.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2448112$CA03428F-7277-4855-8271-65B50B722CF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e26b2d4edc59b06b90d057bf99ffc169ec474966","datavalue":{"value":{"entity-type":"item","numeric-id":2448110,"id":"Q2448110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$7A538C1A-ACE9-4AF2-808C-9A28147290F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d2e4e7a10527a6cc63baf83d28c8d9592237e78","datavalue":{"value":{"entity-type":"item","numeric-id":2448111,"id":"Q2448111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$2BFF3862-4A8F-40C7-AE86-6EC020E7EDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$36125DCA-74C3-4111-B837-BD927E89C210","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$FC52E67F-B44D-4734-A672-E64F93B8C830","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"256ac01204f9a2de3ed48c5af044cd612dfde8da","datavalue":{"value":{"time":"+2014-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2448112$D4F827AB-9C40-4F5F-94A0-62F40A81A8D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2448112$468C8B97-FAAB-49E6-A8C3-D850AEBF1EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2448112$98B8D5C3-7F4B-4FCA-8C2F-E3EE8F6F3ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2448112$4EF743E5-48EB-4080-95D3-03F73DF8FA64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a033d6b5109920763ce6025a784efe6b3ded495","datavalue":{"value":"6290407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2448112$92351967-C000-41D9-88ED-3A06918D0A66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2448112$0D4FE67C-8E83-441A-A743-07C976AD5148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2448112$C8047B07-272B-4C69-8A8C-FF93A4385F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2448112$27072118-E3FB-4974-9E2C-ECD43BD080AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2448112$EF7663FC-17C5-44F9-A282-9C1CEC1E36BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2448112$DBCFF8B5-AB25-417D-BED9-6E4748445AE2","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":"Q2448112$AAC31655-AEC7-473E-9F53-A0E8D0B4BD25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a116b37519a2fd7b3553556760d3bd011d41106b","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2014.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2448112$55760417-12F3-4407-8EFC-2CCFA03414B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"392c537a2e1dc10493db1f97cdc440b9b880a1ae","datavalue":{"value":"W2164280338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2448112$E200369C-43B9-4129-9BC1-06A428A50541","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$D0612FCB-A370-4590-833E-2FBACCE4CAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$D0F36A75-948F-4145-9F9D-B487D3AE6F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$7D0DEE22-117F-46AC-A95C-5EFF8ABF4F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$D665CEC7-FC99-483A-9F60-1A76A76F7896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$722DFE7F-D137-4475-A8D6-4DFFBA49805A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e969e61fd0929fd6a4041f5e3ec0b094f53487","datavalue":{"value":{"entity-type":"item","numeric-id":671674,"id":"Q671674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$DACA09FD-6CF7-417A-8C79-F2D514BC9ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7582e86ac15a837da5a504aeed727db9664c0549","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$1210DFB2-4E0C-401F-9629-036503FFDEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$83A57615-C5F6-47D1-9973-8B6067863564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$BA01878E-77A1-4662-87F6-D3CE3BA7E48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847bdb99cb33a5f1424e34bd2acf52aa81768716","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2448112$1BE2DD62-AEAC-46CC-8584-F8D92E280945","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d82020640a0a7bec552cc0037e6227e40c8434d2","datavalue":{"value":"10.1016/J.IPL.2014.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2448112$28D4034E-E4C8-428B-8B9B-0A72BB750481","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e123add4a42da4fbd0d0ab00ec6108ada6d67147","datavalue":{"value":{"entity-type":"item","numeric-id":4635659,"id":"Q4635659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e54970cf4487abe7da2f4de03c167796c98b75a","datavalue":{"value":{"amount":"+0.8139379620552063","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":"Q2448112$1E860A7D-ACDD-45EF-88C1-29B6305132F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a15e0ad55a1220d4f1841234ac51561e86f158","datavalue":{"value":{"entity-type":"item","numeric-id":1423532,"id":"Q1423532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f85a99453399fc3e501575dc89e7ecf37db013e","datavalue":{"value":{"amount":"+0.753104567527771","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":"Q2448112$033F6A33-F3BE-43EF-A670-1D85F8F1F663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a23c6ee92dbaf66513ec87024db86d3f889f745","datavalue":{"value":{"entity-type":"item","numeric-id":4029611,"id":"Q4029611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96adf455e5e824f18056100650d4d6af47ea3547","datavalue":{"value":{"amount":"+0.7521721124649048","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":"Q2448112$8EF79F34-0FF5-4929-B784-3BB081500A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff7ed19dd99fa36ec0577629a48b05cbb306a16","datavalue":{"value":{"entity-type":"item","numeric-id":3975031,"id":"Q3975031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96adf455e5e824f18056100650d4d6af47ea3547","datavalue":{"value":{"amount":"+0.7521721124649048","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":"Q2448112$C50651CF-585B-446B-81BD-66C0A9747283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf048a150c1dcaae4be1d1b92c25bde46e3df7d","datavalue":{"value":{"entity-type":"item","numeric-id":402360,"id":"Q402360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee5026f2c0da8da451a88caaaef635c85c2dcb5","datavalue":{"value":{"amount":"+0.7519562244415283","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":"Q2448112$60531D38-9BE7-4DA7-A59C-FDEACB260F71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL is closed under topological closure","badges":[]}}}}}