{"entities":{"Q6047667":{"pageid":13181823,"ns":120,"title":"Item:Q6047667","lastrevid":93758351,"modified":"2026-06-05T05:03:27Z","type":"item","id":"Q6047667","labels":{"en":{"language":"en","value":"Decidable variables for constructive logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7736797"}},"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":"Q6047667$FC13B38B-0B05-4AD1-B770-D89F9AF7BB63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de1b57f78efb205de16cdcf64eeb1768791ac342","datavalue":{"value":{"text":"Decidable variables for constructive logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6047667$5631A510-7BEA-4D49-BBE4-50FE220CBCD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20808c3a1355f2b8559548b5ba61835cbcb542b1","datavalue":{"value":"1521.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047667$05A568B3-B5DE-4B5E-A6A4-5E9A85F56C53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5f1a0d7365f4e13a10681d70e4d8cbb0b717e58","datavalue":{"value":{"entity-type":"item","numeric-id":831219,"id":"Q831219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$72A9BC82-2DD9-4915-8E48-C7B5E297F8A1","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":"Q6047667$C0AF69A1-0FB0-46D8-A556-B7020B38A76B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b10b641c55248ed64dbd4f5995b6de282ea97fb","datavalue":{"value":{"time":"+2023-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6047667$E8E740A4-B066-415F-A0A6-32DB588311B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047667$B08083F5-886D-4B5D-A864-270C1D9BB5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047667$173A1068-B81F-44E2-84FC-3D05FA239538","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ebbd2bd5aaf62be37b574bb8bf7ed98d64199fa","datavalue":{"value":"7736797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047667$A37164C1-6971-4897-94F2-8E784424E019","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":"Q6047667$818DB4EE-B8C9-4D8E-9E10-04650B4343CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8fbe86c6c5d0ed84b833ca1e0b020509788ebfd","datavalue":{"value":"https://doi.org/10.1002/malq.202000022","type":"string"},"datatype":"url"},"type":"statement","id":"Q6047667$06587947-BC98-4864-BFA6-55B0824435EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52e9dac3c8694e2d68f4ec6854bf84c71ceb6bbb","datavalue":{"value":"W3121728303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047667$D291A6E4-833C-49E1-B400-943807006A3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1cb6a5f1f615f802973f0cae0c1bad49fa9e78","datavalue":{"value":{"entity-type":"item","numeric-id":3028968,"id":"Q3028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$2DF31DAC-EC06-4095-BA93-01343AC4B3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd09c22c4ec1913cfd4e86c419d18d89401b15b4","datavalue":{"value":{"entity-type":"item","numeric-id":377463,"id":"Q377463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$436A609B-F573-4432-919E-7FAD512FBD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e305a19f3e95ca2c7ecb89d2c7b69bb52c0eb879","datavalue":{"value":{"entity-type":"item","numeric-id":2878747,"id":"Q2878747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$E7985873-6F38-4267-916F-AF8CC5F1AFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2848110d8a573683a18388d916ab5b04c2bafe3","datavalue":{"value":{"entity-type":"item","numeric-id":5109220,"id":"Q5109220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$54A082C8-676C-440B-B7AF-9E124BED167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4622804a4a5864d5bd07b0d1d16a6f64d614c609","datavalue":{"value":{"entity-type":"item","numeric-id":3722497,"id":"Q3722497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$A667C83E-B1EE-4B1B-A06F-9D3D47B256AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$6AA7C578-4AB7-4ACB-9A72-B88E02F4D4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$7EAB133D-8F91-4AAC-81C1-2CCA7EA65EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37959abe365ef80037a753de9cc6df3d3f8fa2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3884093,"id":"Q3884093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$BDBEFF92-9068-442B-B2DD-0FFD7059BBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$D238EE13-663B-41BA-9C4E-788B2CF4C004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$4D0FC46C-8BA4-4868-B188-312D3E292D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2038cbf7c58a8312c7913e6f30f5b5a2a17f4cf","datavalue":{"value":{"entity-type":"item","numeric-id":5613174,"id":"Q5613174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047667$82AA5D53-2821-4815-820D-17B8752FC764","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c85022a14207b5cf39c0496fe3f7fa251f3d80a","datavalue":{"value":"10.1002/MALQ.202000022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047667$13401321-AA63-427B-A508-EDC94DC4B7A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ddab3ebeab2cdcee56e05378629c73695854c7","datavalue":{"value":{"entity-type":"item","numeric-id":5109220,"id":"Q5109220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e1dba29a708b4793907f2c564043f88694e4e5","datavalue":{"value":{"amount":"+0.8534395098686218","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":"Q6047667$79378199-5568-4049-8C39-2C6AB2B718C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ace344382c0894b7c150b1a283cd9cdb45b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2878747,"id":"Q2878747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2326924d5801014e329cddcbc5914a0b2dd185f","datavalue":{"value":{"amount":"+0.8109017610549927","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":"Q6047667$BF4E7AFE-292D-464C-AF69-E69C6E704875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cae299b78fc0bf1394dcf3a1b3c49e5c0979a1","datavalue":{"value":{"entity-type":"item","numeric-id":3973194,"id":"Q3973194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d194c2dafbfcfcb376af158b76600e69f6f4bcf","datavalue":{"value":{"amount":"+0.7243640422821045","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":"Q6047667$373E37AF-1016-4AA7-9CC0-981D1652D24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e78eb6d32875241f8067dfa254eae86c137df5a","datavalue":{"value":{"entity-type":"item","numeric-id":4924544,"id":"Q4924544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ca786f032d8cc107c3bb1d78f68ac034ec95b2","datavalue":{"value":{"amount":"+0.722517192363739","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":"Q6047667$1E74DC59-CCB9-4AE8-8693-D6D16C21E1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49be83c029173a6d266b6d010f90a326f5515144","datavalue":{"value":{"entity-type":"item","numeric-id":3475248,"id":"Q3475248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccedf1f07138db1cedc360f09c3e704f8bcbe6f","datavalue":{"value":{"amount":"+0.7223288416862488","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":"Q6047667$8EBCDEBC-B890-4E41-8CAE-7AD0C9922FF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable variables for constructive logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_variables_for_constructive_logics"}}}}}