{"entities":{"Q420837":{"pageid":422604,"ns":120,"title":"Item:Q420837","lastrevid":61712250,"modified":"2026-04-11T01:08:34Z","type":"item","id":"Q420837","labels":{"en":{"language":"en","value":"The Ackermann approach for modal logic, correspondence theory and second-order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037802"}},"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":"Q420837$FAF9853D-621C-442C-97A3-225F5246AB89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03a9490af4eeaafd15bd47d348c5941ab8a19a73","datavalue":{"value":{"text":"The Ackermann approach for modal logic, correspondence theory and second-order reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q420837$D0DDCE41-EADF-464B-8EE9-2CA1BE11665E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"feaaf603884018e09670baf4303622cf20ec1f50","datavalue":{"value":"1248.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420837$8B35DDF8-DE2B-4A36-97A1-4409C4180BF8","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":"Q420837$CCA14870-BEF1-43C9-943A-0422CFDCA14D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$B83AAC78-F737-457D-B7A3-057849607E43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a791962b7bf8be6759d99d8d914e7c75a4b20fc2","datavalue":{"value":{"time":"+2012-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q420837$D7454DC9-2713-49A8-88F5-B1DC2B3267DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420837$BC355595-852C-4D5C-B36E-73F3DF034D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420837$92142F0B-352D-4C0F-819F-6FCDE0DB715C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420837$ED4F20DE-4DCC-4E15-BC2E-2DE99B60618B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"005add102ea3cb008fb627da883e94a1df291928","datavalue":{"value":"6037802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420837$A410E4AC-E89F-4E27-9F16-9DFB14E55FA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q420837$D4108718-660E-4E65-A55A-F907E02B1DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q420837$619B4258-3A79-4F02-B436-ED7727BFBAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13610f26b20136cdc136cf0db05fb7289e31a5e","datavalue":{"value":"second-order quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q420837$6B1A2DE5-DBD1-446A-A203-FFD37B765286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5488f5548a5c2e1ddb9475214ba8fb94bead840","datavalue":{"value":"Ackermann lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q420837$105C0025-3559-4A5E-A51C-982C7DD551EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1d45947ebb51d6f444d1baaa63a79badc93ee1d","datavalue":{"value":"substitution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q420837$3771B26D-7E5D-4A56-928A-A141368E9074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32883bae172f037e5c114f308c129219cf2bfb15","datavalue":{"value":"axiom and rule reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q420837$47C0AD1E-19B9-401F-A714-C3AAF686C1E7","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":"Q420837$A4815DFC-5B3B-4771-A93B-ED2A37885F45","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":"Q420837$324396D7-60E7-41A0-B9EC-D7BA4EF3B90D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c2cdb1dce82abf801df61842531cb6970758c1d","datavalue":{"value":"https://doi.org/10.1016/j.jal.2012.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q420837$51D8D00D-8D98-4333-A58D-216208F36457","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64d0fa4480ed94529e7d0e624d08e9cddbd27a03","datavalue":{"value":"W2043056708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420837$FC73FA39-C1C3-4793-B01B-FED7159D0373","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$3AEE011B-2F44-4E06-BE3E-BC0D7D0E3455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$96F5C2B9-598D-43B3-92E8-38DB8B1BF510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$AED2D1FA-22A8-4431-9F7B-8B9A1769A741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76de451e4dcadc3488dd89e8fbdad3660ee9ea61","datavalue":{"value":{"entity-type":"item","numeric-id":3509049,"id":"Q3509049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$66282C9F-AA2A-4F7C-8AA7-07539EB92691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffebefd0037fec534cb81ab160f525424d2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$9D6397DF-E182-4905-821A-156F8210EA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422338a2dfe752749b7dbb572234dd7473a7f248","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$414C3CC5-87C8-4696-B5ED-8E61FEB993DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d9c86154f755477b019e139e0ec45e0822d154","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$68598318-8682-4F9F-9B25-EE368CD3C888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d51dc77936fcfb4098ad7c52cc8a1349833447","datavalue":{"value":{"entity-type":"item","numeric-id":5712428,"id":"Q5712428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$48ED3FA5-D4F8-4C33-BE19-F23FFD98E768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$895B5DBF-DF3B-4C41-AF17-EC729E0EE6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce3446495ff4bc05ac1fcd507ad391bef55e5e1","datavalue":{"value":{"entity-type":"item","numeric-id":4250040,"id":"Q4250040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$21AC4E2E-8EE8-4489-8BD2-4EA67A0C5B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$32F409A3-FBB3-4803-9983-0205D1D553A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c42bb0cd245279a5285965fd36fda281c117d5","datavalue":{"value":{"entity-type":"item","numeric-id":3532480,"id":"Q3532480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$07851134-B71B-4CC2-A74B-A0A4D7CA65B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839f62616d1f5bbba21434df5bdd1db58bb5cfcc","datavalue":{"value":{"entity-type":"item","numeric-id":4286215,"id":"Q4286215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$1BDCF1C8-F354-495A-928D-33011EF34ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e98956eb0e9a29848be95bf5e3ba04cf2505e0d","datavalue":{"value":{"entity-type":"item","numeric-id":4286209,"id":"Q4286209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$667F5835-6B48-459C-BD6D-0B039AF8AC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$6D488C40-B490-4484-BAD1-076EDBE4A091","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6014bb6180c0603168f084f26ab142bcdf6355e","datavalue":{"value":"10.1016/J.JAL.2012.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420837$B31CB040-45F3-48DF-88C7-1A1F1C4B635B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370d12ec71cc0f36ccd6bf5a35cc44fbb49b1f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3532480,"id":"Q3532480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8a4a5840c6a200f9d5f4ecc054017043bee910","datavalue":{"value":{"amount":"+0.9070942401885986","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":"Q420837$A8D064C5-A020-4190-88F9-120ABFCD8A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5a70053390f3bf5f3685a7b8231fec4bd8f63c","datavalue":{"value":{"entity-type":"item","numeric-id":4250040,"id":"Q4250040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ba5deb8b1bf76833f6f128435e4e5d414c534d","datavalue":{"value":{"amount":"+0.8283764123916626","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":"Q420837$A8DAFB88-B813-473A-833C-0DEC077E3E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0411f7942d00b9b5179ac8ca344e8b19aea35ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3643312,"id":"Q3643312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ba5deb8b1bf76833f6f128435e4e5d414c534d","datavalue":{"value":{"amount":"+0.8283764123916626","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":"Q420837$2EB548E5-6F42-4FE0-A7DD-BEA99D2E8568","rank":"normal"},{"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":"6d6a67d1aeb6da2210f6f25db4b00fdf9e33c2d4","datavalue":{"value":{"amount":"+0.8105993270874023","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":"Q420837$8B16A430-AF41-487C-8D3B-572287489E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97f708c4b8c4326839d8241c45d7e4cd20ae49d","datavalue":{"value":{"entity-type":"item","numeric-id":5899321,"id":"Q5899321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f4351cbeb71a11c7c3a812d4c7f508ad918136","datavalue":{"value":{"amount":"+0.8105992078781128","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":"Q420837$A7C1F00D-FCD9-4D5B-B081-19C312B4E255","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420837$60FE6A95-84D3-4951-9940-C37235974C4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Ackermann approach for modal logic, correspondence theory and second-order reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Ackermann_approach_for_modal_logic,_correspondence_theory_and_second-order_reduction"}}}}}