{"entities":{"Q3520241":{"pageid":5550145,"ns":120,"title":"Item:Q3520241","lastrevid":87326750,"modified":"2026-06-04T11:24:20Z","type":"item","id":"Q3520241","labels":{"en":{"language":"en","value":"Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312595"}},"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":"Q3520241$2992247B-DA81-47B9-8CE5-656CF41168BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55f86cfeab26c6836d1b33c5d13215ebf2aaaec7","datavalue":{"value":{"text":"Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520241$5231058A-785F-404F-A88E-6DD09EAC3977","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b65c14ad84227b365cd6f5209f07c8f77461a5f6","datavalue":{"value":"1146.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520241$C78EB145-44B0-40E9-85DC-D48EAD4C2E76","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":"Q3520241$BA62F910-CCBD-4484-9865-5E0875266869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"694d2e8c67abb491571f4dddc9bef501d0565c56","datavalue":{"value":{"entity-type":"item","numeric-id":650892,"id":"Q650892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520241$56A94ED2-9C1B-4470-B811-88DD8F082EA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520241$1FAE86D3-C171-4C44-BEF4-71BBF44256A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520241$88A7CF36-56EF-4BFD-BBA3-B6B4F71BE7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520241$571022DD-3CF2-4C9B-84D5-94193E151CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520241$E474DB04-B8F3-474D-B7C4-1064563A2D20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"758f0e4a5de0197eba492a7b678131e0e3b88c5b","datavalue":{"value":"5312595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520241$C2DF62A5-5229-425E-952B-17A9CEC43FEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a61fcaa478dd7828f1a6f6817f2dabcf2b4d216","datavalue":{"value":"quantified propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520241$0BD28BF2-863C-48CD-9ED5-40A507C6F73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1a1f25e847b244c568cc40973694e51b1ad3da","datavalue":{"value":"G\u00f6del logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520241$9B5DDCB4-BACA-42D6-9E66-0F92E4F87499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520241$089A4FCB-CC76-4A9A-A617-042BA52108C2","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":"Q3520241$7ED44D26-DCDC-49DF-B560-FCCB455A171F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae9d2cd25fa46f051fcef75f376ecac6fcc190a6","datavalue":{"value":"https://doi.org/10.1093/logcom/exn004","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520241$20004F06-A6C4-4E30-B80D-75D34D888B20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28635656176106faa7008b5261f0e564bf35c5d3","datavalue":{"value":"W2143006649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520241$83531709-122F-4E67-8631-B1471BD7014F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac987e2a48386167c6f7bda152e7b18017b4469a","datavalue":{"value":"10.1093/LOGCOM/EXN004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520241$29CFB670-96E4-4941-B34B-85648D980991","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520241$2F87170F-F79E-4A0D-8188-0A4EA33C5777","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb5566ad50983c466a6699fe807728e4295455c0","datavalue":{"value":{"entity-type":"item","numeric-id":4729758,"id":"Q4729758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83398fd673f719a32788e3035efa63d4bc22c59a","datavalue":{"value":{"amount":"+0.90650415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520241$58CDD84E-4E75-4BF8-A56C-8B73EF205F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e0a4ae859c328d0e6efbe356249df24c5d6f32","datavalue":{"value":{"entity-type":"item","numeric-id":948760,"id":"Q948760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48119a05620bb20a7850f86e82b2104248af1d0b","datavalue":{"value":{"amount":"+0.8922744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520241$3C5A6380-B28D-452C-AF9A-67FA44852F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36c6ad665f452a4ee53651f2e8f9f7fc569a7af","datavalue":{"value":{"entity-type":"item","numeric-id":1317986,"id":"Q1317986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d23a1fc4cb7e955cad688ec5639c8c6bc09f3f7","datavalue":{"value":{"amount":"+0.8735294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520241$F3E2843D-1399-4ABE-A7BA-1DEB4DBDFD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"282ae6e1712810c2f0e00324b3d92a6eb3b51e97","datavalue":{"value":{"entity-type":"item","numeric-id":3140550,"id":"Q3140550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512f671801f955f12ea5013663b55dc7c0588276","datavalue":{"value":{"amount":"+0.87259203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520241$4ECECFEB-8C51-41C6-BD63-1C04BC441FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad387bb91aea289b46103fdf638050e404fdcd3","datavalue":{"value":{"entity-type":"item","numeric-id":1344873,"id":"Q1344873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e16f5f0b9ece6d77243ddbb28f28ba7f71015d3","datavalue":{"value":{"amount":"+0.87085545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520241$A3203FAA-F41D-457E-BF17-C6078DF45272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1770d7c324c91c1fd0ef06790be309a79ed8d273","datavalue":{"value":{"entity-type":"item","numeric-id":4916219,"id":"Q4916219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14162e10d248fef714ce0833dda45ce4818fbec","datavalue":{"value":{"amount":"+0.8688674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520241$0C20A4DF-566F-4536-A5BC-E80F730C8B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc23619369b328512861b97a9e9ba656c51e0731","datavalue":{"value":{"entity-type":"item","numeric-id":2748424,"id":"Q2748424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7cc4080b629ad58cdefde9fc840b0de7df6efa","datavalue":{"value":{"amount":"+0.86866015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520241$80120C0D-162E-463D-8EF4-EECC99A3E99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ccee372bf211905cefabd6dd7fe8a01cc0b90d","datavalue":{"value":{"entity-type":"item","numeric-id":4534183,"id":"Q4534183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af0cc428d295cb8b63db944ed59e07054002292","datavalue":{"value":{"amount":"+0.86697865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520241$8CF44363-3C9E-4389-9C84-F020CF1D4542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8855a0abab6fbb51a92b880afe579f8aec1ba585","datavalue":{"value":{"entity-type":"item","numeric-id":4391436,"id":"Q4391436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b041d9274740ad88a8eeba334b1e290983214920","datavalue":{"value":{"amount":"+0.8621377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520241$52ED0E10-A2A2-4EB1-9EC1-170725D1FC87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_Elimination_for_Quantified_Propositional_Logics_on_Kripke_Frames_of_Type"}}}}}