{"entities":{"Q5187259":{"pageid":7216831,"ns":120,"title":"Item:Q5187259","lastrevid":41888479,"modified":"2025-05-09T11:10:19Z","type":"item","id":"Q5187259","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3895038"}},"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":"Q5187259$B0F7D7ED-41F1-4436-A7F2-ADB8875DC96C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ec1d5eda82c3947bc7b48e78b9df92c6cb35436","datavalue":{"value":"0562.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187259$533CBCD7-B116-4449-859E-8C13FFBF07C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef0b6c19bfcffb086b88ed5f14b6779c5a5b09d","datavalue":{"value":{"entity-type":"item","numeric-id":1207432,"id":"Q1207432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187259$B28750E2-4483-4A21-AE3F-2CC56A232101","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5187259$960F8369-BAE3-43B9-890B-73C6129D1C7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187259$10C1A12E-AE11-4C7B-BAB8-0F57E114B9F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4af9c3bbf8667580573ad2875a12836f60a1630","datavalue":{"value":"3895038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187259$A6FDB7D4-34E8-4B03-8EA1-B38CFC683619","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93122a792baa13781eebddba0279f1eecf038353","datavalue":{"value":"modal propositional calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187259$9A9DB5AA-6EC1-4387-A50F-CA9AF2922EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187259$E29D05CF-FA38-4BA6-AC78-69BBCE51EFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187259$D39909B1-71D7-4601-92A8-00A31F4BF596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938acbec7a195eea1d9e7855347349875b1cabcb","datavalue":{"value":"normal modal calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187259$19F68C93-4180-4D6E-B981-B0D33CD444CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c06cb4216de9a0a27dbc93187e946be1f0890aba","datavalue":{"value":"Brouwersche axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187259$823C55F5-A729-42CB-AA36-3A85DA35C950","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":"Q5187259$55B721A0-6508-4E69-AF76-A75700FA13B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79a2040de7db8853ee4bf070bea17a0795e70d9","datavalue":{"value":{"entity-type":"item","numeric-id":5231796,"id":"Q5231796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81820b8bbe8a6ad486932333a7d63bf2dc58a8cb","datavalue":{"value":{"amount":"+0.7804084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5187259$2065888C-69DC-484D-BCCC-7D8AC9EEAC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d50f15efcd572c6a56ba8e29cb2b8bc7a945faa","datavalue":{"value":{"entity-type":"item","numeric-id":550603,"id":"Q550603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2ecadb5e812de218eb04b304d428c7d95cc78a","datavalue":{"value":{"amount":"+0.76605064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5187259$F706EC93-BA81-40C4-8772-E45CA09BD69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7ac6bfd2349eb3af52344f29c60385d88beb20","datavalue":{"value":{"entity-type":"item","numeric-id":2872354,"id":"Q2872354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28cd10b2cbe43144831129425c52962a9ef6772d","datavalue":{"value":{"amount":"+0.76431876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5187259$79B79530-38F3-4F03-BA59-91A28FD00566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e991359e74bd50fca42e89d6cfb24071f1eb92e","datavalue":{"value":{"entity-type":"item","numeric-id":6047379,"id":"Q6047379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad953752cd6b54f22481648a1aa63495508afe5","datavalue":{"value":{"amount":"+0.76046383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5187259$ECA19B82-8E4F-4CD6-B48A-94B1DA00C4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f21cf2cd9570f5d0c0f265ff2759903e2d0228fa","datavalue":{"value":{"entity-type":"item","numeric-id":5321415,"id":"Q5321415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6bcf83a4d2316608cc0202dd2b05b48ac9c7ca","datavalue":{"value":{"amount":"+0.7601655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5187259$8D8F7806-BA57-4EDA-8DCA-6D047F9973CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae8af4d0b553a8dde6e4ee72d943d5aab8492d9","datavalue":{"value":{"entity-type":"item","numeric-id":1729821,"id":"Q1729821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ca6871e13f6558728f9904378466b4aa13fede","datavalue":{"value":{"amount":"+0.75975084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5187259$C84E332F-A0AE-42CC-BA8E-E1B981935E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698ca93c20fa9bc5dd3a94198ecf388745883030","datavalue":{"value":{"entity-type":"item","numeric-id":619393,"id":"Q619393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7b80feb8c0bcd2fa0f61f4ea0d3812f026a76b","datavalue":{"value":{"amount":"+0.75720525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5187259$87763EDB-2EE5-4865-AA12-12D4D09F863E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fceb59f93ecb632a3a8f047ab8ef5b7327e13a84","datavalue":{"value":{"entity-type":"item","numeric-id":305275,"id":"Q305275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8218ed3122432e1b9c4ead057d076f6adcbc0c","datavalue":{"value":{"amount":"+0.7570077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5187259$87334071-8D3D-4ED7-864F-4DFE3034107A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2461bc30da60147d94b2535e30a7b4ae47559035","datavalue":{"value":{"entity-type":"item","numeric-id":5428076,"id":"Q5428076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277b468c52da62b7187ae42d83defd9505ee287f","datavalue":{"value":{"amount":"+0.7563375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5187259$47888499-16D6-411B-9364-822691E74726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4298a6bb878e31e4b54a7c11400ff29a14a479c","datavalue":{"value":{"entity-type":"item","numeric-id":2464081,"id":"Q2464081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d18e2acfe36472cc2d699e63c93a483a15b1e6c","datavalue":{"value":{"amount":"+0.75479114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5187259$64DC89B5-A78B-4813-A97A-D152442F4F9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187259","badges":[]}}}}}