{"entities":{"Q3812241":{"pageid":5842147,"ns":120,"title":"Item:Q3812241","lastrevid":87710642,"modified":"2026-06-04T12:25:20Z","type":"item","id":"Q3812241","labels":{"en":{"language":"en","value":"On the Proof Method for Constructive Falsity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4081550"}},"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":"Q3812241$1DDD0F24-A016-48D4-9D52-963A4B02B4EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41ff2217eb4fd5ab31997d5db5fb8aa2df10c69e","datavalue":{"value":{"text":"On the Proof Method for Constructive Falsity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3812241$E6BA905F-1E8C-418A-BFEA-C1C76827E012","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ee55c443096a9f44fd53a8cfd5ad2116fec18f7","datavalue":{"value":"0662.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812241$73D6FB17-831B-45EC-80B2-35E9EA641DA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bfdbc4a2ad3e39f1d3ddf9a7cce10575529b4c","datavalue":{"value":{"entity-type":"item","numeric-id":516416,"id":"Q516416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3812241$2F433B06-08DC-48EE-A96E-024098402545","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3812241$267756DD-5A87-4B75-969A-175CAF7A0270","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3812241$D9FE86E5-515A-4335-99DE-E565954ED7D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812241$D748F137-8A7C-47EA-806E-E10A6F93DD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812241$10DE45F2-D3DC-4321-9040-ADF7CCBA71E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812241$0313F3FA-E922-49EE-86E1-EC579DEA1FDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d84b49235e78a9a34a1400a8a4123dabd10c00c","datavalue":{"value":"4081550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812241$553EABB9-FCF8-4661-A1E2-07C441B90C3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812241$7DFBEE66-8A3D-42F9-A575-03915BEB7D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217b6426c608d07df4f9bcee5f2ecc43159b3753","datavalue":{"value":"constructive falsity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812241$97BF1014-C64C-4B47-B825-A28B78DE776C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00189f01e23077cb0245ccd6ab520b1683fbb677","datavalue":{"value":"cut-free Gentzen-type sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812241$179CADAE-3CF4-4E5C-81DC-21FBD4521B4D","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":"Q3812241$F823EC1D-5FDE-457C-80A3-032CF2D53DC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b003bc64df8dd40f137902bdcaf7172b1704502","datavalue":{"value":"https://doi.org/10.1002/malq.19880340502","type":"string"},"datatype":"url"},"type":"statement","id":"Q3812241$ACBDDFBA-BD35-4C5E-8A5A-C1B75B250950","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60c7bca94a620012a9162e935cdd796caca17cb9","datavalue":{"value":"W2080200227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812241$CE2734D9-106C-4A84-B2F7-5132B506C04C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e19a5f802bdcd72b60fbd3cf2af991ebc304133","datavalue":{"value":"10.1002/MALQ.19880340502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812241$9FFD0F62-3693-4282-AAB7-8B31E12A4E40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b2094e01b8b53c92fbe87d7946352f28803c95","datavalue":{"value":{"entity-type":"item","numeric-id":4385349,"id":"Q4385349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6591abf45ebb89c4e67a46b34c050dd14096cb91","datavalue":{"value":{"amount":"+0.8003833889961243","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":"Q3812241$3D637ECF-6B67-4109-B999-35B8DFA9B1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed974c8cee2b204e56d027b784cb5372e86e51b","datavalue":{"value":{"entity-type":"item","numeric-id":1104309,"id":"Q1104309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b38a4788d903e78ba0e522094943ef127993d53","datavalue":{"value":{"amount":"+0.7915691137313843","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":"Q3812241$E03308EA-EDAA-4E01-9C57-56860DCE0EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49cf6341a802b28ef516ec439b3ec796b96e735e","datavalue":{"value":{"entity-type":"item","numeric-id":4465165,"id":"Q4465165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbc7a3650bfe0c26d1b6fe028dbc53d8e21e62b","datavalue":{"value":{"amount":"+0.7844453454017639","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":"Q3812241$FE8B2B85-6666-46DB-AA72-3849B002FA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d381f9dfcb9120e0ebe6d8471b52abbf52609f2","datavalue":{"value":{"entity-type":"item","numeric-id":1709698,"id":"Q1709698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28dfc58474230217958819322f4e4db60ace4b85","datavalue":{"value":{"amount":"+0.7812485098838806","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":"Q3812241$E9A099E4-5C4D-4C22-8532-76C6D287A956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90566aea06a1b716bce699d0ee939fc2193daa1f","datavalue":{"value":{"entity-type":"item","numeric-id":931408,"id":"Q931408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ffde119c7a8cd8a1690df0f0f86130d63200328","datavalue":{"value":{"amount":"+0.780256986618042","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":"Q3812241$02E7C700-4A9A-41E2-BEC7-DF9AF873DDA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Proof Method for Constructive Falsity","badges":[]}}}}}