{"entities":{"Q5448614":{"pageid":7478173,"ns":120,"title":"Item:Q5448614","lastrevid":41275448,"modified":"2025-04-28T00:24:02Z","type":"item","id":"Q5448614","labels":{"en":{"language":"en","value":"A constructive semantics for non\u2010deducibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5245777"}},"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":"Q5448614$B1D9BFEB-1AF0-4AB4-BD23-5461DFFD35F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d006624d4fde2612b85288b98656d41e79329ac","datavalue":{"value":{"text":"A constructive semantics for non\u2010deducibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5448614$EC04E02E-38A5-45B0-BB6D-DE3AAB1264A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d855f375404899e71e71ebf83c16d6710622afda","datavalue":{"value":"1163.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448614$ABC93E61-A954-49EF-8E34-F12C1C2AE3C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3805f594ddac6fae8f2d2362aaebc83c0fa4374","datavalue":{"value":{"entity-type":"item","numeric-id":290641,"id":"Q290641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448614$BC5669E0-FCFA-4D34-9483-A4647694DA17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448614$D57CF09F-06E4-4B9B-B3A3-936E0564D7A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"408bb415b0e4e91f33eb35fe43922ec8a2030622","datavalue":{"value":{"time":"+2008-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5448614$2EBF7C78-4B19-4344-A43A-CEC4B79C6C98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448614$127CB073-6559-45FD-8F01-AC1E630A2159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448614$C7EB7AD4-64D9-437A-AF8A-3E917A4CEE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448614$35A4540B-3155-402A-B46E-85B91664578C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0443301b3fcfdb02ee5d9e28425b5004dc476861","datavalue":{"value":"5245777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448614$76AAA9D7-BD84-46FD-A699-A41F4643F008","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e8bfc9506ac43ef78b5ac2457f8497190e583f","datavalue":{"value":"non-deducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5448614$E8A3992C-490F-495B-AD71-8CE13031836B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5448614$7ECFF995-8960-433D-98B9-913DA2872D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5448614$074B819F-7E72-48F9-91A2-50442A20DAB7","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":"Q5448614$DB5D0131-235B-4385-88DD-DE056319C2E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1dc07c12308468b29927aab40e5afde6d2147bee","datavalue":{"value":"https://doi.org/10.1002/malq.200710026","type":"string"},"datatype":"url"},"type":"statement","id":"Q5448614$ACF33428-8032-4024-9D4A-010D602DF895","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d59fb3115593453067368424ef496fdd91e2294f","datavalue":{"value":"W1996871521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448614$35C75118-4241-4FE7-B41C-45D9762CB74F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448614$439DF629-8D88-4192-BF2F-7B65AE328701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448614$015ECA9E-34C1-447F-A3AF-DA2F036088F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448614$8E0B51F5-F33A-4697-BF73-C35122CC3FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448614$E10783CF-F5EF-4CCA-950C-927E88D7CFF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dd9e1e90306938f21f00ad102e77645bbcaa2bd","datavalue":{"value":"10.1002/MALQ.200710026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448614$F15BF077-B31C-41A8-B639-97C66CB96B30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a180d6635d0f9c4652beacd9327e936bf8a3f12","datavalue":{"value":{"entity-type":"item","numeric-id":5365520,"id":"Q5365520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f749e2b34546e81c6f8eb05ec6fbb3c353bdfa91","datavalue":{"value":{"amount":"+0.90722746","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":"Q5448614$C6A4C38C-CCEE-4795-856B-358A136762E8","rank":"normal"},{"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":"bfce19e7100cc94bb2e44dde5be1b596de869ebf","datavalue":{"value":{"amount":"+0.9041665","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":"Q5448614$2B1FACF6-1437-49DF-9BEB-F57B085A570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b8398169fbeb35abefb0b70651eec97095a103","datavalue":{"value":{"entity-type":"item","numeric-id":997049,"id":"Q997049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a260e520efe23a733955231917e99e8a0bcbc964","datavalue":{"value":{"amount":"+0.90315425","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":"Q5448614$9C01595F-3A9F-4BD8-8B25-322DDB6C8289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa62f40c642974fa626d7272784fc1c6c5d704d7","datavalue":{"value":{"entity-type":"item","numeric-id":1924729,"id":"Q1924729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d699e4b6189bd08fc31a89bc84dcd68489c74b07","datavalue":{"value":{"amount":"+0.9008746","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":"Q5448614$61F14969-F9F8-4B8C-9854-FB68F8DBBCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23def8e36f65100110e230b7417b93a5c0308749","datavalue":{"value":{"entity-type":"item","numeric-id":3112289,"id":"Q3112289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c53dc48c6377e0528f4ab0dc576d5da5e77cad","datavalue":{"value":{"amount":"+0.89872473","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":"Q5448614$D2C0A2AD-B59B-442F-93BD-C0FD664AD2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90e224184897121cc780ad85950b8c5062bcda5","datavalue":{"value":{"entity-type":"item","numeric-id":1406443,"id":"Q1406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496b6bf59ce2435a76a04e818a5b6d7d34719e0a","datavalue":{"value":{"amount":"+0.8940396","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":"Q5448614$38BE704A-0095-45F8-ABE1-B71A230314DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac9d4b630a36a1ec022f8e9558f92c2888355ff","datavalue":{"value":{"entity-type":"item","numeric-id":5004948,"id":"Q5004948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676c176a8f55d2595576d5dda09104451ea4eb75","datavalue":{"value":{"amount":"+0.89211977","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":"Q5448614$F9556C42-B279-4A03-B36D-572CF881CA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6e237cdb469e1a105720778d1edf6adb6ed5ee","datavalue":{"value":{"entity-type":"item","numeric-id":4544195,"id":"Q4544195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0734dd2776fc39e10b08e7d5234959de21966205","datavalue":{"value":{"amount":"+0.89078605","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":"Q5448614$6523FED3-6529-4F7C-87B6-4CD4392EE17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85da38cfe8c06f7233b15e847352e684113424d","datavalue":{"value":{"entity-type":"item","numeric-id":2720313,"id":"Q2720313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b9c6fedb1475e189dd7e0cfa892969664135c7","datavalue":{"value":{"amount":"+0.8906615","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":"Q5448614$CA1A073D-84C9-4A1C-862B-2C09525BD701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857bb6ab90e4894f8e07ef5cbd52b3cca919681f","datavalue":{"value":{"entity-type":"item","numeric-id":2369014,"id":"Q2369014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a85e78dff18f854f944786848c2c58460c5ed81","datavalue":{"value":{"amount":"+0.88758355","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":"Q5448614$3911357F-4B2B-40C0-A1A4-C87DCC4C33BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5448614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5448614"}}}}}