{"entities":{"Q3220564":{"pageid":3231272,"ns":120,"title":"Item:Q3220564","lastrevid":45716761,"modified":"2025-12-16T18:13:55Z","type":"item","id":"Q3220564","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3885877"}},"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":"Q3220564$32A7C297-2122-40AE-B0EB-D6E3960BB765","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"111dfeffc0617483eae589d40252e7ed65e80d98","datavalue":{"value":"0556.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220564$27516A5E-614F-42BE-85FF-51722B81E744","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3220564$220A1017-EF87-4774-A65A-63F309878B52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1de68c9f5313178ebbb97385923759816ce44e01","datavalue":{"value":"https://eudml.org/doc/117418","type":"string"},"datatype":"url"},"type":"statement","id":"Q3220564$8BC408F8-0F1A-42DC-831E-B37BCFF9D736","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220564$5C45268B-78D2-48AE-911C-BD8E4CCCBBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220564$A2428B8B-B217-49A1-9F9B-3231B1408096","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d9d1878b8657dd3a41f5cd1d8b6d5b64c79db48","datavalue":{"value":"3885877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220564$727F7163-2CCB-4C78-9E34-9072231C42E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f707fe1d0bd4a21f59d0ea809398f829eba70d2d","datavalue":{"value":"Heyting's propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3220564$5CF6F888-7E14-4F0E-B446-E18D37BEC109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"374ff95939d7067ee621c0d62910d186ea5bb26f","datavalue":{"value":"syntactic decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3220564$A47007DA-C0C5-4CAE-A816-921F7878352D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13564c2d5c8d567d6e1b8f154a6dd0afb6b55593","datavalue":{"value":"disjunction free fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3220564$FE4DBB4E-8D2C-480C-9C2B-E419CBEE5733","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f097f48e57f971c8b295b988fb441632f79a07c9","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3220564$0AB03351-3645-4157-9EED-FC2CB3A0C6B2","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":"Q3220564$6BD8F73E-2D3D-4B5D-B34D-E0099F9016ED","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"424e01b2fccb2a4a597b2b91cd96423596cbdd3a","datavalue":{"value":"bafkreifgsaqkkzr3tc43cxwmkpdzatvsmbg2fp3qdw52i5sxenpmoxtxtu","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3220564$F4EB6CB1-6C0F-4E5A-9CAA-3B9423EC57C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd23a117cd7276bd65491167399681b38f1d11d9","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94116444e227b1b9e15aaaae1a6218d9b871fe05","datavalue":{"value":{"amount":"+0.90190184","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":"Q3220564$80685325-EEF5-459A-BF3B-5CAD75A1D8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d8b234d93ce72aeca9e1a91270720d568d86ff","datavalue":{"value":{"entity-type":"item","numeric-id":5553255,"id":"Q5553255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2580e802fe896b79257fc5fc38f0d8cf3d331410","datavalue":{"value":{"amount":"+0.8999969","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":"Q3220564$CF24C6ED-4ACC-4A57-BDA8-2C5DA639A446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d3b7db382bf0f0ceb521bb7aa6280904d7d294","datavalue":{"value":{"entity-type":"item","numeric-id":3218107,"id":"Q3218107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5484ffba51b6207006ed6e6d67c882e276e650c5","datavalue":{"value":{"amount":"+0.8956723","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":"Q3220564$98ECAF46-E999-4A6F-A878-D770A5E16CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39961e93ad8c7c64f54e754ea1d807dab5a50738","datavalue":{"value":{"entity-type":"item","numeric-id":1181482,"id":"Q1181482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6311d3414faa892ece38649803c97ab517f5283","datavalue":{"value":{"amount":"+0.8936336","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":"Q3220564$63BCF466-C8EF-44C8-942C-D4397BE71EA5","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":"f680deb8825df4034270ad06f96ac2396f403625","datavalue":{"value":{"amount":"+0.88854736","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":"Q3220564$93B5B630-2BAB-4B6B-AE67-E8F3199593DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec608f1395f453ab42e3ee331fd8fe09acb1705c","datavalue":{"value":{"entity-type":"item","numeric-id":4726226,"id":"Q4726226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8deb78996589198f9661d1606f705c676eeb12d","datavalue":{"value":{"amount":"+0.883885","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":"Q3220564$0C3EC79E-0743-40D1-A339-55E4E97953C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe3a8f1d481118bf34f164d7d041c4c6204e25c","datavalue":{"value":{"entity-type":"item","numeric-id":3752367,"id":"Q3752367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"870e6a092da54aba4e09563077e2363cb3ded44f","datavalue":{"value":{"amount":"+0.8826162","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":"Q3220564$6468EAD7-700B-4391-AF0F-880D4D15B8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4162787fc5bbc64e7e69fa55e2dcaa77aeab75bb","datavalue":{"value":{"entity-type":"item","numeric-id":3085177,"id":"Q3085177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e04b18084d31883c552ddc673ce3876ef477ee","datavalue":{"value":{"amount":"+0.8824848","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":"Q3220564$B1C19858-7B8D-432C-9557-B2270DDFCA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1db62ab5a1e10fd5a379457aca6928451601e3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4428299,"id":"Q4428299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf5ec91a42ccc5ab55e2af3289279aa2b5d5c63","datavalue":{"value":{"amount":"+0.8767972","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":"Q3220564$598EC9B2-AE45-45A1-95F6-3AE063D4A7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55da0fb3c3a50085cacd73f9513ed889569a8143","datavalue":{"value":{"entity-type":"item","numeric-id":4648961,"id":"Q4648961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52744a4a2011f87f282a1cf33cfa2567685a60de","datavalue":{"value":{"amount":"+0.87663776","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":"Q3220564$9C651C76-2A22-4AF1-A39B-1679C01DC422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3220564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3220564"}}}}}