{"entities":{"Q3450207":{"pageid":5206781,"ns":120,"title":"Item:Q3450207","lastrevid":58181004,"modified":"2026-04-04T03:24:38Z","type":"item","id":"Q3450207","labels":{"en":{"language":"en","value":"Blending margins: the modal logic K has nullary unification type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6503565"}},"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":"Q3450207$AEFDA7BB-07D1-4477-986F-7467A6F735BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8531baf460b9d6e8db23c8d9ba7cbd49380576eb","datavalue":{"value":{"text":"Blending margins: the modal logic K has nullary unification type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3450207$D8BA2B7B-4DE6-4725-B269-FAE6515126B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f644f666d3ade66252aacef31bf79fbf2d7b767b","datavalue":{"value":"1328.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450207$F257CB18-5497-4A41-81F0-D18EC8B41F22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3450207$2006F768-8344-4965-8C99-FA22800DEBD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8684371e6d4ab580ec4b5bdfc604e53ef6f8c9c5","datavalue":{"value":{"time":"+2015-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3450207$43B4C544-9164-4545-9507-AB2E9EFA4521","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1dfbb9be30e82d4528e6cadcfd28e991c79221e3","datavalue":{"value":"https://arxiv.org/abs/1108.6240","type":"string"},"datatype":"url"},"type":"statement","id":"Q3450207$41B12AFA-D6E3-41C5-B502-C7D109F56DD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450207$D453AC81-9364-443B-BE87-D87786132132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450207$2D0FA8E6-30FE-4369-A73B-2AB86D4E4D73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eb433a9826c32c96fdb48632a59abb28175fda6","datavalue":{"value":"6503565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450207$52CDAC6A-A186-4C45-8C7A-DFF3DE395EF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450207$25F705EF-F592-42C2-967C-D1821CFA3932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450207$3F13B8D5-78AB-4152-AC0F-4DC526D495D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d34911d56f14d2757188f1fd8282bfb75184d6","datavalue":{"value":"unification type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450207$4C80B6F4-05F4-48E4-A2BA-DA974D8931CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450207$771D4ED2-266F-4A38-B00E-417C7FEC2BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709bc4af51a5bfbb8a79a6d96691d38854fef1dc","datavalue":{"value":"rule of margins","type":"string"},"datatype":"string"},"type":"statement","id":"Q3450207$53653F78-7409-4AD8-99AB-A229E53CF785","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":"Q3450207$6E2B2AC6-8023-4ECE-AD86-688BD54B6FA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bce8010cb079ad532ecfb84b4bb9d39847f49e4b","datavalue":{"value":"W2106310727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450207$A9D5C655-611F-4ADC-8AF1-6BA5B8D412F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fa0e6bbacd514bcbd8a6ecb3012cd03ed66d570","datavalue":{"value":"10.1093/LOGCOM/EXT055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3450207$932DCB05-0992-4E5E-BBA2-C6162E2A524E","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":"Q3450207$A80B1AF4-98EC-466C-BB0D-CB05C762F848","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880a03d28b6db1b8c450a090cb888b9807051ee9","datavalue":{"value":{"entity-type":"item","numeric-id":831218,"id":"Q831218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676128bfcf4aaed7960b62f892682dc4e2ea25e3","datavalue":{"value":{"amount":"+0.8070948719978333","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":"Q3450207$49810EC2-9A73-4F17-AE10-FFEA03F93C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9233249eac8623912147e1042b002aed5412ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5241924,"id":"Q5241924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff3a194895f16682616e0fef94e0f2e13acd6cc0","datavalue":{"value":{"amount":"+0.8014615774154663","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":"Q3450207$C1598722-7FDB-4772-9090-86B191E2B113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4efbad0f808f8bc90ed676d6348d922d47a740be","datavalue":{"value":{"entity-type":"item","numeric-id":5877709,"id":"Q5877709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299568c17bfb1a862260c521b766fe4cb7badc8a","datavalue":{"value":{"amount":"+0.7970188856124878","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":"Q3450207$2DA6BBF6-B35C-4D2A-93F3-4126BD00D809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ecb7a899b96ef21da6a9e0403eb54bf8af5f1b6","datavalue":{"value":{"entity-type":"item","numeric-id":5039110,"id":"Q5039110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb40beeb1c8e85176324f1c92e5257b1724cb3ff","datavalue":{"value":{"amount":"+0.7958218455314636","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":"Q3450207$DB332E2A-21F0-4643-AF15-C967B35FE431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27c622d5b0dee269111d27fe7dd98753d44b672","datavalue":{"value":{"entity-type":"item","numeric-id":5095652,"id":"Q5095652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522e66a2d5d61f3e8a43e8423a8779e41b8a89a1","datavalue":{"value":{"amount":"+0.7914091944694519","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":"Q3450207$680685D6-2816-46D3-BAC1-8CE586E10748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3450207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3450207"}}}}}