{"entities":{"Q4890178":{"pageid":6919757,"ns":120,"title":"Item:Q4890178","lastrevid":46389525,"modified":"2025-12-24T16:49:55Z","type":"item","id":"Q4890178","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 915329"}},"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":"Q4890178$CAFBA255-645D-4EC0-A1F4-014737C2373D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aec7a8bd853349f8529cc0cc7de785d1504471ad","datavalue":{"value":"0852.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890178$FE7FCAAA-190F-4FB6-A963-F817A4601B38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"859b5a1788ac75611622effb8963b1053aea52c8","datavalue":{"value":{"entity-type":"item","numeric-id":1061117,"id":"Q1061117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4890178$4B4CAB31-738D-4A21-A822-11DEFDF812E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"506e87fc86252a2bde5b75d9d665c6e1091336d4","datavalue":{"value":{"time":"+1996-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4890178$CB30EF8E-D546-46AF-AA9F-40F294C702E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890178$F5526702-192E-4C93-85C1-BFBE725130FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890178$903F8540-4033-4571-A19A-3047F3F11F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890178$24EA83C4-C337-4DC2-AF89-9EF1C5DA9236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890178$F0B15CFA-F18D-4588-BDF6-017013725FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890178$3F10C5FD-0207-4E40-BDA2-250C7B2C8A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890178$D3B44AE8-DB2B-4596-98F1-695DB822F3FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e28cdec11d5dbe605e0ef7bc1ce7957e9495adbb","datavalue":{"value":"915329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890178$D252DC10-4E58-47DA-AD8E-71B83C6B2D59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$4DF5C867-56D7-4819-8FE8-059243B0E9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a3fed76338c95c3870b5a2c4da4dab5be95fc74","datavalue":{"value":"topological representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$3F92934D-C883-4A4D-BEAE-377CF1672651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$0662EB02-B066-4A2C-917E-F89768A125E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c003a250fa66c1c17cdfc881d5be1233069d13","datavalue":{"value":"G\u00f6del-L\u00f6b system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$E6CF3017-159A-402A-8720-567B8B4859CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$607FF192-F06D-4BE4-AC9E-92583889F663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e90c313271ba19dd045ee72b87964d3281e58ee","datavalue":{"value":"arithmetic modal interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$69928352-2DB9-4BF2-BB77-5D5F0EAE56B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$EDBFDE28-BA7A-4F99-BBD2-A3F02D282493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1df87ee09b7ec2a015595cfadc833b59208c70ff","datavalue":{"value":"representation theorems for diagonal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$61BD3A2A-FE00-44AA-9185-CFF8E9895658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4fb412ab3b5e67d554c37b48230359c8b6d555e","datavalue":{"value":"scattered spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$E7BA5DFF-8407-4CAA-AA0E-083C3378E3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3c9d1b3f18b87b4141d8796047709c297d840f7","datavalue":{"value":"condensed spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$FE045B50-B6E6-4824-B9DD-E48E9205EBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a8cb72661328f4f24c13f2fa307f8ddd6be0846","datavalue":{"value":"G\u00f6del-Henkin system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$E9F55B41-47A9-4DC5-A7A5-AF5B9B21519C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$3DE4E57F-A3CC-463D-9D6A-E9E46F3DBF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad65e2c924ec98db5426cfd473fc6e5d8f980fa","datavalue":{"value":"Kripke relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$4B180FE4-0438-435D-9CA7-60702774A473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78ff9a60b74189b2daec43f91e02e6e79fb14f9","datavalue":{"value":"well-foundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$F69609F3-1CA2-4ECF-9341-E3C26159AAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e2e522b313ae6679f70b104e72d739a09b42dd2","datavalue":{"value":"foundational algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$24D8978A-41FD-47DE-9460-053C7172A244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890178$580511DA-6B30-4C29-8ED2-0147AB0517F4","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":"Q4890178$20CF87A0-D065-464C-B74F-58040EE27DE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c8fc1f9b378a989c62c29aee63e6465b7f805b","datavalue":{"value":{"amount":"+0.8265185356140137","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":"Q4890178$FA728F52-2DC5-4035-A0C2-DCD969109561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d767e4b52dab293a6ef4689100f09c76b567bac9","datavalue":{"value":{"entity-type":"item","numeric-id":3973061,"id":"Q3973061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dc7ca2208550a6ed69f7e0a07aa400f13a182c","datavalue":{"value":{"amount":"+0.8226438164710999","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":"Q4890178$C63F86B4-34A5-4D12-881D-CEA8D79ABC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4835d434b81388ba1a49b19d18dff64c75c4d34","datavalue":{"value":{"entity-type":"item","numeric-id":4378052,"id":"Q4378052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef72fa7a22bedfba611033bf3420f45f6d02ea9","datavalue":{"value":{"amount":"+0.8208081126213074","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":"Q4890178$8BBB4309-4019-451C-9604-DEFE088619F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4890178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4890178"}}}}}