{"entities":{"Q4428887":{"pageid":6458486,"ns":120,"title":"Item:Q4428887","lastrevid":41242295,"modified":"2025-04-23T18:58:27Z","type":"item","id":"Q4428887","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1984522"}},"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":"Q4428887$DC30D8D9-57C2-46FE-A0E7-E77BE95BE601","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13057e6eb70a2da2906ff1055ed00bc28862357e","datavalue":{"value":"1031.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4428887$B49C3A24-646E-4762-B024-73FD24421AE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03cb7240f766e33ce1eb7decfea636d3edb245aa","datavalue":{"value":{"entity-type":"item","numeric-id":215695,"id":"Q215695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4428887$B244F144-776A-4971-9F2A-2BEE600D63D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e003f34ab8fffc5fc5e5962ff052c379cce9b157","datavalue":{"value":{"time":"+2003-09-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":"Q4428887$C484879A-74C6-410F-B272-68AB925F54A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4428887$6C4AA0F9-84AD-4099-8088-44DC1967FAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4428887$5342424F-BC71-409E-AFE8-8B3DFDAF7680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4428887$0D411350-8A48-46CF-9C82-F7F07975718A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ee8658b370ba63d4986c0a8ae7712e41f0c4b9a","datavalue":{"value":"1984522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4428887$D2C74514-A658-4C96-80A4-33CC865B98B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4428887$76810423-6F52-4296-849F-D5B9DA326E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccbd231bdc0bbe9169713e1f7b296e6e71dc765e","datavalue":{"value":"Kleene realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4428887$0D9564C1-3096-41BB-B531-EFFDAA028352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f72bd00bc31f4df6ce5ee25a0abbfbbe0564d3b","datavalue":{"value":"higher-order intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4428887$B0B7CD98-C131-40A7-93F0-9E4DF1CD367F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37ab85e6ed587477ef05d6eb082db459f2cd54ed","datavalue":{"value":"assemblies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4428887$A6C4E0F4-D584-4F1F-9239-7609229C8E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1fc70a1b97771671768172643bb0e1b54771a6c","datavalue":{"value":"constructive recursive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4428887$3A0E3862-4869-4DF8-A1C1-BE90C542F2C9","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":"Q4428887$48E0A748-FE17-44D8-8B61-FA29408091B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa2501c1573c6700d8d909a4d436e4b43980dda","datavalue":{"value":{"entity-type":"item","numeric-id":792319,"id":"Q792319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ead91e674de6833eb6cdc31a5ca186a2197d42","datavalue":{"value":{"amount":"+0.893336","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":"Q4428887$7AA9DB5F-8B42-40C9-B190-67A6223860BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7929418949f820d3cf163aeee9d31a53e7b570","datavalue":{"value":{"entity-type":"item","numeric-id":1338200,"id":"Q1338200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ad53160f3764ce6ecb7ce449d12b0f270097a5","datavalue":{"value":{"amount":"+0.8928933","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":"Q4428887$E6CA8205-9347-493C-A0C7-5745FACEA0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6e61f398491d6ca0d2a06580bb7c9301198697","datavalue":{"value":{"entity-type":"item","numeric-id":2767044,"id":"Q2767044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cbe3d0fec201760ca0d9de9b318b010c30cefa8","datavalue":{"value":{"amount":"+0.8925315","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":"Q4428887$C8B610A7-AC75-4E30-ABB1-86C6689C733A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a255eba1b5310424e1461d89c0c4f0e34067fd","datavalue":{"value":{"entity-type":"item","numeric-id":5014056,"id":"Q5014056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd32700f90d7ee565c2321bd12d2288e5d5b5ce","datavalue":{"value":{"amount":"+0.89233273","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":"Q4428887$0CF35B63-DF2A-4352-887C-67E2ED706568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f00829dfafc58ede0a68f7ec8e9ced74bb9068","datavalue":{"value":{"entity-type":"item","numeric-id":5897361,"id":"Q5897361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e69ce46ef10cb8c24aa127fe771d93d756776d3","datavalue":{"value":{"amount":"+0.88505787","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":"Q4428887$4925A22C-DDE1-48CB-A59C-61748FC5C3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750f330f3be8a4d7fe16145ac4962de46566331b","datavalue":{"value":{"entity-type":"item","numeric-id":3731582,"id":"Q3731582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e693c7751922399e23250bd9393bd8c068de40c","datavalue":{"value":{"amount":"+0.884479","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":"Q4428887$15BCE6B6-965B-4E84-957A-7F955BDE833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8b6f255d1ab01e2f9e28663084515b679d3167","datavalue":{"value":{"entity-type":"item","numeric-id":4659577,"id":"Q4659577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2936759adbfb412c979a5fc01c6485bac60271b5","datavalue":{"value":{"amount":"+0.8833904","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":"Q4428887$51A751AE-C35C-4B7B-9143-A8EC3CB3E577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6c10829b6ee80dd709d1854b6c8d0aa6b9c1a0","datavalue":{"value":{"entity-type":"item","numeric-id":4010362,"id":"Q4010362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3beee640ade591a257d58fb30339e44a792be3cb","datavalue":{"value":{"amount":"+0.88300776","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":"Q4428887$53183F81-4641-416C-A153-D2AF16E6C862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be9898932e748c2fbe35f3818c0a5e7025aa540","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60fcb0df06ba614c1b442d75dbaa96fb5ec9c17c","datavalue":{"value":{"amount":"+0.88125205","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":"Q4428887$622F39E7-87C2-4FFA-9D07-C0FD48A74642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace8e346ecef3333a5a970819d17a94bddb1b2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5886518,"id":"Q5886518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756df76490ca29b67474cd56d45f78a4f80af5e3","datavalue":{"value":{"amount":"+0.87787735","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":"Q4428887$DBA82D47-ECC2-4512-A75C-DE1AF1F5525F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4428887","badges":[]}}}}}