{"entities":{"Q3830978":{"pageid":5860884,"ns":120,"title":"Item:Q3830978","lastrevid":54465848,"modified":"2026-01-26T23:36:20Z","type":"item","id":"Q3830978","labels":{"en":{"language":"en","value":"Finite and finitely separable intermediate propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4106813"}},"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":"Q3830978$B5523510-8D42-4DD7-AFC7-B13CF4D68564","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32fb50d53ddde955d43111e89da6c384380f201d","datavalue":{"value":{"text":"Finite and finitely separable intermediate propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3830978$877F2315-CBB2-4AB1-80D7-DEF13F4EEF40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb8157f7f84f0df753d69d1f6749b37dc29c5f0a","datavalue":{"value":"0676.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830978$7841F7E2-EF80-480B-8C11-9E73C1B6CF2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37675f82d2b572be7a4b493a6aac364047697818","datavalue":{"value":"10.2307/2274513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830978$46D36025-46DC-40B8-964A-BF9B1D41DABF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc667845b69ffe78e87b193c8e67c83a1bc1a138","datavalue":{"value":{"entity-type":"item","numeric-id":190276,"id":"Q190276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3830978$3B6F7D94-4C7D-4C9C-BFF6-F30475385AA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3830978$98BC60BD-7A49-4EE8-BE37-4EACA622AE88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830978$21800967-FCEC-484A-847A-29B65DA8FE4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23925e5ef9dc72b8743cb634b22919e1f597e32a","datavalue":{"value":"4106813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830978$EF5C8D06-170C-4CAD-8CC1-19FDCD8033C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd2d38d440042f71398d3e40b2fea1d2784aa5bf","datavalue":{"value":"finite separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830978$94D6A6D6-8803-4D4E-B4F5-71561FCBF427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc633be2667c2d18d8e12917f584f28cce1bcfba","datavalue":{"value":"intermediate finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830978$CBB66DE2-54CC-446A-B287-3D298D1B9A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69fe069f0433d2ed9ce7e38f9acab9f7b34ac7b9","datavalue":{"value":"Kripke-frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830978$29C11D5B-3F01-49E8-B5CE-2031C69921AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3830978$32059F53-B621-4B8C-A855-A271871AB11C","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":"Q3830978$60EE74E1-6C1E-4E18-A3B6-3D9043FA0C07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1eaca759cf21f42e19474a492972c17ce4ac326","datavalue":{"value":"https://doi.org/10.2307/2274513","type":"string"},"datatype":"url"},"type":"statement","id":"Q3830978$DC07E9D4-7A78-4B37-B4AF-06BD0F00DD8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf1f5d429980c49df7da6a4f9b43d7c4b94aa856","datavalue":{"value":"W4247780363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3830978$31A7BAE7-2A56-4196-8F34-41E1D0A6A337","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":"Q3830978$2BD8AE19-0851-4BC9-AC0B-AD88C27D45FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a314ac53ba6070fbb1043781b4068c92c6c6504","datavalue":{"value":{"entity-type":"item","numeric-id":4531584,"id":"Q4531584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e90bbefead045516413e320acc0d49c765b751","datavalue":{"value":{"amount":"+0.8387479782104492","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":"Q3830978$917AB6CF-9C01-44A0-A09E-F9FC8D5C5B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62c0ffbed6d79bc13a5c92979d9217dd1757427","datavalue":{"value":{"amount":"+0.8212116360664368","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":"Q3830978$BA42A64C-3B7D-45DF-AEA1-66BF031C9C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9430167a2d56fddacb222fe5bc24cd9c16d8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":4896535,"id":"Q4896535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca0518f26f03bf74b8a70e2e689d62fc728a794","datavalue":{"value":{"amount":"+0.7950586080551147","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":"Q3830978$8A442361-0B58-42B2-B147-E51C52A7731F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e537dee039c65e7487b6854ebadd9fe2c66265","datavalue":{"value":{"entity-type":"item","numeric-id":1115419,"id":"Q1115419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8508d9225c11def174f941c316cde42aebf797","datavalue":{"value":{"amount":"+0.7944915890693665","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":"Q3830978$ABE858CE-E7C6-4551-9801-B17E1FAFE2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db3ab7c26d0095420abbbd1e3190dadec672d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1770592,"id":"Q1770592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1581c88bd68c3b689f47c0e2997548a8cc47ebeb","datavalue":{"value":{"amount":"+0.7870239019393921","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":"Q3830978$9D27D3D8-0C96-4595-BEA9-792A95486A0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3830978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3830978"}}}}}