{"entities":{"Q3481670":{"pageid":5511570,"ns":120,"title":"Item:Q3481670","lastrevid":46862877,"modified":"2025-12-25T18:04:49Z","type":"item","id":"Q3481670","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152338"}},"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":"Q3481670$BB238FBB-23C3-4879-B94C-CCCEBC7FFA21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49201bb277e09d77874f464cd3d181dd1eafe9a0","datavalue":{"value":"0703.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481670$649B84D6-2619-498E-8B9B-A459260A3716","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3481670$14C58B2D-3A0E-432E-A13E-22B06826CE07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481670$81CFDD50-0384-46F9-BFE5-3C9377F17DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481670$249C7305-0797-4C40-88E7-096A367E3AE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8657d2b3afa078424a657321ccaba200686c3ee6","datavalue":{"value":"4152338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481670$7462C2FC-B41F-4E17-9A13-0234690D2704","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ed3a565b440efb7c72cfda0ae916b17012e0ce","datavalue":{"value":"first-order intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481670$A422311E-A813-4399-9244-D6DAF08A4110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481670$708F05E4-5612-447E-A589-0DB96AB2FBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34de8b54d67cad8bedae68f107d9dee1e791fd6a","datavalue":{"value":"tableaux method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481670$64C96F8D-FCE5-43CC-8EFE-FF8D0DEFA074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481670$85C47DBC-E21F-40B4-A10A-E8ECA723EA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481670$1767FB42-D0FD-4674-AFAA-BA204EB978A2","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":"Q3481670$B57185F0-7413-4D1E-8354-0F1A32E43036","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2cb3e2a1ab12c8c2843eb69f967b35a6b8245b","datavalue":{"value":{"entity-type":"item","numeric-id":5413327,"id":"Q5413327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88857012c419a5da0153952251cf8d5174bdebbe","datavalue":{"value":{"amount":"+0.9164231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3481670$E1ADD196-724B-4C9A-80BF-BE56816D6A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08efddb0c59c91798f6d83d347d38436e2513acc","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f5eb68f623bdf0081b42679924c50c721118f3","datavalue":{"value":{"amount":"+0.91191936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3481670$1C33D88B-E005-4DDD-AECB-C9146E54F534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079a5545608790ba99c8fe6a8953366e9f7a5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":2352456,"id":"Q2352456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b578d7dceaef1cd1306700bfea8c194c6debf57c","datavalue":{"value":{"amount":"+0.9116601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3481670$563EA5E4-D2FA-474E-921A-EAD02D159BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052cee0778262a36500115ee5837331a157194d3","datavalue":{"value":{"entity-type":"item","numeric-id":3791124,"id":"Q3791124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8cb6906e83ad976f0feaabd9fc86364d0a76940","datavalue":{"value":{"amount":"+0.9038739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3481670$F41DF60E-84C7-471E-8C48-181405866AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcfcd8a5b3f560fe9728c99efdddc6428d32dab","datavalue":{"value":{"entity-type":"item","numeric-id":2825455,"id":"Q2825455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cb7f5e5d4bee62c199791380c7da82bc0de8b7","datavalue":{"value":{"amount":"+0.90142375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3481670$AFFD1AAA-3B3C-44C4-A4AF-A73F7F752A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf0f2f75ff23cbde6a0a540fb1edf84d989c769","datavalue":{"value":{"entity-type":"item","numeric-id":3717048,"id":"Q3717048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe22a241398708a420b15b53d53b19f80720f85","datavalue":{"value":{"amount":"+0.9009609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3481670$95095799-4DDA-4AB0-9D84-AA0E29FAEB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c84421e2aaa4548d865b7bbc633f7e7841de78e","datavalue":{"value":{"entity-type":"item","numeric-id":1591374,"id":"Q1591374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff3089f587e0cd77c25dd2b6e0ed1899634659e3","datavalue":{"value":{"amount":"+0.89825994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3481670$10F3A767-D3E8-4416-876D-33871EBDB050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3a9336d43a0bfe1761560f7d5483275a3e428d","datavalue":{"value":{"entity-type":"item","numeric-id":5411496,"id":"Q5411496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7c6ca8a8158e0ea1676934d3d3066540588120","datavalue":{"value":{"amount":"+0.89665097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3481670$7901054F-870F-47C2-8412-8C9E90366C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c70cd15ecda03d51113f6e752fd5f08adb01944","datavalue":{"value":{"entity-type":"item","numeric-id":4551606,"id":"Q4551606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52990c55455fbb9b77eada21d51f4831b42259b","datavalue":{"value":{"amount":"+0.89455837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3481670$A130E238-6CC7-4D2F-94C8-E97C8501F952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925b450be9b4d5d921f2659bb097f778ce16d56f","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1df7fddf4808646401c279dccb3ff964a2233160","datavalue":{"value":{"amount":"+0.89449596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3481670$B8CA08CF-0DA5-41D2-B297-693369446BAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3481670$5B23EE4A-128A-4B48-BBB7-EE6F131E2B26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3481670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3481670"}}}}}