{"entities":{"Q4644526":{"pageid":6674107,"ns":120,"title":"Item:Q4644526","lastrevid":53313488,"modified":"2026-01-24T17:18:34Z","type":"item","id":"Q4644526","labels":{"en":{"language":"en","value":"Almost structurally complete infinitary consequence operations extending \\(\\mathbf{S4.3}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997932"}},"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":"Q4644526$169BBF0A-F7E5-4FFE-9B48-A1EE0D6E8826","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6d1f5564dd7ce4c2df7ab7058dbc7d9e598cb65","datavalue":{"value":{"text":"Almost structurally complete infinitary consequence operations extending S4.3","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644526$073A558F-B339-48A5-84AF-1053C6DBA342","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a61de2a9b5beb91b3b86fb29b5abec3935b60ac0","datavalue":{"value":"1405.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644526$ED95FE09-2407-4242-AFD6-B7B218000EFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f668f2383b58b17274633b11cd18bd67cd78bc2b","datavalue":{"value":{"entity-type":"item","numeric-id":278760,"id":"Q278760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644526$14C84CB4-4191-4ED1-8BC4-757ECEBD3F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb74110975662118ba1e2f7c9c93d7e4e73d80b","datavalue":{"value":{"entity-type":"item","numeric-id":195357,"id":"Q195357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644526$DC25FDB3-50F2-4A39-80D8-9E440B5A113E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-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":"Q4644526$4E49776D-2AF2-466F-80B4-3A5B0FADBA9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644526$21E35774-D8C2-4731-ACDE-0D758339A915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644526$0074CA1C-66EA-44BD-9257-4BAEF32297ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74b8f573c6ca0e7cfb17cb412c6a8a88eb8a427d","datavalue":{"value":"6997932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644526$01911795-F250-409C-8D43-01DB872B6A31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644526$BF394033-877B-4627-90B6-762D7546F78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644526$DDD073DE-08FD-4309-8BC0-C4C362AAD614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644526$108FCCDE-FA71-483D-9DDF-9842DE39B19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c34d4681274e0dbc02677ad65c87abb657eee53a","datavalue":{"value":"almost structural completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644526$667DE791-7510-4C67-B780-9F72DBF8C8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f2386a7323d09ae34b1c7bdaa42e4483658ef9","datavalue":{"value":"finite approximability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644526$1AC386FE-1036-428E-8E05-093C897E20CA","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":"Q4644526$E04C3EDB-67E7-442B-B9A0-4229413D3683","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"557a1115d71850c8b54c27e8d4499db05e8bec37","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzv024","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644526$6A17533A-6689-44AF-A580-B19118C631CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17a5ecb0d34bdcfc19f9d3845223796698f3a044","datavalue":{"value":"W2293905273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644526$4E937200-37B8-4A24-937F-04424CE92B61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f4cc5462473096c7e565c2500fb109bd00efcb6","datavalue":{"value":"10.1093/JIGPAL/JZV024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644526$812C6AA7-8B8C-4F56-A712-87FA82E75A0B","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":"Q4644526$17EBB082-DE04-4B93-9DE6-C9A59DF00A56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e1b130d8cb580a493bdce4bdea516ac92831ac","datavalue":{"value":{"entity-type":"item","numeric-id":2374393,"id":"Q2374393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b61f3397327d8331cbc9bca5028b24397da93a","datavalue":{"value":{"amount":"+0.830865740776062","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":"Q4644526$10B7FD53-A3C3-429F-9E02-29A84C66A5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ffb2f5b23c556a6514f2be6da5b5b71b049600","datavalue":{"value":{"entity-type":"item","numeric-id":1068809,"id":"Q1068809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2324258b9ba49e2895de9deb6ca3428bee26a94","datavalue":{"value":{"amount":"+0.7882066369056702","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":"Q4644526$9C783827-8A03-429C-A64E-FA5D863FC154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1181028b1c825cb546dd6f6ea5065ab1482b282f","datavalue":{"value":{"entity-type":"item","numeric-id":278762,"id":"Q278762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5164c3a49a4924e94ab9f0efbdeaf2fe4d7ad0a","datavalue":{"value":{"amount":"+0.7730326652526855","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":"Q4644526$D2ABF805-D7CF-423A-8DB3-A4637E232057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ebc1df198455286188eb79b25e882adc3909f69","datavalue":{"value":{"entity-type":"item","numeric-id":2903753,"id":"Q2903753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52555a2935124262e067029b345d4d7bc384e9f","datavalue":{"value":{"amount":"+0.7580041885375977","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":"Q4644526$2504B4DE-022B-4114-9959-4DA6B1D1F2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c97e00b44cb118327931830034132c9e093d1582","datavalue":{"value":{"entity-type":"item","numeric-id":3758808,"id":"Q3758808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9478718d31d97e23b433e3b849c14eea95406aa","datavalue":{"value":{"amount":"+0.7432165741920471","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":"Q4644526$01AE226B-71EE-4868-A119-2C0D75829995","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644526"}}}}}