{"entities":{"Q3486539":{"pageid":5516439,"ns":120,"title":"Item:Q3486539","lastrevid":49404067,"modified":"2026-01-07T02:42:05Z","type":"item","id":"Q3486539","labels":{"en":{"language":"en","value":"Interpolation in fragments of intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158593"}},"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":"Q3486539$9F2034EB-D6DB-4B83-94EB-F75AF88EC9D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5315d1a1bd2f7a696f17cbea00c4d62c2aac8e2b","datavalue":{"value":{"text":"Interpolation in fragments of intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3486539$FF4934DE-B924-488B-B988-848BAFCF58D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ba9e42141af6d55fb59c33abd4737dd4dddba55","datavalue":{"value":"0706.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486539$31F85364-1079-46C6-869B-FCA8B3576840","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ded6545bf1fd6472a23e646c9f2ff1daab0393f","datavalue":{"value":"10.2307/2274823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486539$46F16166-80A1-411F-B5C1-5A0EE2C669AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a40f3e393f328cd4730fcb61457b79095ca391","datavalue":{"value":{"entity-type":"item","numeric-id":753808,"id":"Q753808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486539$309B4E98-AAAC-4612-B97E-35E017301C8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3486539$5DA1B7EF-FE24-4B2A-AE24-5E6D125DC1DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd92f3862b0548176a07424686d17c634ac66759","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/27031","type":"string"},"datatype":"url"},"type":"statement","id":"Q3486539$D63BA95D-85CF-48C9-AFA9-15F4C1B4F810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486539$F689BFC8-2324-425A-8F21-6D653FAB0B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486539$10500C44-354D-4B5D-A335-904D3CF392C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a66597257c529767372cc1ffab0a8d404339d20","datavalue":{"value":"4158593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486539$8A3AF58F-457A-4CE8-99D9-DC50652F1EC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75895fa1a917ba4e07be1661be59993be7e33bc0","datavalue":{"value":"fragments of intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486539$0112DB18-8C06-47DF-A397-9761C666E79B","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":"Q3486539$5009DEB1-9E8F-4262-9544-571263FEE0C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aec6e93f601ec78b41ef1e107eefb270d7578c07","datavalue":{"value":"W2252582694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486539$12846339-E38A-4E39-B523-C7453E409FAB","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":"Q3486539$F03DEC05-F2AF-455C-A58B-4C7FCAB13ADD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4ca61443eb814d62ba7167f11db3ba128c5506","datavalue":{"value":{"entity-type":"item","numeric-id":3712317,"id":"Q3712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91d8f47409405276233eb68ca95bbae6a9084ca","datavalue":{"value":{"amount":"+0.886777937412262","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":"Q3486539$449EE7DC-3852-4F6D-A0B2-8CC6FACCEBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4785dd5ede0abc8d262b025fef84e7cf47a8f8","datavalue":{"value":{"entity-type":"item","numeric-id":3795655,"id":"Q3795655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa19fd653905c01fc3f1540c222131540284b3a","datavalue":{"value":{"amount":"+0.8798452615737915","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":"Q3486539$9B7AD9A2-E210-4D7F-9862-E1BBFA607CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15fee8d5149c3e570b4d0485b9243da977901181","datavalue":{"value":{"entity-type":"item","numeric-id":4209298,"id":"Q4209298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561699cd97861ccca3f2137e0164d33989e48eff","datavalue":{"value":{"amount":"+0.8496939539909363","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":"Q3486539$A9B63E48-7DAE-41BF-BC35-B61D813F6B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ca1e82096cba1e07a69b8ca5d4e2068b28c8fb","datavalue":{"value":{"entity-type":"item","numeric-id":1577480,"id":"Q1577480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d2cd58f5bcb4b56f2d0fba8b4782adb31edec5","datavalue":{"value":{"amount":"+0.8487818241119385","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":"Q3486539$46E24242-29BA-4A19-87EB-F201AF55324D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c3e74606c40341a9a3c0b7752f33f84cb80541","datavalue":{"value":{"entity-type":"item","numeric-id":4302342,"id":"Q4302342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd0a7c3cd5cffff3b75fbd9b3577a97ce433e13","datavalue":{"value":{"amount":"+0.8419631123542786","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":"Q3486539$DF0FBE1E-699C-4E92-8E94-5D6E1EAE5F24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3486539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3486539"}}}}}