{"entities":{"Q4032666":{"pageid":6062400,"ns":120,"title":"Item:Q4032666","lastrevid":55238164,"modified":"2026-02-05T04:46:48Z","type":"item","id":"Q4032666","labels":{"en":{"language":"en","value":"Canonical formulas for <i>K</i>4. Part I: Basic results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150022"}},"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":"Q4032666$D8E48112-7DEE-42EB-9040-3AF736C24DF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d5e1d09871736d3e474a037ca1dab6573a92815","datavalue":{"value":{"text":"Canonical formulas for <i>K</i>4. Part I: Basic results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032666$54FE5233-9B5C-4A97-AB03-DF67F297C482","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cfead78783ce46c735655e6d76e6d59c7c8e067","datavalue":{"value":"0774.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032666$A654A69D-CD85-4774-94B3-F95BC8ADC41C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"447b4b117e1734a10c1ac994b403df980111949f","datavalue":{"value":"10.2307/2275372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032666$D9F4BB25-C705-447C-A4FA-88C65FD94152","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032666$AB18A8AE-EFA9-442D-9648-A441A9CB5275","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032666$3CCF5BAC-0162-46A0-BC36-7C7E8CD20672","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032666$8EE98B11-BEE1-4DE2-9023-6C80AF23D6D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c6e9c178f915010b836efbe1e09c77c1ebecaf1","datavalue":{"value":"150022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032666$FB92CD0F-9ACD-4536-8728-761FA9BA94E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d540bb7f69e9ed9b05e97b6f2b99731e299aed3","datavalue":{"value":"quasinormal modal logic containing K4","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032666$A6EE17E7-C872-44AE-B5FD-29F8B51A74ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032666$2AB8C72C-FA86-4D05-93B9-5E837F29AFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42380aadede16500bf396bc7455f1c1274e477d9","datavalue":{"value":"transitive frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032666$E08F2DB1-8ECB-4889-A1E9-471A55780DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1be9c7f9061e71374cdf3fcdde9f2be907b9ee7","datavalue":{"value":"canonical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032666$C4340946-7201-4CE8-92B6-702230CB6FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032666$43A5F8F1-E05F-4BEF-AC09-8D36962BFDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032666$659A96C0-3C9E-4981-8386-D325E506D6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032666$4A5A248E-F23A-4ABA-9016-A7BFB1C0BD44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032666$8B42E847-5EA1-43D7-B19A-5109F1A01F5C","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":"Q4032666$502DA905-3640-4131-80F5-DB46CF5E660E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e733f2ba8a1e98181cc3ea14b813e4740494a6b","datavalue":{"value":"https://doi.org/10.2307/2275372","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032666$70DBAC5B-D5D7-4B0F-8377-4C1A0CB593EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66f3776b0a28ceaf7708e9f5301d9792a3262fab","datavalue":{"value":"W2095148612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032666$9B4AE567-C7E1-4D92-975D-536CB64D2B64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c59bcac76291ed5ff203b66a7d202bc67cd38a","datavalue":{"value":{"entity-type":"item","numeric-id":809991,"id":"Q809991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032666$B34898D0-DF95-48F1-8BF1-919A182C66B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032666$4DBDC738-187E-4129-B207-1E2DC757B463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c0420aef247f44d1eec39528b10ee9fac6006","datavalue":{"value":{"entity-type":"item","numeric-id":5565105,"id":"Q5565105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032666$4521A350-012F-4A8C-8BA3-90AE484BC62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032666$040A8DFF-89DC-4762-ADB5-66521E8927DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032666$83605240-32C1-4ED4-89B8-E8C2496337AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a8a6a3857bbbe70047aa665f7326c9aa6eaa17","datavalue":{"value":{"entity-type":"item","numeric-id":4899969,"id":"Q4899969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0739f40ad8b07c8a005d42b0ac4a90fd6ff1b03","datavalue":{"value":{"amount":"+0.91397166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032666$35FF0209-0B3A-4B55-8A55-ABB51A6330EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cb6d2f44553728d8de4c4d813f0519a52c638d","datavalue":{"value":{"entity-type":"item","numeric-id":4372915,"id":"Q4372915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2700597f312b9680f8eb6c188734757d87d0e509","datavalue":{"value":{"amount":"+0.89430624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032666$EFF28364-474F-45E2-89BB-BE80672A7FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c68cd697f8e6db36188895be758e9492785c843","datavalue":{"value":{"entity-type":"item","numeric-id":1298013,"id":"Q1298013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012fbe397b6035bbbbd750e17d6d14894970e314","datavalue":{"value":{"amount":"+0.85554206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032666$60EB3C0B-3B6C-4541-A949-9DB46DD5DA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5e02eda608e98b7b993dc05f3cd68be89f4d83","datavalue":{"value":{"entity-type":"item","numeric-id":969431,"id":"Q969431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f3dd3dd69d33470acf0e85275abd9d2aa7a442","datavalue":{"value":{"amount":"+0.8551887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032666$59CC6D67-1FF5-4593-BC03-E48F62DD4B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132b96819a6f7c29b1483ed77a780288e23fb25a","datavalue":{"value":{"entity-type":"item","numeric-id":4849488,"id":"Q4849488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4773d7a82e0590cbcf492e93cb56b3fe6bc9b92","datavalue":{"value":{"amount":"+0.85060775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032666$716567AE-2F5E-4A02-9A64-6C5A69C3A3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0357b8dbc74dcebc59c28dee17766ee582c02dcd","datavalue":{"value":{"entity-type":"item","numeric-id":1779871,"id":"Q1779871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3766694b7646e7b56c52f93984c61aa4d44ecf","datavalue":{"value":{"amount":"+0.8468229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032666$4353F8B0-BC57-480B-ABE5-209645E87F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b72611c3b289081cfaa0e8082d8259a52614a2","datavalue":{"value":{"entity-type":"item","numeric-id":5100112,"id":"Q5100112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e16e681d5ff5143132f9ae3e8722c8e5d0a3de","datavalue":{"value":{"amount":"+0.8455717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032666$CF872B61-3AA5-49BD-8E93-30F44405E29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dd355abedadd4be8220ee4507145a2d1061995","datavalue":{"value":{"entity-type":"item","numeric-id":2902447,"id":"Q2902447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912cece2bf8b199d6d96838bfeca9f7ba6a03d22","datavalue":{"value":{"amount":"+0.845061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032666$F1451518-D7A6-4602-A417-3F1D40D071FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffffbf8cfb79398997768a72c7d982848113e05b","datavalue":{"value":{"entity-type":"item","numeric-id":3149654,"id":"Q3149654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6116c9502a8974056be13f527916a28774be23","datavalue":{"value":{"amount":"+0.84272116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4032666$29A86DA1-3C39-4952-961C-07BC09226BB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032666"}}}}}