{"entities":{"Q4133591":{"pageid":6163191,"ns":120,"title":"Item:Q4133591","lastrevid":48660304,"modified":"2026-01-05T13:02:26Z","type":"item","id":"Q4133591","labels":{"en":{"language":"en","value":"Embedding first order predicate logic in fragments of intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3557734"}},"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":"Q4133591$8A5D6E95-5CE8-4A45-94E9-B5D28CC3348E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9056a22a5921807e1d02bf013c566969b17ebbd9","datavalue":{"value":{"text":"Embedding first order predicate logic in fragments of intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4133591$1C40C7FE-192E-415B-BF76-10ACE7719C2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9c390f1a6784985a6ccedeca345490a3fed397e","datavalue":{"value":"0358.02012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133591$A2D6F093-8464-4E05-AEB6-5E99254BE2AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"744f00a64b7e53542125f2d47fecec998919d989","datavalue":{"value":"10.2307/2272390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133591$BCDC1367-BE8B-47E4-8DAE-363358112E3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4133591$D9FE5B6F-312D-48F3-9B4C-ECCC8E7EFB5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q4133591$14EAA687-A703-4DC8-AB05-EA2F8564B1B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133591$7ADC684B-C11E-454B-9512-B993B87F8A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133591$7C580B44-754F-44F0-AFC0-1129A4AC42AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133591$9CBC316C-2ECB-462F-9E0F-505C1288DF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133591$1D7F9E78-334F-450C-A8BE-AFB8700BD2B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c55329e6562994d0bad86a18aebec29126ea64f","datavalue":{"value":"3557734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133591$4C2AB25D-FF01-4299-91DF-F3CF0EC38E67","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":"Q4133591$EBC926B0-8DBB-4080-8C9B-5B5EEDCFB142","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28c5e468016d9736d6181eddf0e7af73d81095f0","datavalue":{"value":"https://doi.org/10.2307/2272390","type":"string"},"datatype":"url"},"type":"statement","id":"Q4133591$50517A70-B261-4EC8-A1AA-88D60FDDE601","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6409a77ab3b2eed5a783c00291e18327c2418bad","datavalue":{"value":"W2107589331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133591$9C8EB788-812B-4398-A378-2D93263B5236","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c13c00e1e2156638ba2fe0d467f7cd0d2008908a","datavalue":{"value":{"entity-type":"item","numeric-id":6481229,"id":"Q6481229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4133591$DBE4190A-A66D-4D71-B874-FD765F776558","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0340189fff53a74cda0fb8d19e4152e312129246","datavalue":{"value":{"entity-type":"item","numeric-id":609763,"id":"Q609763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d5b44e786c62fb43cd232a1fddf4111fbd19e93","datavalue":{"value":{"amount":"+0.8265701532363892","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":"Q4133591$EE0CD476-E13C-4698-B56C-DA982C6D4769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c8868ce9ea385ab16d856ab9e263fb8266b792","datavalue":{"value":{"entity-type":"item","numeric-id":4789042,"id":"Q4789042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0b7364d95785b280da08d7c6dee5b1473f6d20","datavalue":{"value":{"amount":"+0.8062053322792053","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":"Q4133591$8069BE67-7CF1-47BC-8E93-47067445459E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd79ff2285e7b5cd6a90d1a49705413510ebdeb","datavalue":{"value":{"entity-type":"item","numeric-id":5692811,"id":"Q5692811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd235dd8bbd8f78d6f44327b0627109513cf44d1","datavalue":{"value":{"amount":"+0.796793520450592","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":"Q4133591$622919A4-05F6-43AE-B44A-A35BF01C6EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975271918cc45843c338aa279e7e8dd254fdb0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4424650,"id":"Q4424650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953cf52f124624cc08b2bd9f8f110e86ba5978d4","datavalue":{"value":{"amount":"+0.7914672493934631","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":"Q4133591$5AB2D8E5-28C2-47A9-B87E-25574179101B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca08ba0a45777beaa9c644294e17e3553b54c98","datavalue":{"value":{"entity-type":"item","numeric-id":2751814,"id":"Q2751814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31005774aff430be9484b49b437743d417f0db7b","datavalue":{"value":{"amount":"+0.7842971682548523","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":"Q4133591$AFC50C91-4E6C-4595-9469-85492039D4E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4133591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4133591"}}}}}