{"entities":{"Q4925166":{"pageid":6954748,"ns":120,"title":"Item:Q4925166","lastrevid":51739343,"modified":"2026-01-19T18:51:53Z","type":"item","id":"Q4925166","labels":{"en":{"language":"en","value":"Writing out unifiers for formulas with coefficients in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6174089"}},"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":"Q4925166$9079D5EE-A3BD-4042-A1C0-8D22978C847B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2276b997981d392f4c6adca6e67ef5feae4a8363","datavalue":{"value":{"text":"Writing out unifiers for formulas with coefficients in intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4925166$581C5AB3-28F9-4D56-8A5C-4B5FDF35D9D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12934fb7b8e6de3d7138a70efedfe6d3eecf36cf","datavalue":{"value":"1277.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925166$ED55D296-A323-4CC0-ABA8-DF679F00F588","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f1333f5ea32121d60563094ddcc091f8ab3e533","datavalue":{"value":{"time":"+2013-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4925166$BD87F87A-5F4E-4883-9A27-D8065D08EEC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925166$4C78EA26-DCE5-48B9-B001-6A6CB95CBF2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3afd5ae866ca2bb5c96bca6b92c3999d2be08a0","datavalue":{"value":"6174089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925166$4D047C7A-D9D8-4AE1-83CE-4D31780F3F1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925166$A84AD6BD-994E-439C-AE9E-C142852A4B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925166$7F78C7B0-8884-4EA1-9DF3-B18265096BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0044f307b4495a01df965d95d13d05a96008b9b7","datavalue":{"value":"complete set of unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925166$8EAF591A-3F65-4077-8830-47D3B2F8B9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925166$6724EE7E-3ACC-4CDA-B5E1-9169E864A927","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925166$98297A4F-58B1-4583-BDE4-15B7EB1BB916","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":"Q4925166$92B4FF1F-69CB-42BD-94C4-556354833F4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e06b0e914794f1819f431654e5820f4cab289033","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzs015","type":"string"},"datatype":"url"},"type":"statement","id":"Q4925166$73B8F2C7-C7CE-4EF1-BEDB-D1E6B9823FA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"392478711c7c970fc12e27965f92f7c1dd64436a","datavalue":{"value":"W2045570821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925166$76CB3958-69BE-43D4-8388-419F70BF46EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba917b920f7a0db3a74390a646a9ce75536ca6d4","datavalue":{"value":"10.1093/JIGPAL/JZS015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925166$231F18DD-3040-45F6-BACA-29266F73952A","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":"Q4925166$5DA9131F-DC17-49DF-A694-1FD03AE0FB56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec0cd273e99d84c7c64b4c8bcc7d82a1769d707c","datavalue":{"value":{"entity-type":"item","numeric-id":4925168,"id":"Q4925168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e73f7acdf94d476e9de4834ed8b30ba36ed0cb2","datavalue":{"value":{"amount":"+0.8235170245170593","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":"Q4925166$A7AAD793-CD33-4969-9FDC-47B66D8A9567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8598c1d3d6fe622d35edc0590a87c9b5ccdbc93","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c74d2c7f51880f5a2280091c315436204502acb","datavalue":{"value":{"amount":"+0.7866122722625732","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":"Q4925166$8BA71332-8B09-487E-8673-2929F68DE3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7db1b918008c293a5e360fa54f09bb24147cc28","datavalue":{"value":{"entity-type":"item","numeric-id":3450801,"id":"Q3450801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a817191871d43e59959b56a61f4245077bbdc666","datavalue":{"value":{"amount":"+0.7863203883171082","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":"Q4925166$BD730FE3-1B73-429D-9478-032903B26B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc51644c38bff7f7d8984a1dd3c5bdad494ff0db","datavalue":{"value":{"entity-type":"item","numeric-id":3518429,"id":"Q3518429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62459aa1c74215d70777947757bad6bb683ac97","datavalue":{"value":{"amount":"+0.7537117004394531","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":"Q4925166$10E1BCB2-13AE-4775-A6A7-2A968826B306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e77488ebef30ac5cb59742efd790fcca0fd3755","datavalue":{"value":{"entity-type":"item","numeric-id":892014,"id":"Q892014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed987ed701132d1182788475418ce7a6c9bbd969","datavalue":{"value":{"amount":"+0.7493611574172974","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":"Q4925166$1168C041-5C3D-4144-BDB9-C0A6774F8E75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4925166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4925166"}}}}}