{"entities":{"Q4499151":{"pageid":6528744,"ns":120,"title":"Item:Q4499151","lastrevid":47032083,"modified":"2025-12-26T02:22:56Z","type":"item","id":"Q4499151","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1497741"}},"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":"Q4499151$D0E6743B-D4E5-47F3-8C01-50336B4E99BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e36a60b9d6ecc02e1931ce7715d7ca8381d9f787","datavalue":{"value":"0961.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499151$201FEA18-440A-4730-A52D-CEF1BC3DF131","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23c16558fb5ec76a4747f3b1ffd9e3605d5b08f1","datavalue":{"value":{"time":"+2001-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4499151$DFC1E21E-8B6C-4CC9-A89C-28914746AB71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499151$42409CE3-0732-4E1E-ABE4-64F1C11175CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499151$D52BB592-61CB-42A3-838E-E71C4137B16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499151$89F74C2E-E923-4258-AE1E-C27C1713E6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499151$382CBB59-1F27-4FCA-AFBB-78E85EC490FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84dfec1e3bbda11845338d20fd826425483473af","datavalue":{"value":"1497741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499151$90B6F638-B621-4BB5-8B9B-F00B80D6848F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499151$C47A4959-ABB8-4888-9CAD-239820F30496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"236d314360d1ca35fd503497e2066b03a1b28586","datavalue":{"value":"provability semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499151$6D600DAA-1E29-424B-BC1C-8396B6A716CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499151$922AD4FD-E507-45BF-9918-F5C0525737E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499151$9AB92AE0-114A-41D5-8750-1EDFA85BC14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499151$0F6E3FA1-35CE-4C19-B367-06698A86438C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fbea02b17a98c6b75cb2d007e232f741d30e7c7","datavalue":{"value":"provability realization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499151$9E725CC0-4F6B-4826-AADF-22769373AA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60dfe5ac2f3621bdb48e9c0c7293ccd5b7293eea","datavalue":{"value":"logic of explicit provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499151$6D4B8C05-F914-4447-BC5D-7A85183D57E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499151$078F2D91-4FDF-4932-B9BF-03F36908AB70","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":"Q4499151$7701A912-2C74-4FD7-9544-A1E973C83840","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b67dd631c1f0aac1ac6d0f57b56d5ad1e38ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ce0bba036515b2e70fb4dfd057516990718aa3","datavalue":{"value":{"amount":"+0.897703230381012","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":"Q4499151$601F745F-B814-4C4A-B77E-DB3906F39444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"749e4e83ef5e0d436a17c3c7bca45ec0b74e72fd","datavalue":{"value":{"entity-type":"item","numeric-id":4531579,"id":"Q4531579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf5a95c07e12a16a1acbce10d7bc93fe208eb33","datavalue":{"value":{"amount":"+0.8362722396850586","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":"Q4499151$8EA4CA3C-5B03-40BC-8559-B4919D08EDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a040adbe77a147499cb6425b899b2acaa44d3aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5692429,"id":"Q5692429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24baa248e157eae6931f4865f078c8b86506f55c","datavalue":{"value":{"amount":"+0.8297037482261658","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":"Q4499151$EA98FD04-6990-49BF-A801-F0D6200FD95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f0206eee7ec92afebd05ca513872623e5a8e30","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db4ccb7035272018c437d16e151ad27e622438f","datavalue":{"value":{"amount":"+0.8066431879997253","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":"Q4499151$0ECBC722-0213-492F-9328-0BC5422D0FDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4499151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4499151"}}}}}