{"entities":{"Q4944857":{"pageid":6974439,"ns":120,"title":"Item:Q4944857","lastrevid":41260579,"modified":"2025-04-25T21:50:17Z","type":"item","id":"Q4944857","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420793"}},"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":"Q4944857$1566D4EF-44A1-4397-A41D-7EC2CF850096","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"528387c770537c05ce24a0c9050f11ef8007cbb8","datavalue":{"value":"0943.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944857$04E904D2-921B-4999-AD32-047197DB9BB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944857$78961139-D6B1-45DC-B804-98765746F5BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc10aa9892b9c4f398ab8507090d5710329f3440","datavalue":{"value":{"time":"+2000-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4944857$72B06348-A649-484C-9EC9-C5AD3765C9EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944857$D7B80DD8-28D2-48D8-9CAD-9E4B83EE1F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944857$4FF18958-4694-465D-B097-17A4111E1190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944857$8185CD02-1B0B-402E-8513-41E2258A0BD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5736786c34c38903d893e5824daee70014adbb90","datavalue":{"value":"1420793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944857$F9DED131-5656-4F27-B6A4-8024BAE6E4FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb4d8c7bb9fa8b35f1cae4d47ac3dad04eaa239e","datavalue":{"value":"Martin-L\u00f6f's constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944857$1D9F7BDE-42E4-45AD-A0BD-799F440491F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe2580441f91e607420083d040f0a96426fd1c20","datavalue":{"value":"principle of excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944857$AE69E7CC-FCBD-402C-907A-A307FC076950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75eb7d725b4294986929b45de30a3d9c58bf9d56","datavalue":{"value":"small sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944857$D424C64B-7684-4541-B861-7FFD58623CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a62a7ea3582a86ee97ee000f6c058689cb7b051","datavalue":{"value":"uniqueness of propositional equality proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944857$7FF68722-D1D7-4185-97FB-68B63BFAADFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0eac3c5f238f9a47bc3d41591ce18e3efcd7e74","datavalue":{"value":"effectiveness condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944857$F3FE85D7-6E4C-4943-B17F-5E5B29F0D0DB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944857$A1010107-E0C6-4B68-8045-0800844431EC","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":"Q4944857$B11C4924-B81C-4EFA-A656-4B987409B99E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d5eb500b91b900b7e0ec167e7c875fd9ecd2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e939844a51ba1e01ebab622d4463bbb6531164","datavalue":{"value":{"amount":"+0.9062787","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":"Q4944857$C2968A99-A8CD-4033-98CE-05115EA7A42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425e652d4a6ae8c4a1799b298f36c35b402139f5","datavalue":{"value":{"entity-type":"item","numeric-id":2200826,"id":"Q2200826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f9828263b99610dae67e28f1f8f6c041f3c7fc","datavalue":{"value":{"amount":"+0.9045876","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":"Q4944857$57EAB372-462E-47AE-B1EB-AB03E219CF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c199f0e341136dfa5cd16e46a2c71e1ede91e688","datavalue":{"value":{"entity-type":"item","numeric-id":5425354,"id":"Q5425354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70f71ead2920e0bc78fae164c6d96f2c600f9d3","datavalue":{"value":{"amount":"+0.90394473","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":"Q4944857$3D81ACB3-7981-42D0-BAC7-0D36514ED217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee796faf2ef2070f29395030e1e623047b48735","datavalue":{"value":{"entity-type":"item","numeric-id":4391434,"id":"Q4391434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391e6b35686b929a96552237a57ddc1d12753c7c","datavalue":{"value":{"amount":"+0.9012257","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":"Q4944857$03BDBD8A-BB3B-49CF-9DB8-6AEE96A3C457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44919b9ea1c80e18b2da1df4672be86708cca431","datavalue":{"value":{"entity-type":"item","numeric-id":2498911,"id":"Q2498911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd55f770fa49b92b5e9bc56c5b856c03443c7d08","datavalue":{"value":{"amount":"+0.90060675","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":"Q4944857$174EFB16-C51E-4B33-B46C-657F05364ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80eee57571fdbb56a12fbb8fc8ab44a57cfd5c63","datavalue":{"value":{"entity-type":"item","numeric-id":5094144,"id":"Q5094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c547e4ea6cccd44e921a6c7e8eb493fb4566541","datavalue":{"value":{"amount":"+0.886698","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":"Q4944857$8A9AA51C-887A-4F95-82A2-275F49CE7DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250a748e2c5b8856913fb30a63685f780a6afee2","datavalue":{"value":{"entity-type":"item","numeric-id":5261277,"id":"Q5261277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fbb1e7495149cb8dfd136bab80ec6d45d62d02","datavalue":{"value":{"amount":"+0.88418365","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":"Q4944857$CC644650-AFC1-4D78-8499-F22DC37D05DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e4383c2ecd4e64a678e674cd670b84f21f373f","datavalue":{"value":{"entity-type":"item","numeric-id":4484345,"id":"Q4484345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ce4a1269bc5b188f4b9af2db4bf8f9a6f8fac1","datavalue":{"value":{"amount":"+0.8832505","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":"Q4944857$869B7CD6-1096-4C95-BAAF-45D396E915DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac67a273a6ae0afefb612f1d3784f5bcff8aa55","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a2ffa09cebb619d196dd17541c3bcb7436f83d","datavalue":{"value":{"amount":"+0.8788923","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":"Q4944857$CBD74F4C-650C-4F10-9CA0-F5F71D0AF888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e76ba6015d4f4ae577a85ab9aa922374daf9030","datavalue":{"value":{"entity-type":"item","numeric-id":1923827,"id":"Q1923827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841ed87a7091400ebd49ecebccbb1c28e45bd48a","datavalue":{"value":{"amount":"+0.8787406","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":"Q4944857$4E62391D-40EB-430B-810A-3A5CA602A70B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4944857","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4944857"}}}}}