{"entities":{"Q2487862":{"pageid":2498605,"ns":120,"title":"Item:Q2487862","lastrevid":48526639,"modified":"2026-01-05T02:58:59Z","type":"item","id":"Q2487862","labels":{"en":{"language":"en","value":"The resolution method for one reducible class of formulas of the first-order modal logic S4."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2193950"}},"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":"Q2487862$FC7DC7D7-A669-49C4-9A92-4DF5FFB4DC20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"010458f3e3a976dfa92ee019eab61abd00529b8c","datavalue":{"value":{"text":"The resolution method for one reducible class of formulas of the first-order modal logic S4.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2487862$83D0AF29-EE57-4F45-890A-81AC85BA7216","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b77fcd6586641fd33dc300dd0ca68eede9c7308a","datavalue":{"value":"1072.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487862$5505EEF2-35D5-4788-A198-CBF864554C2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487862$FC14C8C1-F961-463A-9BCE-D0DA58DC46AC","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":"Q2487862$ABB731CB-C1BB-4A39-A8F0-09D228DDE855","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edac2e99cba66389f67dadfb5a1e2fe761d11d13","datavalue":{"value":{"time":"+2005-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2487862$F7F0E5F7-91CC-454A-87D7-C5ABDAF8790D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487862$B0033CBD-A853-485B-A9DA-109642CCD1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487862$3270615C-96E9-4ED1-9F51-85B8EB545CB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a28335fb1cac9a1893dc81e122be5bff3efe0f7","datavalue":{"value":"2193950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487862$4F6E627E-0244-4543-B634-9FD5A02BC788","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487862$DCBC1C3C-5ADC-4116-86D4-7ECE66D45A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453429d1f5f6fe0b0040a4606b656e60838775d7","datavalue":{"value":"absorption tactics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487862$1DFDB67F-79B3-4DA1-9125-289E862D3EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487862$5A0B461D-8F96-4203-9901-D476BE66F0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487862$65B80E27-C074-4C75-87FC-5A7A33D81890","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":"Q2487862$3F10D0B7-49D6-4E62-8098-B37A7E4456E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f705e51c92a70f5cb7581b58a81478d9fc077162","datavalue":{"value":"https://doi.org/10.1007/s10986-005-0016-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2487862$6556DB30-3DCF-4BDD-B7AE-AC5A552316F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c509374a471be52cfe796979401805da3a840b19","datavalue":{"value":"W1985331365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487862$C62F56C6-2978-4A04-BD9E-3B686DDBDC8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29179a540f49ad048332df7c5ebdc593837a60f1","datavalue":{"value":{"entity-type":"item","numeric-id":4281258,"id":"Q4281258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487862$93DDB75F-3B8E-481A-B43A-41ACB162CA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f383440d27b874e71a77641c718884b60c520d1","datavalue":{"value":{"entity-type":"item","numeric-id":4942001,"id":"Q4942001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487862$DE6D82A4-9BAA-4535-90E3-48ADC8E39E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b93cdba5a88bd7eb99c225c48f32ccd190ca45b","datavalue":{"value":{"entity-type":"item","numeric-id":4291028,"id":"Q4291028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487862$98539B79-A9F7-49A1-A5C7-8C418840A48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a03c875a0784cc3ec907b605fe9e299aca2166","datavalue":{"value":{"entity-type":"item","numeric-id":1178699,"id":"Q1178699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487862$0840F793-43D5-47A2-8645-65F3C58A4023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e2984aad27cb3e25159a04dea706a44d204c70","datavalue":{"value":{"entity-type":"item","numeric-id":4766612,"id":"Q4766612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487862$D6923819-2946-4BD6-90A9-60435A65B28C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c133e906aa52d9bf25f056b1450b2ef7291f4a7","datavalue":{"value":"10.1007/S10986-005-0016-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487862$974E5DFF-6D59-4E4A-95BF-5AD0E1D4696A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4897d4b1954ac91ae95528226939bdfd467b5c45","datavalue":{"value":{"entity-type":"item","numeric-id":4207883,"id":"Q4207883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a23ce62350a777db0d91d23b2be8fe61d957f7d","datavalue":{"value":{"amount":"+0.8950230479240417","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":"Q2487862$62154A17-72DD-43B7-9693-28B9A9149982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a31c801e93ceb344544bd9134806de981b021","datavalue":{"value":{"entity-type":"item","numeric-id":4798640,"id":"Q4798640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc6c9770914e1830ca32f78a1b172fa275c9284","datavalue":{"value":{"amount":"+0.8752002716064453","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":"Q2487862$385F7E20-FADF-4A0B-8969-B1D044E5D354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34a816d843ad636333971f696c91c7c1a4e5429","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc6c9770914e1830ca32f78a1b172fa275c9284","datavalue":{"value":{"amount":"+0.8752002716064453","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":"Q2487862$7A777416-2B79-467C-952E-C3EF75C9E96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92939b86137af1b0455e2845a510c8f884a99fbc","datavalue":{"value":{"entity-type":"item","numeric-id":1178699,"id":"Q1178699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda2743ddcd3b2764ebca80b8a01bff04d112d43","datavalue":{"value":{"amount":"+0.8266990184783936","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":"Q2487862$AC6B4478-9C89-46ED-A75A-558C86F29F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3566294723f47781d52fdbc8a14e9820ae95eed","datavalue":{"value":{"entity-type":"item","numeric-id":3680806,"id":"Q3680806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3865cb7a8482e80ff332c7fb201df5bfa2ceba2","datavalue":{"value":{"amount":"+0.8259496688842773","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":"Q2487862$A732136B-17E8-4F07-84D2-1ACF8FC36484","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2487862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2487862"}}}}}