{"entities":{"Q5452176":{"pageid":7481735,"ns":120,"title":"Item:Q5452176","lastrevid":101015786,"modified":"2026-06-05T23:41:44Z","type":"item","id":"Q5452176","labels":{"en":{"language":"en","value":"Effective Finite-Valued Approximations of General Propositional Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5252774"}},"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":"Q5452176$B3188243-E8DA-4616-BEF3-2E595169A433","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86aca1fb60de2d3dee9d1661e11d0e91e34f47ad","datavalue":{"value":{"text":"Effective Finite-Valued Approximations of General Propositional Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452176$0F11EC78-FCBB-4C12-ACEF-D541D7E1F302","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23b91851863774268cc4e7c20a20c5b6c6d86598","datavalue":{"value":"1133.03328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452176$298CB96F-AF9F-4B2C-B9D1-B899A98F6F73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46de483e0af1aa5dc20858d47d442b90c3925d74","datavalue":{"value":"10.1007/978-3-540-78127-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452176$B61F9E28-413E-47E7-A33B-B46B19F4E48F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$61C78435-7778-4795-83F5-D6628AC365D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$258C36E5-6695-4149-A032-A4E70056B20B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"22a2133d6ff5ba41f45d27ff340ca0b332523802","datavalue":{"value":{"entity-type":"item","numeric-id":5452170,"id":"Q5452170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$6CA90AB9-D394-4F5D-9BAC-C27846047649","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"676cc1446d382c56905ed0fcaec27210a6a45798","datavalue":{"value":{"time":"+2008-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452176$FE4381A7-3717-4B65-B3FF-F4B18D24FEF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb18bb1ba3f4877d68434c66d5e0e85621fc4d96","datavalue":{"value":"https://arxiv.org/abs/1908.01200","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452176$DA075C75-ACA2-4B92-9B06-D75C842FA766","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452176$6CC0222B-DC01-4E8B-AC47-A0FD603202CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09b139c76cdabd86e07880ca1618a82de267aee9","datavalue":{"value":"5252774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452176$4E2B1B65-7F41-40B9-8EF5-839DB7A204CD","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":"Q5452176$BC0889BC-7F6B-4FB1-B48C-2C5726FB9E2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4d8d35db9031aafdf5f9ad03b18b5b5e5b7bd79","datavalue":{"value":"W2138558100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452176$08F73478-D794-428C-ADCB-DD788AAE2565","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$EC1B947C-5C27-4446-88C8-C3054F495F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811842a5d4171eb675db0b37a987e4ca72089c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1580658,"id":"Q1580658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$5857FAEF-68AE-4C69-B62A-3FD82D41B0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccbb1cd2371d9caafced4fbb9f78bebaacedb0c","datavalue":{"value":{"entity-type":"item","numeric-id":4525273,"id":"Q4525273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$A72A02FD-8913-4C76-AFA3-CC4C5F19ABD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838411164f69c97962f39c7996d24f24a07a1fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$1F71D4C1-2E2F-4B3E-A3AF-62B779590F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$44F776DE-062A-47FE-80CD-35E084FAB664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$AAA04BBE-00A8-466B-8CC7-6DBB192E7932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$7785BC90-A3C2-409D-99C4-32747DD631BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$F80FC91F-B60E-48D3-860E-63CD738497CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$D5A0C7FC-DFD2-4360-95EE-422392796F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8084845bc1e7476620c12a49f6dd2abd44035dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1100196,"id":"Q1100196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$3FBE22C6-670D-4E71-B0DF-6490A52EB057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d855aedb6b8689008dfa235ba2981fd83a136c50","datavalue":{"value":{"entity-type":"item","numeric-id":5661846,"id":"Q5661846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$7A1E902D-89A6-4E37-BF62-9E187D789029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$B206B396-9D88-4E4D-93E3-E2D2F093E810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede4423fb67f9088d15352c32682860aaaa78b5a","datavalue":{"value":{"entity-type":"item","numeric-id":1154458,"id":"Q1154458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452176$DCC183AC-5362-4A52-BBED-8E5C86C57106","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ea017c9dfd6a6492a2c049e93b47fdc8f9d179","datavalue":{"value":{"entity-type":"item","numeric-id":912083,"id":"Q912083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecff771b99cdb20a3df74b1b434ccb2a9a655e7a","datavalue":{"value":{"amount":"+0.8112143874168396","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":"Q5452176$2899B74A-E43C-47E0-87A1-CDD0B4D2F6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117c7c43aaa79e674e899e9d9be0a400c5167983","datavalue":{"value":{"entity-type":"item","numeric-id":1580658,"id":"Q1580658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5eda7505fe48239fe40a928b1de332d7346444","datavalue":{"value":{"amount":"+0.7930008769035339","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":"Q5452176$10989A5A-98B7-40F8-AA04-5AAD7CD691AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdec01f3c91c07e4dbdf899aff373f49d6439131","datavalue":{"value":{"entity-type":"item","numeric-id":1187026,"id":"Q1187026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fab58dd3c649995217d6a7c7193cb7bb298360","datavalue":{"value":{"amount":"+0.7865158319473267","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":"Q5452176$777D8AA2-CA74-4193-864D-DAFC7B1E1F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33373c81652d58563a0063598c92df0f94812309","datavalue":{"value":{"entity-type":"item","numeric-id":1407546,"id":"Q1407546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc47c6a6d7e5095bf7662e7633e05274b497dde","datavalue":{"value":{"amount":"+0.7864285111427307","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":"Q5452176$65F0F0BB-9B06-48E5-9322-F5CC8D454AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93078e331486de2dccf83a795b4046b83b551d09","datavalue":{"value":{"entity-type":"item","numeric-id":5311203,"id":"Q5311203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93f7d443f90ff7818ab9e910f65a069d6146877","datavalue":{"value":{"amount":"+0.7803259491920471","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":"Q5452176$7EC0DCA5-9C2F-46E1-A848-F8C9CBF187B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective Finite-Valued Approximations of General Propositional Logics","badges":[]}}}}}