{"entities":{"Q4508270":{"pageid":6537863,"ns":120,"title":"Item:Q4508270","lastrevid":81976241,"modified":"2026-05-06T19:48:14Z","type":"item","id":"Q4508270","labels":{"en":{"language":"en","value":"On axiomatising products of Kripke frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512487"}},"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":"Q4508270$91568D35-951E-48AD-8E82-57FC0B723C60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25d0dc66894094b63ed3de04af8123dcac87fe68","datavalue":{"value":{"text":"On axiomatising products of Kripke frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4508270$61AB011D-027A-475C-B27D-D9A4AA1A793E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b904252d8c1740fc4331c94169dd9556bde90a7","datavalue":{"value":"0963.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508270$2BA1EBC0-8D65-46CF-BB49-59496847FE83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bfed36af77b81f2b94fa43ab01ffe1717b0f3c3","datavalue":{"value":"10.2307/2586578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508270$3C7D28B5-D229-4EC4-BF09-7F9BF8FD0466","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0a34f3eb4e2c2d51f71751f8a73288297bb98b","datavalue":{"value":{"entity-type":"item","numeric-id":1582309,"id":"Q1582309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508270$0DE2C345-CDE7-45A6-BE91-7BB6ACF5B685","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":"Q4508270$4BC4F5B7-EEF7-47B6-A415-70B34361E0D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06eab7b8fdb4da09120309408d2523975ca56178","datavalue":{"value":{"time":"+2001-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508270$D71684CA-B170-4393-B65B-F5DC7B9B83FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508270$0507E6B6-7216-436C-A559-FF96A0F15D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508270$6C480D1C-37BE-4F18-80E9-67D250F2C541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508270$11FD0D49-A28F-4D65-96F7-7C6A1D2F42F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"565526b0f15690a72af6e0c2c94f0ee44e896ee4","datavalue":{"value":"1512487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508270$FF935094-2837-4A41-87A6-E91A2B386914","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad3f33fa516e7e1d06c82337abd08fcf7a95d9b","datavalue":{"value":"many-dimensional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508270$E12A2B7D-B511-4BFB-A86F-65F052A632AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18fc610962b54b54d03de4c8a1d83e64095a1021","datavalue":{"value":"product of Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508270$AD52001D-3F43-48ED-AC61-7C8DF5A2B931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508270$4A16E652-2943-4E8C-A7A8-3E82C223F4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508270$5EB84AE7-2737-471C-A354-B192F6226A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07c3d5b754955b6bf65477291574088546d50e2","datavalue":{"value":"ultraproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508270$AB5FBA8C-99DB-4245-A536-DA22EFB2DE89","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":"Q4508270$FC3D8C5F-7B11-4C00-81D4-F46108415C92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1906afc6e8f5fb8ad78dca2dc01f1032637bbfbe","datavalue":{"value":"https://doi.org/10.2307/2586578","type":"string"},"datatype":"url"},"type":"statement","id":"Q4508270$5133E4E6-8CAB-4685-84B1-DD6030BF439A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dd6a3f5a026918d4df7152de3e5751fb5f3dc67","datavalue":{"value":"W1976530497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508270$A31706EE-E237-4ACD-8BCA-336221C7B773","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508270$B20A2452-A194-434D-8097-47579BFC9F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570f9bb6e8727d3e369d07dcbff78755f5d7d468","datavalue":{"value":{"entity-type":"item","numeric-id":4868227,"id":"Q4868227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508270$01F951E2-8138-406B-974F-944323AAACEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508270$9C146F7C-D39B-44FB-9AFA-CD60D25010E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cfb8fa497fbdd8a8fbb057c1b81d463eca6ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1151886,"id":"Q1151886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508270$103F44D8-AE26-4576-8D3C-2AF46A1479DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508270$CDBEB43D-8A9E-4A48-ACE3-ACFABCB41986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508270$E8575505-0F61-43EF-A354-86D1F38F40AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f464bd83d76ad46f861be39216b7715bd765f61c","datavalue":{"value":{"entity-type":"item","numeric-id":4372908,"id":"Q4372908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508270$A1289156-3F2A-4491-991D-BB91A2AA9D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508270$259A7D53-5631-4F22-A11F-9C8060FDD596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45af815584b281446704023f9f4c0865a4d4836","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508270$48FE7C6A-AE26-4B7A-97F0-3A8512A9B0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d50d6d29a3bfa40d26b9207dbc4abbebc1a71a","datavalue":{"value":{"entity-type":"item","numeric-id":4217280,"id":"Q4217280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508270$565890FC-32B0-4E26-BA19-DC2927D022EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7ae6e9dec47858e9c1ceb6119b4027e7b90fb","datavalue":{"value":{"entity-type":"item","numeric-id":3085168,"id":"Q3085168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9178b7b03f13b358bdadf4793dcdf3d3439dc722","datavalue":{"value":{"amount":"+0.8818289637565613","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":"Q4508270$2FC046ED-473E-4E89-A59A-BE523BF8BC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0e4095fd2f8671743c45ba21a1f16d5aeda902","datavalue":{"value":{"entity-type":"item","numeric-id":2915901,"id":"Q2915901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97049c2dc2b8e7d02f1490998f7dcb27e8300eab","datavalue":{"value":{"amount":"+0.861659049987793","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":"Q4508270$820FA214-0487-4F24-B6F7-253EE1A0EE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315e8a688e407b719c245ad8bfaf0b92243d2f87","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041213e2af8a3e51dc2fc4e751fc53f79da1e4e9","datavalue":{"value":{"amount":"+0.8553265333175659","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":"Q4508270$EB0CFCA5-F1E9-4FA4-9A2A-D9C90549CBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ecc3123e43a031171df94e590860d4ef3a8991","datavalue":{"value":{"entity-type":"item","numeric-id":2904058,"id":"Q2904058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116a8fca4e6e56b1744c8fed454e450b25f16d6c","datavalue":{"value":{"amount":"+0.8447418212890625","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":"Q4508270$6131F256-45E5-4085-B7FF-1A2F0D1702DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4316f70ed08240dbbba98f43b9edb255f9fa9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4529490,"id":"Q4529490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e24d884f6cc2096501436eaf1a7359b2882dc7d","datavalue":{"value":{"amount":"+0.8332502841949463","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":"Q4508270$A4F84D18-33F6-49AF-A44B-AE0E1599423F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On axiomatising products of Kripke frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_axiomatising_products_of_Kripke_frames"}}}}}