{"entities":{"Q5019280":{"pageid":7048857,"ns":120,"title":"Item:Q5019280","lastrevid":98375144,"modified":"2026-06-05T17:21:22Z","type":"item","id":"Q5019280","labels":{"en":{"language":"en","value":"Frame definability, canonicity and cut elimination in common sense modal predicate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7451573"}},"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":"Q5019280$3C304D8F-BBE1-443F-9421-AFD8FED95A6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b0a966c933d3c1b9d7e981c342dd5c6ad0ed12e","datavalue":{"value":{"text":"Frame definability, canonicity and cut elimination in common sense modal predicate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5019280$00812274-BF3E-4C85-8A2F-648537049526","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"749c968ae607485703d1ec3320d0afec11e56f41","datavalue":{"value":{"entity-type":"item","numeric-id":2291241,"id":"Q2291241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019280$A68A559B-8DCA-42D9-85D9-D1C375FD8B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019280$F1E11277-4213-403E-941F-40804CA61820","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af49efd26010b4160b051c86a282dcb3745069b3","datavalue":{"value":{"time":"+2022-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5019280$F88F3B4A-C689-494D-AB28-5C645400663A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019280$F9298615-908C-4CC9-A85C-EC4A26C983AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019280$6F9AEC04-A35C-41B7-8463-8754EF9C725B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"845a302ec00ed32fe30700dcc46d483e0b97ee43","datavalue":{"value":"7451573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019280$A1656384-6843-4325-B099-775DC5400519","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1939eb146eedd097e90b57e0926082e7d021baf3","datavalue":{"value":"common sense modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019280$38306A89-66FD-45DB-A85B-8DCDCE9C16E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675a74524331a8e00fee8d0a123bcb4e843ca78","datavalue":{"value":"modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019280$FDAE231D-6EEB-4706-9C55-D2C7A799264F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"663724a584ae0fdc852525414dac0b555577df3d","datavalue":{"value":"Hilbert-style system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019280$C7B14C16-F0D6-48D5-96BC-793175EB72B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019280$34E87170-69EF-4810-B418-5EABF2CFF9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2637c0d573555580fd71a2fe5d876b78172622b4","datavalue":{"value":"frame definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019280$F260ADA7-3ADA-404C-A608-9C852D7BB4DF","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":"Q5019280$C5026988-A5D3-491C-BF81-42D9059D8FCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5cf918309c1591f1bac69a36e4b3b521ba8c13e","datavalue":{"value":"https://doi.org/10.1093/logcom/exaa067","type":"string"},"datatype":"url"},"type":"statement","id":"Q5019280$6242FF9B-8317-4E05-8C33-89345955996B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c46b3b7f5bb3ddc6274aa94570e1c2b9e1e371d","datavalue":{"value":"W3117937422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019280$DFAC957D-5A96-4CD4-AF42-819111525200","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d66090bc2991b49cafffa7523e912a32d9d1f62e","datavalue":{"value":"10.1093/LOGCOM/EXAA067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019280$96197AE3-0CBE-4B4C-A393-E1F391C488DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019280$69761880-105F-466C-80FC-2532288543E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42accad38e330bfabb3b5023bed30f477934fef","datavalue":{"value":{"entity-type":"item","numeric-id":6601690,"id":"Q6601690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee1de3871e93a6dbe9a807aaa176512ae2ee0a3","datavalue":{"value":{"amount":"+0.8476621508598328","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":"Q5019280$387A7882-4FD9-46F1-8756-F7A40F484F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7b975ef49797eec899528f66d9f1231d9decae","datavalue":{"value":{"entity-type":"item","numeric-id":4430405,"id":"Q4430405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413bc9cb194f0fbc0821fcbeefe35b334615064c","datavalue":{"value":{"amount":"+0.7549487948417664","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":"Q5019280$35A94AB8-66B3-413E-ADFD-C7A4788B52DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c82d7ea3abe638f84dea7f03893272e5e5ac08","datavalue":{"value":{"entity-type":"item","numeric-id":4465172,"id":"Q4465172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80f9522249e5e9bd66f9377d5bd44ff27bd5d57","datavalue":{"value":{"amount":"+0.7497368454933167","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":"Q5019280$814B022A-11B3-48A6-A059-2B19CAA89F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c6df409f01aabcef2a75ff642540b8e435089d","datavalue":{"value":{"entity-type":"item","numeric-id":2735848,"id":"Q2735848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9c4bb7963460b778ef28b2aff25a9c088d9171","datavalue":{"value":{"amount":"+0.7433133721351624","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":"Q5019280$45530AC6-4F56-482C-91A5-659E7BC109B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda7bb88146d79022676266ce860752d2c5119d3","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a0fc333c9141e4020342500c61ae73cfad9e68","datavalue":{"value":{"amount":"+0.742906391620636","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":"Q5019280$8FF211ED-599A-4E79-BC92-7D2D668EDBE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Frame definability, canonicity and cut elimination in common sense modal predicate logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Frame_definability,_canonicity_and_cut_elimination_in_common_sense_modal_predicate_logics"}}}}}