{"entities":{"Q1810258":{"pageid":1821000,"ns":120,"title":"Item:Q1810258","lastrevid":48113098,"modified":"2026-01-03T16:47:09Z","type":"item","id":"Q1810258","labels":{"en":{"language":"en","value":"Sequential reflexive logics with noncontingency operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1928345"}},"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":"Q1810258$366FABCC-9A01-41B0-BA05-1C3107B745A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"890af45b31c8fb468592466535d32623e8c6b685","datavalue":{"value":{"text":"Sequential reflexive logics with noncontingency operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1810258$52832026-25CA-4054-A06A-FC78FFCBBD32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38bfccb1fd9d6cc0a0b459e0b453b0d1d9b1c084","datavalue":{"value":"1027.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810258$3C43484C-C094-4996-94A5-692152C1CE39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e65ad70b1773e8f61de523c626b9374041cdf620","datavalue":{"value":"10.1023/A:1021485712270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810258$A18F12DB-D6E0-4B09-AB86-2926A4406316","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810258$BD3CB69F-58A7-4435-B321-D3A971EC1758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5729b7a32c154f3073e7cc4ff690b60c4f52f3d2","datavalue":{"value":{"time":"+2003-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1810258$98D80E3A-E7C5-40F8-92A6-C288C7850A10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810258$E1C826BD-2CC2-4A08-8F24-2F1127934C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810258$EB17065E-A4B7-4657-9857-48433559E954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810258$9AE69C30-299E-4083-82F5-985841AF7EC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30e0bc134f6608e6e59bf8a46588f3963b5c8f03","datavalue":{"value":"1928345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810258$E6061783-9053-4352-A72B-6A034E2ACA34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a524af20669072eb3ffd5b99e8b435863b4c8c","datavalue":{"value":"Hilbert calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810258$511F978E-50F3-4936-BE47-F27B2FC712C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810258$ABC01C09-A70C-4F11-AF76-7FDB4AAA59B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810258$3F3D8223-C17A-44AC-94FF-A9A7C85E2CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7842636ecd34cc69e9149cb6abd03c615fc9ca23","datavalue":{"value":"sequential calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810258$3A7A2FCD-DFAF-4575-9580-CF89A4617B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f95dc58bd79c469c584620b93c8e9df8644496fb","datavalue":{"value":"analytic cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810258$6E4F90F6-ED21-42AC-B4E3-66DE268AA8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810258$3E1360A8-6C95-4930-86DF-87E4107D191C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"417f12a10865c29522b678a1d5325fa529e26e0b","datavalue":{"value":"noncontingency logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810258$0CC877D7-0423-4B5D-9144-33DE7B89B663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a797c65dd907c92eac74ea955343571935d1aba","datavalue":{"value":"Craig interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810258$362CA30E-D8ED-455C-BBBC-BB9134240CB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a44c82ef10600f6e342e14b8a2cd59d5438c3f88","datavalue":{"value":{"entity-type":"item","numeric-id":1347607,"id":"Q1347607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810258$C28078C7-D9F2-4C6E-8392-85E42A80B924","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":"Q1810258$090A3FAD-1912-4856-8B3F-79195D90F770","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"911c8ba2b72baa0da33023e3fd96e88af20bbcb2","datavalue":{"value":"https://doi.org/10.1023/a:1021485712270","type":"string"},"datatype":"url"},"type":"statement","id":"Q1810258$CA9D216C-8DF9-4D1E-8B28-B2EE9D1E7D93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55b5dffd92db7dc821b432930166e0dd5e673f85","datavalue":{"value":"W106772436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810258$2336A8BA-2D9E-48B1-92FC-A876A2376817","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddba683a0a851f93146231b32ed157398d5368f8","datavalue":{"value":{"entity-type":"item","numeric-id":2446684,"id":"Q2446684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afde4b3400c092a4dcb356fab8dfe52afce643e","datavalue":{"value":{"amount":"+0.8021349906921387","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":"Q1810258$C6F9E8DC-D12E-493D-B9D4-3F490C62D2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c186976cba4161c5d727f4522dcf1399a59578","datavalue":{"value":{"entity-type":"item","numeric-id":1347608,"id":"Q1347608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f1a194dc10f5aa69e68745b2cb949691de2412","datavalue":{"value":{"amount":"+0.7963818311691284","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":"Q1810258$17C9B755-56E4-4FB5-BDB8-BE4ABAE367E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d022cc6dd13bb26ddb88a05388efd09c21d5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1903586,"id":"Q1903586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35700f926aba2bda68e915c730ffe9dd8a72567d","datavalue":{"value":{"amount":"+0.7908302545547485","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":"Q1810258$9DB3214D-FCB0-409C-B1AA-C809AC92B24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a68747d97978852730b02ef9bb37bf49095d51","datavalue":{"value":{"entity-type":"item","numeric-id":5013620,"id":"Q5013620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168d5dfff505141c3c8ae9efc9348936de4935bb","datavalue":{"value":{"amount":"+0.7836139798164368","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":"Q1810258$CECE06CD-F933-46BA-B8EE-BF7E68507355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4d1aa87dbe96db98ca7d8ca9933b5c2d17eee8","datavalue":{"value":{"entity-type":"item","numeric-id":1903587,"id":"Q1903587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cfbbb4564535677ac4a299a94ae8c2fb6f82273","datavalue":{"value":{"amount":"+0.7752422094345093","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":"Q1810258$A314CFB4-E259-4B55-ABD0-C44682E0C14F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1810258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1810258"}}}}}