{"entities":{"Q4455089":{"pageid":6484688,"ns":120,"title":"Item:Q4455089","lastrevid":48257089,"modified":"2026-01-04T03:37:28Z","type":"item","id":"Q4455089","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2058485"}},"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":"Q4455089$EA2A2513-0BC1-4169-AD6E-2271651851A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a346d10632e5900be05f96cfbca4f6cad9d6ffba","datavalue":{"value":"1037.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4455089$AFF04B63-7D98-44A0-B228-B5627A6F020D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"654a6d26c3970b2401c07b4a8e54bedf870f8ac1","datavalue":{"value":{"entity-type":"item","numeric-id":583190,"id":"Q583190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4455089$1FE415F6-EED1-45CC-AAF1-086B5EAF054B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ccf36ca74fb1d72f815bc33a355c05e104e31fb","datavalue":{"value":{"time":"+2004-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4455089$B9ACD8FB-45E0-437C-829C-EC33E520298B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4455089$D01E3360-E42C-4FC2-AF3E-43354970CF64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd38819ba33794ff78d4fb85a566694bad9f899e","datavalue":{"value":"2058485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4455089$E6FC6D58-B9B1-46A2-B40E-73F29B4F84BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aee111a3c7a110d06fd606fbd372cd614d006fa","datavalue":{"value":"intuitionistic quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4455089$9BBAD3BC-BBB3-4B36-9EC4-B5ED3DF29BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa20a57a1a7a3b4ecd9ecc2d460095bb2884044e","datavalue":{"value":"completely modalized formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4455089$E386A958-D4D8-4C87-A22C-9E799CF40BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156147248c5524d3c5be75e84327ccf20aae86f7","datavalue":{"value":"soundness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4455089$3A1779AD-762C-4DDD-852D-EF162984DA54","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":"Q4455089$02B0E3CF-B142-45D7-8DCC-4FF7A202D3FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ee6c08755651264745f99057b0138d4e794e30","datavalue":{"value":{"entity-type":"item","numeric-id":1841473,"id":"Q1841473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225beb273280d67ed66858b324a553e73ab74e40","datavalue":{"value":{"amount":"+0.8330014944076538","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":"Q4455089$4D0AF5D4-1757-49A7-982E-53DE29BB10BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a59fd53ee518cf6fa23036990f6d6b67b8eadb","datavalue":{"value":{"entity-type":"item","numeric-id":4704648,"id":"Q4704648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7e93e71224365709fa8ed85d6b610b52da6531","datavalue":{"value":{"amount":"+0.7567371726036072","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":"Q4455089$60D66E70-9C87-49A1-AE84-F56E0DB18AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18efc507cb3245bbdd30b9122d9ee2159dd9822e","datavalue":{"value":{"amount":"+0.7538534998893738","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":"Q4455089$28F1C4A7-9689-4638-96D8-FAF7E2CC0987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54ae6cfa330b392dde5e8137f2f22dbb980bd30","datavalue":{"value":{"entity-type":"item","numeric-id":4703137,"id":"Q4703137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69b77430e1d2eb72f3db6b635f8f2e53fcd0f39","datavalue":{"value":{"amount":"+0.7289928793907166","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":"Q4455089$FA50B7A6-01CD-48DC-A42F-578AEA97B25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e599ee233157ee78362f00dd208a178e39bd3a04","datavalue":{"value":{"entity-type":"item","numeric-id":5939999,"id":"Q5939999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec36b6f41268415bacd2c1911e512950f25f91c5","datavalue":{"value":{"amount":"+0.7011938095092773","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":"Q4455089$0F321AE0-DCE4-4AB0-BD45-44C2ABD19B3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4455089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4455089"}}}}}