{"entities":{"Q1165833":{"pageid":1176582,"ns":120,"title":"Item:Q1165833","lastrevid":42924636,"modified":"2025-07-16T02:09:34Z","type":"item","id":"Q1165833","labels":{"en":{"language":"en","value":"KM and the finite model property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3767625"}},"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":"Q1165833$3E86CBDF-4632-47B9-A428-A8949DF9386B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa45ddd84cefcc9dbacf20d10be390cd29ad173e","datavalue":{"value":{"text":"KM and the finite model property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1165833$BDC0AF5B-1D77-4ECE-BBB5-B6A0430A35AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60315c9d1f302b7b5161cbe71daf0f35eddf2f65","datavalue":{"value":"0488.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165833$1784088A-380B-45E0-A916-C0B4822CE3D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa282e821b812e4d17511e7ea2ea3bb995433a21","datavalue":{"value":{"entity-type":"item","numeric-id":516413,"id":"Q516413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165833$6FC777DB-26D8-44EA-A22B-30987CCDE503","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165833$3C275B29-4E32-495B-A586-315D175D161C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1165833$60E0867B-12FB-4081-95FB-10C595E1F391","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165833$4158FF25-0CC5-4A14-8C40-A1DDC3EDBD95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff09b8e8be60a0dfb5dd1c307a31a041f0996a72","datavalue":{"value":"3767625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165833$A56CF246-5CC3-4D19-AF80-D1976A3D7D46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165833$62E466BA-261F-4A85-80CE-CC5263E4529C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165833$3A2DA54E-EB90-4CB2-BCA6-4FDC8CE2A284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9a595a4b125ce1fa50908c629a08fcabd3e593","datavalue":{"value":"canonical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165833$C92B0AEB-DBEB-4680-A3FD-83DDBA606609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165833$63FC513C-9D89-4CDA-8722-3F1307F8DC3A","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":"Q1165833$C113FC00-E6C9-4802-9472-D491C8534514","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39c484ee08b4851dccffb14f6300e3c0926623a3","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870375","type":"string"},"datatype":"url"},"type":"statement","id":"Q1165833$A88B7A69-73FF-4283-82B8-473B809F72B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0395f5ee8ad74873825d46237439e6119b7acf8e","datavalue":{"value":"W2026852433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165833$4CC10A4D-1D32-4F63-B67A-9BDB652575B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"feafd1eb891d72aeea1ecaab408b50b309e04387","datavalue":{"value":"10.1305/NDJFL/1093870375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165833$C49B2406-BC18-455A-8808-03FE4AB94FCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1165833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1165833"}}}}}