{"entities":{"Q3460036":{"pageid":5239436,"ns":120,"title":"Item:Q3460036","lastrevid":80523890,"modified":"2026-05-06T16:23:37Z","type":"item","id":"Q3460036","labels":{"en":{"language":"en","value":"Skolemization for Substructural Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528769"}},"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":"Q3460036$025FA8BB-6558-4C87-8A99-7E9570647CD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20901c10a741e82c418b86dceb4a3a7365b7892d","datavalue":{"value":{"text":"Skolemization for Substructural Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460036$3B27EBF6-84DD-4E84-A2A7-F0576F734C35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f0824affdd8049771a4d4b0afeaa0cc30faf170","datavalue":{"value":"1471.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460036$A881B8AB-F55C-423F-B1AB-43C2163834B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88ce88fa18e1d701a2eb0435283961cfbc182ea2","datavalue":{"value":"10.1007/978-3-662-48899-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460036$BC307C29-C41B-4362-BA2B-1D3F6C748005","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4a06123de75f7c51eceea0edd69d73aaabfaf4","datavalue":{"value":{"entity-type":"item","numeric-id":1733059,"id":"Q1733059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460036$77BBE7C8-7509-4988-BC0E-3EC7C2171D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460036$68E64FE3-F3A9-4C57-9A09-6F1326C76312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460036$D18ACFCE-E4AA-4B8A-BD77-2EAABB91B1C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460036$46216756-2948-4764-9BF2-34422E33C7E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460036$374AD6C0-A7C9-49AF-A484-7BE0B15FF284","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460036$3B17EFF6-99F3-496A-886B-0AF9AD693B57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ca64b2b3fd42fb8a5bf523ccfceae9dedee0140","datavalue":{"value":"6528769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460036$72AAAA68-F9ED-4AB5-AFC1-E05EA43F9D35","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":"Q3460036$E97C1271-B086-47F7-95F8-374B082C3ED2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff5a774a8c9d2723f27a82197677c4e0fc75d92f","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460036$2BBB833B-3854-4CD3-8F76-229AC4A35252","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a709ed3f75387d896508b6dd64aff52071420980","datavalue":{"value":"W2277324305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460036$57DD8560-B010-4807-9573-8E8CE905A1EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1259bbedb4c55fd60919f65ad0722d7401d41ca8","datavalue":{"value":{"entity-type":"item","numeric-id":1380406,"id":"Q1380406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d12afe827a31a4b3b0e1b44657097280bc4a48","datavalue":{"value":{"amount":"+0.9273312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460036$0803E683-45E9-4EF3-A0FF-978D33496F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3625139a48b1b52c210c022004deeddfe4a39cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3122078,"id":"Q3122078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a8ea6cc04baf05ddf02401eafff3568f7aa7d1","datavalue":{"value":{"amount":"+0.9153731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460036$A53B84B1-08BD-4D10-9806-EA4D4644D648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9d8d863addf67f18ba4690b0c90645d9398405","datavalue":{"value":{"entity-type":"item","numeric-id":4940727,"id":"Q4940727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd3fc5c8c4f1e35914078ba9afcbf66b313dd4d","datavalue":{"value":{"amount":"+0.9139394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460036$F11DA809-06B6-45A5-A0B8-9D6DB67057C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b74fe8044f345174f2268dbc9c7d5b76c8eb83","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001f96b09afede504e7da6d6088a0b1a898ceeb3","datavalue":{"value":{"amount":"+0.91180193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460036$63799E77-BBE8-4F27-949E-826B24088F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f7b56b07b5578126334d401b6b190a98bfb769","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68fa0d9896df6a32092daa0b9428ed8cf619e221","datavalue":{"value":{"amount":"+0.9117188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460036$A821C720-8906-4E67-9752-2F0693B30190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a0eafbe4dfa7a08c84b3b2806010939cecc37","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5800b9c53b701c38069ac0e15ab184ad2b0d3c36","datavalue":{"value":{"amount":"+0.9076369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460036$6230F040-E158-469A-B6F8-47D91320917F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0a0ed4675ffa4d7d5b41b3419efa25f310b62d","datavalue":{"value":{"entity-type":"item","numeric-id":4644539,"id":"Q4644539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2090ea0bb4cc4bb19761df1a10333e014b1d5d1b","datavalue":{"value":{"amount":"+0.90699697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460036$ECC33DD9-7219-466B-BF0A-7499F48A7F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fdd13d476600af771b25bcab3f90caf335ff8f","datavalue":{"value":{"entity-type":"item","numeric-id":1740611,"id":"Q1740611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78cea958d2c53b74d718c2171ace1c1fc719285a","datavalue":{"value":{"amount":"+0.90501416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460036$A3DAB2B7-CB09-473D-92B3-E950ECF7345E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94779666401327919bef9bc9bd5f0d9ac0f79bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4424643,"id":"Q4424643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106c233988d10be3b80d367f8d1b935565ebc053","datavalue":{"value":{"amount":"+0.89995545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460036$47CACABD-54B5-4F77-B1AD-DBBA334F9B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78478b8769b76feb7ae990961e17dc2fa8626324","datavalue":{"value":{"entity-type":"item","numeric-id":3510441,"id":"Q3510441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebeb0f5d5c8185cec5c9e3524f7b8150230d60c","datavalue":{"value":{"amount":"+0.8945769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460036$6498BE2C-B7B8-4FDC-A7FD-1C2870FFDE3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Skolemization for Substructural Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Skolemization_for_Substructural_Logics"}}}}}