{"entities":{"Q2471643":{"pageid":2482386,"ns":120,"title":"Item:Q2471643","lastrevid":50278115,"modified":"2026-01-13T17:43:01Z","type":"item","id":"Q2471643","labels":{"en":{"language":"en","value":"A sequent calculus for logic of knowledge and past time: completeness and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5236516"}},"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":"Q2471643$EE39C2F3-20EC-4193-BCED-5A4BA2587FCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95f31924028aab092e5afcd961877447e004d5f9","datavalue":{"value":{"text":"A sequent calculus for logic of knowledge and past time: completeness and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2471643$64AC8438-D92C-4706-9C6D-64C1EE1D9E42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05bc415d9700f701856e2f0d454f0315781b6605","datavalue":{"value":"1130.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471643$5E6C2E9B-847A-43B9-BBA7-941187A97E69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471643$25B3E126-0D44-4142-A3AA-841774893125","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"118eb39459fbba91acbfa1c46ee7e29cd76ebdf5","datavalue":{"value":{"time":"+2008-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2471643$92ADA492-78FB-4388-B4F0-130DD4B404FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471643$8C1DD142-4101-4B81-849F-F1FC428EEE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471643$15D9D25F-D797-416F-9084-C58E5F93C258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471643$03E077FA-4355-4860-BB10-BB45296BFC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471643$F26B0409-E09B-4670-8717-5142A6770BFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45562097839323032c689593ac4c04085cad2f70","datavalue":{"value":"5236516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471643$87B4DDD2-933D-4912-91D5-4487B12FA447","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471643$BFB5C3BE-904A-4AB6-9FAE-B667D34C4BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471643$3B4F8EDE-C5AB-40CF-89B1-A2684E130822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471643$DB2700E4-1625-49ED-A7BB-DB7F8698FD63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f39e5514529b8e1c36aae3b627e7a08dc67c559","datavalue":{"value":{"entity-type":"item","numeric-id":704033,"id":"Q704033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471643$363AF6E2-283F-4176-98DC-4F14204B21FA","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":"Q2471643$A2D7C757-8A2A-469B-B0F7-A1FC5B40D33C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca285c15cfcb57148e215eb605207c5cc643f79a","datavalue":{"value":"https://doi.org/10.1007/s10986-006-0033-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2471643$4FCD7011-7BDD-4044-A5A9-8B46227BCA1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c48fa6a39b2058fed8c1e5eb08c6ddaface157e5","datavalue":{"value":"W2151669156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471643$2B5E1E32-13F7-4F3C-BED4-40FD96763FBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2ed56b92ab146c7120d7146ca58937602301ee","datavalue":{"value":{"entity-type":"item","numeric-id":4412834,"id":"Q4412834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471643$5BAABCAF-8DD5-4011-A571-F5712E728DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd1708cfc46a389f6b2616c3dfd0c367a4c0790e","datavalue":{"value":{"entity-type":"item","numeric-id":4209289,"id":"Q4209289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471643$9FB83323-0564-4DDE-BFBC-046CCC5364CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2591224063f9da137283be927b66386056f5c65e","datavalue":{"value":{"entity-type":"item","numeric-id":4661971,"id":"Q4661971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471643$C681BDD2-13FA-4D7B-B066-F3D6AA7A926C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d204a4a1e2c5be28cdc2b113dafae15d42878e9d","datavalue":{"value":{"entity-type":"item","numeric-id":5483001,"id":"Q5483001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471643$C42EE260-FFD6-46B5-9AF6-17401678EE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471643$575314BC-575D-4774-B130-6F902600FF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471643$815110D4-7108-4EC8-BF34-3505BC4A6334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5a227c99258bb23e99104c126e984c2a288cec","datavalue":{"value":{"entity-type":"item","numeric-id":1420806,"id":"Q1420806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471643$18862E2D-1AC4-48C9-9029-6D1BB39662D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e339c00769f6b7be72641c6dfeb5c88a02e1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1881781,"id":"Q1881781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471643$3587DA52-E701-4417-9E7B-DDF574C73F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f798c194049e34a49151688832b091a5e32416b6","datavalue":{"value":{"entity-type":"item","numeric-id":4236067,"id":"Q4236067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471643$71B04F03-F27D-4B97-95A7-857DA88590C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91899fbd2218900edd453d8eca7d4099b4e78bfd","datavalue":{"value":"10.1007/S10986-006-0033-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471643$DC30E438-EA5E-4D8A-89EC-4803DE9422F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0e054755274cfa2db1a8271b96566f81e97c94","datavalue":{"value":{"entity-type":"item","numeric-id":1881777,"id":"Q1881777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3865713028c17ca969389edabe35a3978058b5ae","datavalue":{"value":{"amount":"+0.8596299290657043","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":"Q2471643$C116B260-E178-4D0B-ACF0-58440579F00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588b8202a974aefa776dc3b2d340cf4ca5d86eb5","datavalue":{"value":{"entity-type":"item","numeric-id":2376368,"id":"Q2376368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8111c418a7570c51e81e0126c43550b711294c07","datavalue":{"value":{"amount":"+0.8479200005531311","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":"Q2471643$896EC793-CC1F-41EE-A46F-6766243F9981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8cdedbd66f2748bd3257c5217169538cf6af587","datavalue":{"value":{"entity-type":"item","numeric-id":3417384,"id":"Q3417384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d07edc02ae35303077f45a5551d8a1a92de298","datavalue":{"value":{"amount":"+0.819683849811554","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":"Q2471643$7F213555-AE75-4861-AC7B-B8B241229913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce94b04416310dfcdeb97defbc34c5ac34de2fb","datavalue":{"value":{"entity-type":"item","numeric-id":3594284,"id":"Q3594284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d76a69e659d951741dbaaf0f1c43d0057b35d6b","datavalue":{"value":{"amount":"+0.8192511796951294","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":"Q2471643$107C728D-9BB1-4010-B535-3B20BB199169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e821d8d0a03f4a83fd0f9976fbfca3c4328866af","datavalue":{"value":{"entity-type":"item","numeric-id":2810015,"id":"Q2810015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0811b1541f5bfa79145c8a494228d37cb31e98","datavalue":{"value":{"amount":"+0.7891218662261963","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":"Q2471643$9A3ADCAC-574A-4A2D-8AF0-C0A0491C62CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2471643","badges":[]}}}}}