{"entities":{"Q6601690":{"pageid":14212847,"ns":120,"title":"Item:Q6601690","lastrevid":95674796,"modified":"2026-06-05T09:33:19Z","type":"item","id":"Q6601690","labels":{"en":{"language":"en","value":"Proof-theoretic results of common sense modal predicate calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7910365"}},"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":"Q6601690$C2324BBD-0B21-4720-9BA6-6FB9FD4166B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5b5a7e06574c5977dd1227cb15f02fc3a95ab50","datavalue":{"value":{"text":"Proof-theoretic results of common sense modal predicate calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6601690$75C654E3-312F-425D-BAB9-78410B265E2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58295b9988ed395d8c172b5700d30d8945756562","datavalue":{"value":"1547.03155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601690$47AE7195-90BF-4DB1-9F6D-96FEEF49BCCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"986d64183787453400839300232eabc5a6e74ad5","datavalue":{"value":"10.1007/978-981-15-7134-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601690$DEB0591A-9524-4F63-9921-DE2D7EE4C172","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":"Q6601690$2B6DE41E-31E9-46C8-A44B-5490F7EEC687","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":"Q6601690$806679EA-D8C1-4F8E-B2D9-CED3347525BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c5f03d38e864f343b57fd7b32b628d264834b70","datavalue":{"value":{"time":"+2024-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6601690$D3D557EF-9275-4B31-91D8-F693F23BD198","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601690$44B8C667-27E2-45D9-A634-3092D9F8ABA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e93525a34088e2d07c6eab24d54a456c4475bdb","datavalue":{"value":"7910365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6601690$A59FA6D8-FDC7-411A-9A1D-8769ED572679","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1939eb146eedd097e90b57e0926082e7d021baf3","datavalue":{"value":"common sense modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601690$86307714-EFA8-47F4-9DD6-5A633415F717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675a74524331a8e00fee8d0a123bcb4e843ca78","datavalue":{"value":"modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601690$E0AAE02B-0F23-49E3-BBD6-F797D5B2E60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"663724a584ae0fdc852525414dac0b555577df3d","datavalue":{"value":"Hilbert-style system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601690$E9A9B0DF-D1D0-410B-8904-117C61B850AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6601690$B94A5106-1709-4C2D-AA1F-429A1E3736D6","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":"Q6601690$D186610F-17AD-4BFD-A0FF-8A7ED70D6B7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601690$3044C322-4850-42B8-9680-04D7185128E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b4d384854c2e13796ad2c51119423fa143380d","datavalue":{"value":{"entity-type":"item","numeric-id":4789451,"id":"Q4789451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601690$EAA4FC4B-7B1B-42C5-92EB-472690D65842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a280291148f2a429f6c3491ebd5ce5b8d1822d","datavalue":{"value":{"entity-type":"item","numeric-id":1843557,"id":"Q1843557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601690$9F18A421-BD3C-42AF-8D88-CBEB33F2D46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601690$540564B6-282D-4853-B86B-5A7D6421AD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4196aa856e022b95d032a8421e5fadcfeb1922b9","datavalue":{"value":{"entity-type":"item","numeric-id":3914957,"id":"Q3914957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601690$6F0CE299-A4EB-46E7-940B-BD000E0F6423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601690$5327433F-D455-459E-9FF6-1EC35F698A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601690$6641CF52-0275-4CDE-81D0-221A4BEE309F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601690$E06868C5-68C0-4489-9C01-4C76D4A2A7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6601690$02EAAFD6-DDD9-482C-9A62-DACA9E6D1983","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5267da1549822121566de18aab2f15059b717d82","datavalue":{"value":{"entity-type":"item","numeric-id":5019280,"id":"Q5019280"},"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":"Q6601690$CC0256AA-1276-499E-9CB9-E75AE30015E4","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":"6482987982e89715711dc77c0ed38fc62b17dfbb","datavalue":{"value":{"amount":"+0.7703348398208618","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":"Q6601690$8EE8C77D-D286-4012-B62C-74DEE5264C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed030b74f186a9c7e144c1a5c1bdbc2e1e44f57","datavalue":{"value":{"entity-type":"item","numeric-id":622627,"id":"Q622627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1826cc67bb461733839e297d59dd1d6afa27be41","datavalue":{"value":{"amount":"+0.757061243057251","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":"Q6601690$4C7C52A8-A0DD-4EAC-9A8A-DF4D869AB28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641fd0aba4498094ed05f03caeedeb83cfe0551d","datavalue":{"value":{"entity-type":"item","numeric-id":2973444,"id":"Q2973444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c0dedc664b69a5d624bef5e185fc555ee1cc8d","datavalue":{"value":{"amount":"+0.7510676980018616","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":"Q6601690$E6296801-DEAB-4F1D-AFB0-374FB67E7040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d641b6fdc9e60e9996f62e13b4d33379c5f0911","datavalue":{"value":{"entity-type":"item","numeric-id":1840651,"id":"Q1840651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6c09df31070c94e96fe14f2e7c041b62533486","datavalue":{"value":{"amount":"+0.7507302165031433","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":"Q6601690$87D1B0B6-5A6D-4E25-8461-684C98189E6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic results of common sense modal predicate calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_results_of_common_sense_modal_predicate_calculi"}}}}}