{"entities":{"Q4961741":{"pageid":6991323,"ns":120,"title":"Item:Q4961741","lastrevid":53252765,"modified":"2026-01-24T13:44:45Z","type":"item","id":"Q4961741","labels":{"en":{"language":"en","value":"Completeness of second-order propositional S4 and H in topological semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6965270"}},"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":"Q4961741$1DFB1A3A-412E-4ACB-B51F-FE5FE5664BF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75eca68b25547662edd5b5225ac6d254b39a444c","datavalue":{"value":{"text":"COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4961741$CF68FCEF-3FC8-4B02-88A2-79C289DCC962","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34ab2af847f99c70938e303933f1afcdf36a6513","datavalue":{"value":"1475.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961741$A2689881-0533-449E-AF96-7EC342E84603","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e37a70042dd86223a97163ef3fd751948a0d729a","datavalue":{"value":"10.1017/S1755020318000229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961741$0B56410A-06B5-4F78-A160-84FFCA73590F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5edd1deb266eec07d4ef7aa54b2db704a7084647","datavalue":{"value":{"entity-type":"item","numeric-id":211182,"id":"Q211182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$E849CDC7-5C29-4E8F-9BE0-243AC0C84D9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$6D3F0DF0-F2AC-47B6-B0E1-8A090FCEA06B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d922d082f59433f45c9845ec970fb038b58ba6c8","datavalue":{"value":{"time":"+2018-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4961741$0B30760B-4794-47C9-8D50-9BA97FA43311","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961741$5B121707-F288-44E9-857C-5EC33BBA4589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961741$3EF92C1A-1891-40F2-A085-9EC4A6DBC4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961741$90380D85-0492-4590-99E9-2D785C2996BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68de03c659a403ea3590256c82ee67726f762c44","datavalue":{"value":"6965270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961741$10DBF15A-997C-4E07-8534-03F62D886FE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec04682f92993c55e73869c665e32bcf43027d05","datavalue":{"value":"second-order propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4961741$ACADDD55-AF33-468A-B247-9FD15C93D698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4961741$68F22BAD-C394-4D21-AF57-80ECEA0CE2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4961741$491F6F0E-5553-4DE5-A0E9-B0B716460269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4961741$FFE239B0-5C05-470A-902D-770632CED70B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$0A0EB103-AC1D-48E9-AF4E-1792ED3FD696","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":"Q4961741$65E6EE94-2DB6-4B1A-A7A3-834576359881","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$CE2FD6BC-8140-4E1A-A021-21C6C13CE4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c0e62610a46dfaa857940ae1385ecd9c9dcd53","datavalue":{"value":{"entity-type":"item","numeric-id":4777262,"id":"Q4777262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$349474D3-02F3-4213-B925-29C82EF90CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002460162e95ba276012863faeb6722ea601f64","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$6ECA4FAB-3390-466C-848B-FB895E07CCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcd56a0617efad5383d484676cc25701bc6e22","datavalue":{"value":{"entity-type":"item","numeric-id":4358053,"id":"Q4358053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$7EF07009-9D26-4B3B-9D21-2B2BDE4171EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fc6879d97362bc501bd0093452c438fa3f4c1d","datavalue":{"value":{"entity-type":"item","numeric-id":1381441,"id":"Q1381441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$83831AE7-8698-4ACD-88D8-698A38914F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753056d26ab5c133f0c397bee997f1eecc1da9e4","datavalue":{"value":{"entity-type":"item","numeric-id":5402239,"id":"Q5402239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$6ECCD7F5-F060-4573-9BC4-1E914A3451EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c8e7c810a525b02adefe0ae966e0b6fc4bfe812","datavalue":{"value":{"entity-type":"item","numeric-id":2940883,"id":"Q2940883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$7A919D4D-BA3F-422C-ACC4-D07088448195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61e27db31ed39b1364574714033a3e85d7f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":4047530,"id":"Q4047530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$E73DB22A-0FB1-44D9-9479-7259A5B4572A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$85D2899E-74F0-476B-A508-01A7B60074B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01f2f66fbde06e55d210b1d49f18e1fc6320e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4141213,"id":"Q4141213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$48A73E2C-F826-47C1-9C8C-526237F7FD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$F2C48E7F-0226-4618-954B-EDBF95115EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"571fe715d825ed1037ae8c639746214697fddca6","datavalue":{"value":{"entity-type":"item","numeric-id":3616347,"id":"Q3616347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961741$B0290F79-4E5B-4262-8F75-FAC0B3B855CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cce9f19944a10732761c47007e2827d2e26bde2e","datavalue":{"value":"https://doi.org/10.1017/s1755020318000229","type":"string"},"datatype":"url"},"type":"statement","id":"Q4961741$4D4B1B3B-FD6B-43B4-A7DF-AE80CA61D0AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba0e9bd5d6493569dbe5f6e11504bedb268e6bbf","datavalue":{"value":"W2893109491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961741$8CF838E1-DEAA-4781-B09B-FA5930CB9CC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"219e927b1b49322b164e71531cc0010da5013fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1381441,"id":"Q1381441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71323bc8512846e20b9fd268fae0aa2b4643cd4","datavalue":{"value":{"amount":"+0.8332851529121399","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":"Q4961741$25528F1D-B1D7-4037-B709-0AB91609C36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db277a4caad49b1463e9dfb8a3714a7eebdad783","datavalue":{"value":{"entity-type":"item","numeric-id":3580665,"id":"Q3580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e11c20e02a63e89b909759867345a435affbe0","datavalue":{"value":{"amount":"+0.8325969576835632","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":"Q4961741$026E3B1E-ECED-43CD-853E-DE8895024E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc4c2b14f81fc5f6d7a8116c75f220c9c847671","datavalue":{"value":{"entity-type":"item","numeric-id":2940883,"id":"Q2940883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fbc74a600ae3fa91c6f03dd244a864b9994d7f","datavalue":{"value":{"amount":"+0.8066166043281555","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":"Q4961741$BD29E5B6-B9ED-4978-9BF7-45CE70B3E250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07afcdc82911588bbf35ff59e708bbdd908fb9f","datavalue":{"value":{"entity-type":"item","numeric-id":4250039,"id":"Q4250039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0801bbe46ad612f3d2fe8c848260e02cad9cba6c","datavalue":{"value":{"amount":"+0.7995907664299011","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":"Q4961741$50EE95AA-110C-49F1-BA89-82CA4C8399BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85001b2ea67fe9f9d4fd106a9623a9412dfffb87","datavalue":{"value":{"entity-type":"item","numeric-id":5419867,"id":"Q5419867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c63150a71330956c6c9b8f17076461e8023d48f","datavalue":{"value":{"amount":"+0.7967617511749268","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":"Q4961741$DF533F56-B649-49A1-B1EE-797E7612DEE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4961741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4961741"}}}}}