{"entities":{"Q5066804":{"pageid":7096380,"ns":120,"title":"Item:Q5066804","lastrevid":100090028,"modified":"2026-06-05T21:23:56Z","type":"item","id":"Q5066804","labels":{"en":{"language":"en","value":"An infinitary axiomatization of dynamic topological logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7500475"}},"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":"Q5066804$CD0198DF-8193-4EFF-A5E4-2CE36BF8DC27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff41c2f97ed4000546f029e835b31a7ab996a1b2","datavalue":{"value":{"text":"An infinitary axiomatization of dynamic topological logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5066804$A4A25337-C5C8-4272-84DA-670FF610E5CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fee0506d8c9f5a8b59cb2bc43b2799ed0ca20be3","datavalue":{"value":"1494.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066804$97F43553-EBAC-4CFD-87CF-84482E19730A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4851b9d6c4bbdc493725883653f81b96e8b8767f","datavalue":{"value":{"entity-type":"item","numeric-id":5066803,"id":"Q5066803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066804$3EA3B03E-18FE-4188-B252-36D8604A6EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066804$51F5202F-1C74-4C47-B2EA-ACA73125E57E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066804$49655678-00F2-43DA-A7CE-2A2522B86839","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61b9ddd561c98fbb9a9071334e79a1f87677f654","datavalue":{"value":{"time":"+2022-03-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":"Q5066804$C9E5C250-B7BA-4B37-A510-20A3A1D19C2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066804$E0DF88C1-9907-4DB1-A578-F67401F31649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066804$7D81D81B-A4ED-4234-A127-CF55E10EDA4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96b3a01870f8cd01bc8906f31e691d99a2bd6909","datavalue":{"value":"7500475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066804$40BB0068-2328-4243-B075-9FEC2CA5011B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c0c2eac79bee46aee550817d9658f5badf3eff4","datavalue":{"value":"dynamic topological logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066804$2C3318AB-2768-4B6F-A828-E244015AE210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066804$2294D385-9403-48EC-A72C-B15998DB0C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066804$1629EB51-643C-4CC4-9482-2797BD6E1063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20296d3193424db5fab0743aa037582d285289ba","datavalue":{"value":"Alexandrov spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066804$993DC45D-70AB-4EA1-AD2B-B8BA8EC9338A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6805cd779fb0b2cacd6147aa42cec0eee9b2950","datavalue":{"value":"infinitary proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066804$65F5B49C-E49C-4959-858D-7CAF84E8500B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066804$EC8AFE14-60C3-4C73-A576-5F228A634169","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":"Q5066804$C55C7C7A-532E-4440-B439-8BA813874108","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac1e6e087d5120f744d3172a6baa4092aed7f13f","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzaa055","type":"string"},"datatype":"url"},"type":"statement","id":"Q5066804$E140E7AC-AE22-4EF9-8A23-B67803A9FC77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2d0f9438d68fcb9306650de6a892e7922d19880","datavalue":{"value":"W3096323536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066804$D5DF74FD-7EF9-47CD-9FC3-35855B024209","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3fe3f3f939cb8ee3c7be23b2f959cd63a44fc0b","datavalue":{"value":"10.1093/JIGPAL/JZAA055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066804$AC82C91B-7E2A-43B6-84D7-4997A6F7F59B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7c52730b90305ff5d16b95f1b28c79414825ec","datavalue":{"value":{"entity-type":"item","numeric-id":705534,"id":"Q705534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9db2554c0e4b010260de3997a40f926b0b2474","datavalue":{"value":{"amount":"+0.8560018539428711","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":"Q5066804$D23BAC31-D2DA-4C2D-AAA4-38507EECB0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ac3364b1c38ae20b2a5d2e02cd59611f91fca6","datavalue":{"value":{"entity-type":"item","numeric-id":766293,"id":"Q766293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06afd1922056553dc9ae40f4e0d1bd174e7e8837","datavalue":{"value":{"amount":"+0.8405954241752625","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":"Q5066804$1CBFFC9D-BC33-4B16-8AD9-77946E04A8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d72affd4dfbb0fe1eb45825667db84c214192b","datavalue":{"value":{"entity-type":"item","numeric-id":5388732,"id":"Q5388732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f26058f22dd5d9c9001c212c91229d27024a7c2","datavalue":{"value":{"amount":"+0.8386889696121216","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":"Q5066804$58F9E7B7-605D-4661-95EE-77986F2C9A63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An infinitary axiomatization of dynamic topological logic","badges":[]}}}}}