{"entities":{"Q3126407":{"pageid":3137123,"ns":120,"title":"Item:Q3126407","lastrevid":46769493,"modified":"2025-12-25T13:39:57Z","type":"item","id":"Q3126407","labels":{"en":{"language":"en","value":"A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 994542"}},"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":"Q3126407$C434E637-B6BD-40A4-9550-A9BA13B656A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90cfb5b177fa6930f9c83de6b41e758252ee1aa5","datavalue":{"value":{"text":"A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3126407$59C3EAD1-F7DD-4B2A-8616-BAE4D27F9FB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"486fbb96b204abbed4462fc56fc39e8321d8c6f1","datavalue":{"value":"0869.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126407$3A18BC9D-8659-4ABB-8153-3BC070E26484","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2286efb444136e1100eb0b2f7ac6cc03053147b","datavalue":{"value":{"entity-type":"item","numeric-id":229750,"id":"Q229750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3126407$B53F5FBA-9751-4AFE-BF8C-A001D5D0A6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3126407$E4564326-31F7-4746-8CE3-1B141BF81EB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1794b8c016f47095478b978795ce328c3c19cb2b","datavalue":{"value":{"time":"+1997-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3126407$375C9387-6EB3-46E3-9433-1F0B4A31A20D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126407$139AF800-3045-4560-89BD-5D0D1E5DD2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126407$F94FEC09-6697-44BC-9FEF-004694055FD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0493707fd5dcd12d5e208487361a2437e1b382b5","datavalue":{"value":"994542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126407$F3AC667B-B078-4DEB-9881-C9BB878149F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126407$58F06CBD-42DE-4190-AD5D-5D09837E22AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7506ba56548fe79d149f888c23ef4a7339ddfdf1","datavalue":{"value":"polynomial translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126407$68843A57-FCF6-476F-B370-83385B9D652C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d51bed8100a8ebc49be53b54f2b7607f22313429","datavalue":{"value":"Fitting's translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126407$84EA653D-E0ED-4312-AB9C-5FAF9B428B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b6f5951578f748b15a89b3d8aa269892a0ba64","datavalue":{"value":"loop-detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126407$44DF03DD-2F88-4F21-8563-2C607AE21D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f52c68f6bc82e233d24c91fe7aad29bfc29a45d","datavalue":{"value":"proof searching procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126407$463A6344-FED6-4EE5-9B3C-AB82D4F932B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126407$AB69C822-7B30-40D0-A6F0-801E04E8CE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126407$9FC2DBC0-722A-4212-90EA-5AEAA239282C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126407$85513297-8ACC-4818-BA3D-981FE08ABACD","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":"Q3126407$29FE2293-E09B-4426-A42A-3E35675678F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7164f7f67c7b8ffed116cf3b900beb6efa797500","datavalue":{"value":"https://doi.org/10.1093/jigpal/5.2.287","type":"string"},"datatype":"url"},"type":"statement","id":"Q3126407$7F6C74FF-27DA-4475-A05F-EAF00C7FC0F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"008f49d9c61de0a4c11164afabab6b64bfc265f8","datavalue":{"value":"W2167548413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126407$22419064-36BD-458C-8D0C-1123671AFEFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58235ca4db21ce9834a8dfc29f1fdacf2681266e","datavalue":{"value":"10.1093/JIGPAL/5.2.287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126407$4A443FDC-26D6-4DB0-9CC7-236798EF6391","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":"Q3126407$5FCDF039-A497-4E51-A2B4-1D47E2200F31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939896e1966f98dc573a79af75b2c9c07c9ca83d","datavalue":{"value":{"entity-type":"item","numeric-id":5222518,"id":"Q5222518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa68303cbb4dc574c0a2b0cff901b7d504127377","datavalue":{"value":{"amount":"+0.8130448460578918","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":"Q3126407$522D445E-6629-4997-BFA9-909F184411C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b6baa5c9206751fbce6780e371b15029265f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5688801,"id":"Q5688801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ca7386e9c30fa317c8b36fd285f48e6763c472","datavalue":{"value":{"amount":"+0.7878094911575317","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":"Q3126407$C15DA508-8ECA-48F4-BEF0-64D51A4976E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66188545c731d6eb53620fd9b47a463e4cb48148","datavalue":{"value":{"entity-type":"item","numeric-id":3410685,"id":"Q3410685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d537547be21dceb75cbd8870899f3996a8403d9b","datavalue":{"value":{"amount":"+0.7702491283416748","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":"Q3126407$266BA9FF-F2B3-41A9-8676-7C423D5A8927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ac371955924fc12dbb7624094620692cf627b1","datavalue":{"value":{"entity-type":"item","numeric-id":761443,"id":"Q761443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e2e9b4d81af1cf1ea8dc071e2a3240aaf660d6","datavalue":{"value":{"amount":"+0.7613580226898193","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":"Q3126407$63BD7195-0BBA-4A86-94A6-E3EBD845E3A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3126407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3126407"}}}}}