{"entities":{"Q4372915":{"pageid":6402514,"ns":120,"title":"Item:Q4372915","lastrevid":46518990,"modified":"2025-12-24T23:13:25Z","type":"item","id":"Q4372915","labels":{"en":{"language":"en","value":"Canonical formulas for K4. Part III: the finite model property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1097742"}},"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":"Q4372915$9A9F3FB8-97E9-4ACA-B0C9-22BF97848F41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de742f497cf4eddce4d8e89250862d713759c3e1","datavalue":{"value":{"text":"Canonical formulas for K4. Part III: the finite model property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4372915$480F7765-3E42-4EC1-A1C4-2082C9F64176","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83a02e751a6b5f526f1766195756026899d0de44","datavalue":{"value":"0893.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372915$4684FE2E-EE5C-4777-B501-B4662A09B94D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4255a55f293c98fd47c89d8ca00ece504523b83f","datavalue":{"value":"10.2307/2275581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372915$5A6EDD1D-0FFB-46BF-BA4F-A14D421B9E04","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":"Q4372915$1B6D46F6-770C-49E4-81CD-33D12BFC24F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5db0d405f6ae86d2c7391df1633165283031cbc2","datavalue":{"value":{"time":"+1998-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4372915$41383B22-DD2D-4506-8394-FFACA7CEF17D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372915$E1E4EF6A-D3E5-409D-887F-430AFA36FED5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a54b3de8b83d78f826baca7e80031ab81cc8ceee","datavalue":{"value":"1097742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372915$B7537EAB-B48C-4BA3-9F19-FF1F3FC43CF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372915$3A2A0B0C-456A-4662-AA1B-3263DC45175D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf2a4abd3a68c8d01f25861901d997aa430007b","datavalue":{"value":"canonical formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372915$60558573-A13C-4F97-B42F-FE00D323D1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372915$CE3B529F-C1ED-4E7E-9B56-2F5CAE7385C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"127f9261719ab958cd748253150e5d534536eb99","datavalue":{"value":"normal extensions of K4","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372915$005450AC-E13E-4D74-83E2-B175D1911E5A","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":"Q4372915$A1435FBC-5225-455A-8FEF-597A084A18F3","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":"Q4372915$74213D3E-117B-4ED1-B1AC-FF1CE3C224D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76a9fb7513bb8430fec5b008b4636355df557a3b","datavalue":{"value":"https://doi.org/10.2307/2275581","type":"string"},"datatype":"url"},"type":"statement","id":"Q4372915$F7B658E9-C9E2-4BAC-A307-22AAE9C36A75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"818578ae6327c84aaec9db7bd071002031c266d5","datavalue":{"value":"W2001627578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372915$45FCC8A5-BD71-40ED-8BA7-38BC42CAEB9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc687154876af29438e40818d3c5a719d115f72d","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372915$76ED1549-4E44-49C2-81BB-5AECC06AA6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49138e24cbec8ada0feb5d3f4c8c21a3f8ac022","datavalue":{"value":{"entity-type":"item","numeric-id":4291869,"id":"Q4291869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372915$1AF74972-4464-46C9-8DA6-6C40E9223C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372915$E6D9502E-F650-48BB-9B8F-2DF082217333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a189d0ae1994b31deed8192ab50ffe71fe6bd2a1","datavalue":{"value":{"entity-type":"item","numeric-id":1063013,"id":"Q1063013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372915$7863CD4D-611D-4930-877E-F9BF92984CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0310e42cd89ec966ff0db04df83f2f80f9957748","datavalue":{"value":{"entity-type":"item","numeric-id":5658080,"id":"Q5658080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372915$30738A7E-D82C-43EA-B34C-A561998A03BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372915$1E1BAE61-9FC7-4AE5-9966-0F9F94656E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeddacc40899976e9a705244d96a08c700067a2","datavalue":{"value":{"entity-type":"item","numeric-id":1203789,"id":"Q1203789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372915$8D0DB284-99C1-4147-9C6D-2B176A9E1E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e499941af6912796a2f52db08665ebe850f7f91e","datavalue":{"value":{"entity-type":"item","numeric-id":2557689,"id":"Q2557689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372915$4CCC0323-C3CC-4A1E-ACD1-195D5045A177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372915$93CDF5D5-F208-469A-95CE-79B5EC9C8CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84bd6b5a534f67b6b7d4c37a09d43bc1c1517c9","datavalue":{"value":{"entity-type":"item","numeric-id":4894720,"id":"Q4894720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372915$49813D4C-DCEA-4FE5-88F5-3E99AA63771F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c9d9292b166b85ad60425b6677774032635903","datavalue":{"value":{"entity-type":"item","numeric-id":4291869,"id":"Q4291869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a265137fe640f2c4bb00c0867116ac81384aa0","datavalue":{"value":{"amount":"+0.8645115494728088","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":"Q4372915$4BE0B880-82A8-43D6-AE3B-AE816C70207C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f128356198a31a1cf984e999fe616b287aa36f8","datavalue":{"value":{"entity-type":"item","numeric-id":2377059,"id":"Q2377059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b8bf0536196139bbdbfdc2e5a00709d477b994","datavalue":{"value":{"amount":"+0.8405560851097107","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":"Q4372915$69496D4C-FF37-442C-B029-58E10D2A748B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73321d23481ef02742cd6e5b16a9ca0b953eb270","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a00a4651eb00e3d6be71694c4dc07077cb37db3c","datavalue":{"value":{"amount":"+0.8337056040763855","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":"Q4372915$2DAE1DFC-8250-465D-B63E-D414FF550203","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4372915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4372915"}}}}}