{"entities":{"Q5411450":{"pageid":7441024,"ns":120,"title":"Item:Q5411450","lastrevid":92265062,"modified":"2026-06-05T01:17:14Z","type":"item","id":"Q5411450","labels":{"en":{"language":"en","value":"The basic constructive logic for weak consistency and the reductio axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6287603"}},"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":"Q5411450$853AFF00-9AEF-455F-BEE3-47CDC0B7EBB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"548a4d598cd9da2d82099323d38ea3f927268367","datavalue":{"value":"1286.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411450$EB79FE9E-1950-4BFC-BC67-F8A2A5304835","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3041a7bd5c74727d19353b43fab84bf78332b1f","datavalue":{"value":{"time":"+2014-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5411450$CC5DDE95-2BA3-4D60-93CA-781D7701D8B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8ba4ade4b8b30bbcf419cf0fed8fac63bca1147","datavalue":{"value":"http://www.filozof.uni.lodz.pl/bulletin/pdf/38_12_7.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5411450$B7BA7A4A-D6B5-45CD-8052-4675C013B895","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411450$A466D58D-02CA-471A-81D1-608B14A09963","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9637ae82969ab2eac815b5f6b84e4ab1591ed5e","datavalue":{"value":"6287603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411450$854B3509-5EAA-49F9-82C0-6D695E82A73E","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":"Q5411450$C5F40AC6-3572-46C6-80F5-04406700A832","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676b2b52afc346916eedcdc49a060f541d79040a","datavalue":{"value":{"entity-type":"item","numeric-id":1006487,"id":"Q1006487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603d8dd748ab5dc626e414e9e6ee1a30756419f7","datavalue":{"value":{"amount":"+0.8197935223579407","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":"Q5411450$ADFF7BC4-BD00-40E7-A7FA-2871206A4A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c339a94f04b8ccc2b33b20da9fbee5adef9a3533","datavalue":{"value":{"entity-type":"item","numeric-id":4826043,"id":"Q4826043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ba7c7ead3dd7d7c71c4befc36ed0308a14a452","datavalue":{"value":{"amount":"+0.8117733001708984","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":"Q5411450$A81E34A4-7A51-4A90-8BB3-072AAED96389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc59ee566a00980cd051d24d8e5012344c0530b","datavalue":{"value":{"entity-type":"item","numeric-id":1006496,"id":"Q1006496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89a04a863e02bc7d2a06f161ef4f9d761b18b6c","datavalue":{"value":{"amount":"+0.7914890646934509","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":"Q5411450$34427C98-CF16-40D3-94ED-E95961C34C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a01bacf7f309b670b4accbd1fc6aa300da46651","datavalue":{"value":{"entity-type":"item","numeric-id":1016031,"id":"Q1016031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be098133a6dd5534994072996270d33a7a2fde0","datavalue":{"value":{"amount":"+0.7786851525306702","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":"Q5411450$D7FB0B14-0B41-4939-BCEF-B6446241277C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08dc29f24467de7f63b04dfed37f554e5e807595","datavalue":{"value":{"entity-type":"item","numeric-id":735410,"id":"Q735410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"534c294717323933ef58550f2c6a2ce257746717","datavalue":{"value":{"amount":"+0.7678189277648926","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":"Q5411450$2EC8952A-451C-45F1-93CA-64F198A6A8DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The basic constructive logic for weak consistency and the reductio axioms","badges":[]}}}}}