{"entities":{"Q2118982":{"pageid":2129725,"ns":120,"title":"Item:Q2118982","lastrevid":55402990,"modified":"2026-02-17T15:39:37Z","type":"item","id":"Q2118982","labels":{"en":{"language":"en","value":"Correction to: ``Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7496504"}},"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":"Q2118982$D71DE699-1B54-4E49-A92C-FBE737263AFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"874a01631002eb81995bb04b89422ba2ac171977","datavalue":{"value":{"text":"Correction to: ``Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118982$8F9864CA-61A1-4D5A-9912-98BA7E2F6B9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118982$3F8C4C87-49AB-4BCF-91F8-490395C81510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118982$92188590-5AA7-4C2E-AFE3-8820D6D3CB3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118982$CD8DA038-4547-429E-8BBB-5E01D8D87B86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aa1d2d8467e713a3bff3ca93031dfa09d4c4894","datavalue":{"value":{"time":"+2022-03-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":"Q2118982$90788602-E027-42EE-9BD5-C6747CFD54C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118982$5B4A8710-A223-4D53-A493-3E3B60446068","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b271c4d012956e41a371eca4a3cb0d6f0da4c10f","datavalue":{"value":"7496504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118982$BE3AF312-01E9-467E-9938-B62F3535F84D","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":"Q2118982$1A4F3A63-CECC-4660-AA3D-9857B2C43639","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"644fb36ea84dd5b4bdda0b075727752e9aa1af8c","datavalue":{"value":"https://doi.org/10.1007/s11225-021-09977-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118982$66ABC887-0393-443C-94FC-3C5B7AD3B620","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4a966411608d01652f3f3b57be50c830fc7c65f","datavalue":{"value":"W4200564949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118982$087E7415-9095-4FAE-8BC5-6D4B06F43FE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cacbfbde77cf4ec5cd8e2b9c07d3634fb941123","datavalue":{"value":"10.1007/S11225-021-09977-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118982$1600C668-87A8-422E-9C6A-4F6E894BDB3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1baf0e8b09720f765e34340f8ed24c658f1f3acf","datavalue":{"value":{"entity-type":"item","numeric-id":3370616,"id":"Q3370616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a65736403ccdb6fe6f5b6d31a54b9ffae338b70","datavalue":{"value":{"amount":"+0.7735331654548645","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":"Q2118982$85FEE985-B91D-4741-B2D2-3308DD8B4E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7802a997bd979f5011a61696dec95d90d90ca35b","datavalue":{"value":{"entity-type":"item","numeric-id":2323638,"id":"Q2323638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7749040bd9204fb606dbd473f5036ee9cfb5f1f8","datavalue":{"value":{"amount":"+0.7710751891136169","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":"Q2118982$ECC944DB-6905-4724-A9C2-FBF55511C643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe005d2914f62cbb642f5f6520853b3c9bf999b","datavalue":{"value":{"entity-type":"item","numeric-id":2102952,"id":"Q2102952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd135f90405e58de660623c05102daab1b328ea5","datavalue":{"value":{"amount":"+0.759184718132019","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":"Q2118982$D334F4FB-5E69-4E03-909F-A382A2EC4CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7484c043aa33b04a8939aaeab33247f5e04097","datavalue":{"value":{"entity-type":"item","numeric-id":4458706,"id":"Q4458706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f2148485cbc22aeaf97486fe745a659ffd18df","datavalue":{"value":{"amount":"+0.7521089911460876","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":"Q2118982$29106F2B-9F53-4506-AFB5-0E3DA7BC26B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f9a26e251b84fff0a71d7cd3f9392920ba7ef0","datavalue":{"value":{"entity-type":"item","numeric-id":6083023,"id":"Q6083023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017cbfe1e84b2deba0946ff8ac4acc38eeb6bd38","datavalue":{"value":{"amount":"+0.7519054412841797","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":"Q2118982$08CF0030-2A4C-4B33-831E-17486B7A71D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118982"}}}}}