{"entities":{"Q3000420":{"pageid":3011144,"ns":120,"title":"Item:Q3000420","lastrevid":51248465,"modified":"2026-01-17T10:53:08Z","type":"item","id":"Q3000420","labels":{"en":{"language":"en","value":"A new deduction system for deciding validity in modal logic K"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897094"}},"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":"Q3000420$1113705D-25C9-4C74-B73D-DC7A81EC42C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7605c6c4f268acf023528b9653a930d6e5a22dd4","datavalue":{"value":{"text":"A new deduction system for deciding validity in modal logic K","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000420$8071752D-2F1E-4DE5-83EB-408A7CE6E9C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be432a6413f603d545ad7a947fc8f1817148d1c7","datavalue":{"value":"1252.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000420$A1D438D3-0443-417B-9BFA-7F5F8922755C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f466985cf8143741f29cc3aa6e4e8a4f57c99","datavalue":{"value":{"entity-type":"item","numeric-id":284217,"id":"Q284217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000420$830E0450-CCFB-4672-9297-9636CA2A2A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2822ecd71563ec0897253c83fa7ead655a842154","datavalue":{"value":{"entity-type":"item","numeric-id":313005,"id":"Q313005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000420$6909EC0A-021E-4754-A961-6C1CACE801BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521234494bdae7b26940ef5cddbc24c353586822","datavalue":{"value":{"entity-type":"item","numeric-id":246590,"id":"Q246590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000420$DA72B8D2-59D3-4609-96D9-04530777EF38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"582ddc080e0097b96146009353001f8291010262","datavalue":{"value":{"time":"+2011-05-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":"Q3000420$5B4B37F9-4A33-4ABD-90AF-A7AE789E89F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000420$37F3E498-BFCA-434F-84CC-63F663753E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000420$1D3EE080-17E7-48FA-A280-76973D8A2938","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a124e0485f0b264133be3ab48ab25b791d33383e","datavalue":{"value":"5897094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000420$F61EF700-A1E9-472A-B99D-1628519F759A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbdb85c6cc89bebe11d7c6ce2cac65d460c21ac6","datavalue":{"value":"relational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000420$A9051750-0F15-477A-AF17-6EE4F831F851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000420$6C479B7E-4DEA-425B-9D13-47726639FFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed26029ddf9bcc00b2d826485f988af799761574","datavalue":{"value":"dual tableau methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000420$995DBCFA-49A3-4274-8990-2B7ACCFDB9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000420$568DB725-BA77-482B-9F64-7B27754C2411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000420$14F5DAF0-A749-4C21-A237-50946FE4AFB3","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":"Q3000420$7E844F9C-6A01-4563-AB10-029F4E1DDEF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5609dee5f793414d3b884cbe3b3833f63ea35c1","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzq033","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000420$BCA44097-A019-4E51-ABB5-BD4CFA925ED6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84452c04d3b21e673ef7527c978867c47f0a0b61","datavalue":{"value":"W2133922504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000420$780E3928-2D67-4D61-81FB-957D4AC37FC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"022240dedc62ec59fafeb10422d3385f60b80656","datavalue":{"value":"10.1093/JIGPAL/JZQ033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000420$C5927B49-09C8-4ABE-AC19-26CF873EB8C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000420$BF4CFAB7-4DDD-4589-A2FB-52E00E107AD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1334e3a218fd215d442bfd9d984ae09e2b208b","datavalue":{"value":{"entity-type":"item","numeric-id":4922857,"id":"Q4922857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4148c383310fe0eb814f7a67d1525c1400d1a4ea","datavalue":{"value":{"amount":"+0.7518635988235474","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":"Q3000420$B4E1F496-8479-447C-83B0-3896136D7D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56527f09640bd97f1c6f0fd470a4d29c2d0b9add","datavalue":{"value":{"entity-type":"item","numeric-id":2937395,"id":"Q2937395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48923dc47068cc988f7d9d03cfa0cdfec34030eb","datavalue":{"value":{"amount":"+0.7464436888694763","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":"Q3000420$625B8605-213D-4A39-A44F-0C86138CDE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e753a74b2d472aa2566a99519ccbbfb1419ddf84","datavalue":{"value":{"amount":"+0.740777850151062","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":"Q3000420$1AE930BD-74AA-499A-B4E2-CC41AD3C89B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d07067797266df2d94f4e2753c3c55d85b1b87","datavalue":{"value":{"entity-type":"item","numeric-id":2498907,"id":"Q2498907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242059c40f77d0fd24dffdc846a7e80b80221436","datavalue":{"value":{"amount":"+0.7345176935195923","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":"Q3000420$BCAA20C0-E1FA-43F7-8AC9-A982279D993B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70bdd53bbdcb935e90b001a4b56e52e502e4e53b","datavalue":{"value":{"entity-type":"item","numeric-id":313007,"id":"Q313007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af1a55843906b28ef06f04e90ec5df83d35f2566","datavalue":{"value":{"amount":"+0.7319979667663574","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":"Q3000420$C1F00FF3-EB65-45CB-AC19-1220B8AE1917","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000420","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000420"}}}}}