{"entities":{"Q3532480":{"pageid":5562384,"ns":120,"title":"Item:Q3532480","lastrevid":49297147,"modified":"2026-01-06T22:24:55Z","type":"item","id":"Q3532480","labels":{"en":{"language":"en","value":"Improved Second-Order Quantifier Elimination in Modal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5357967"}},"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":"Q3532480$C8AB5286-05AE-4794-BE2E-09BBB76746FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c071fe7953159bda70fb8311df27103e0a71c383","datavalue":{"value":{"text":"Improved Second-Order Quantifier Elimination in Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3532480$932E15D5-7C73-4AE2-9178-257CD6E9D58C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6476ddfc5d44a31f2afe58a4baa10da47dded784","datavalue":{"value":"1178.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532480$EA7365EC-E588-4107-8167-7124C5DB8133","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d938b5a440a49fdc16fd2f4c2a5794f1a14ce4dc","datavalue":{"value":"10.1007/978-3-540-87803-2_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532480$9C1BD2B2-F3A8-4D8F-9831-6ADA4E2D50B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532480$F7F8AED1-835E-4AB2-A32B-AC98BA129126","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532480$5C72410B-3BFB-4AEB-90C8-0F68EC4CC231","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6a7a73594519f73ca64bd2ca3d2516aec27193c","datavalue":{"value":{"time":"+2008-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3532480$2BA7C6F3-B768-4393-9EA0-4B572CF61775","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532480$59B355A4-113E-4CE3-AF3E-17937F1A2942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532480$5F16B3D4-FF14-4CF3-8CEA-7D916F709353","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df3efaa37f15dafe21fea2edd71061311fc44c1c","datavalue":{"value":"5357967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532480$5062CA94-4341-414E-92D5-FD0D3CEAC3C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532480$106F667F-D269-482F-A5CA-F007E8DF41C3","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":"Q3532480$907DCCE9-81BC-4569-9E79-687FBBEEF683","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d75c82c0066533634a3fb392d1a4aa0bd90260a2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87803-2_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3532480$C5BF903A-72BD-414B-A338-A3D1F5737D83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2c9ae798ca15d5fb31087d66ecadcd8e942332a","datavalue":{"value":"W1525000981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532480$3D6A48FD-0CF4-454B-827E-18A4C549FCFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16860bcfe3bb34b9730b5db75c3a3a037d292b24","datavalue":{"value":{"entity-type":"item","numeric-id":4708920,"id":"Q4708920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8354ece78e9aa2cdffe7f741f589ecdaa681866","datavalue":{"value":{"amount":"+0.9202355","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":"Q3532480$8145E69D-B972-46FC-9DEE-61D5F406A66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad28eb7c4c69d36a7246716c7539d498dcb5a05b","datavalue":{"value":{"entity-type":"item","numeric-id":1731834,"id":"Q1731834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062f9fb2e159567db2315cc388cb23d60586267d","datavalue":{"value":{"amount":"+0.91259164","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":"Q3532480$403A7494-88EC-43AD-AE0F-BEBC48C22C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f628b48803ccaf43238230d07a1fbbccec6cf4","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165bdbc9a22e48ee3d14ec585f79bf7129b01732","datavalue":{"value":{"amount":"+0.9111674","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":"Q3532480$F8E95A51-D4B2-41B9-B4E7-C9E2184C990B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5bc4e7ab5e744d3041a47d0969255471ea5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd3cabafa64fad8d165427f6345f898fab22b167","datavalue":{"value":{"amount":"+0.9045775","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":"Q3532480$E60636BE-FCAA-4687-AD11-73F52001E559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18e32cb866610bafd8f3cf31f6ee81c97a6bae","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88b88823c1ab87c234fc7093488234063bbf8a5","datavalue":{"value":{"amount":"+0.90007186","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":"Q3532480$623E248E-2601-4DDF-A9AE-B57CEF55D940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3965356b6fe0c2ec5519ba755040cd528bd9bb3","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0fd2ce45bd98bb663eb73d5f34bb6542160093f","datavalue":{"value":{"amount":"+0.89834887","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":"Q3532480$D6310193-03E4-4C31-B4D4-E90CBAC3B411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ec3afdef7ab06ba675e2d39d3204cdcd25e9f7","datavalue":{"value":{"entity-type":"item","numeric-id":259071,"id":"Q259071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dcdedf3d74effbad42ebd74dd033853a6b21375","datavalue":{"value":{"amount":"+0.88962275","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":"Q3532480$9C52C383-C639-41E9-91DF-9BDFF8FACBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7a759f4c6087ffc0b15718f56f25026f23cbfb","datavalue":{"value":{"entity-type":"item","numeric-id":2462670,"id":"Q2462670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c5bc31f3bd33baac22c48f2176a72fcfb892c17","datavalue":{"value":{"amount":"+0.88900846","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":"Q3532480$97124463-9812-43B6-A844-3F9AAEDE8769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c7a7751b444c96112bdb712d0aa776a510da9a","datavalue":{"value":{"entity-type":"item","numeric-id":3466627,"id":"Q3466627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7785e7c1ed8e54aee514b213401171b59b31b356","datavalue":{"value":{"amount":"+0.8856292","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":"Q3532480$BF3C424B-1B5F-43BC-8BCA-267280986F76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3532480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3532480"}}}}}