{"entities":{"Q4925168":{"pageid":6954750,"ns":120,"title":"Item:Q4925168","lastrevid":41125012,"modified":"2025-04-18T09:47:36Z","type":"item","id":"Q4925168","labels":{"en":{"language":"en","value":"Unifiers in transitive modal logics for formulas with coefficients (meta-variables)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6174091"}},"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":"Q4925168$409518C7-D7F9-493D-9E9F-01B09768FE3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a0ef278cb6e605b43aa7551a3737dec487cac4a","datavalue":{"value":{"text":"Unifiers in transitive modal logics for formulas with coefficients (meta-variables)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4925168$E6B22AED-D4B4-4979-9C81-1CDF3EE1EF17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f52c69305241818b0734361e06a45ea27a7a381a","datavalue":{"value":"1278.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925168$8CDF3DDB-B20B-4F74-9AFE-34CC5520B5AF","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":"Q4925168$E232EEE3-0752-4E58-95F7-B9C216B59328","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925168$5DEDACD9-28DF-4AEF-8306-0A37852C8C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925168$557B673E-F6BC-4E29-A5E5-E2B6E92B1301","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30a0cacc8d7b1cc12d085b68558973899e888411","datavalue":{"value":"6174091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925168$16EF0244-231A-4CD8-8BC7-7D7F90E51667","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925168$C70154EE-403D-4E56-9D09-0D4431C8F22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925168$5C466371-E9AF-4D73-9B5F-AABBCA212FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4e6ec29b8f7b2c28a3e0de1972482c846ebb7b","datavalue":{"value":"most general unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925168$59F3F4A2-9235-42E8-8D81-E36824658240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e4f8fd141ca622d8498a4a90d3b73459c77b4e9","datavalue":{"value":"best unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925168$9F879C66-99C2-4812-86BC-4CECD382D59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925168$58B24C9A-FB6F-4DDB-852C-953017D71858","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":"Q4925168$9A4DE0F8-D19A-4E6F-AB95-A7C7F117E78C","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":"Q4925168$E9C1B1D4-B425-4D59-9350-B5275FED9506","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"946909e57453611ff7b4f2215826cf1a51d8cf1c","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzs038","type":"string"},"datatype":"url"},"type":"statement","id":"Q4925168$2C9ADC74-D751-4A5A-9E82-DC0C80E498EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca821e6ba5b25f01e4d6f030a975f874e31b3b32","datavalue":{"value":"W2074068414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925168$46E330A4-777A-4290-8093-66A64C5A4EAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"280cdd2fc9e82f1f611a359211f3b61dd0cfeffc","datavalue":{"value":"10.1093/JIGPAL/JZS038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925168$8F2663B4-3B48-4EEB-98FD-A3AAC65EA552","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b390caa1451819514972cbaa626989029b59c93","datavalue":{"value":{"entity-type":"item","numeric-id":647403,"id":"Q647403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25564a7519fc37c60c92f68895d0ef74a557b336","datavalue":{"value":{"amount":"+0.8983118","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":"Q4925168$CD790453-B447-4792-B7B3-8BDF1AFBFADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cedaee3e02003c6829d3041983a6d6d4df58f8","datavalue":{"value":{"entity-type":"item","numeric-id":5460166,"id":"Q5460166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eaaa81a1dd8a856d910f55244707fa988589195","datavalue":{"value":{"amount":"+0.89439785","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":"Q4925168$C96FAB32-C302-4363-8C72-414D6EC6FBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd1a4eeb9530d5314245e573c047ab107719def","datavalue":{"value":{"entity-type":"item","numeric-id":286704,"id":"Q286704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2f6917bed39d8b059118d85b689b0ce3999dc5","datavalue":{"value":{"amount":"+0.89356184","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":"Q4925168$22B59868-E0D4-4CBE-9D1F-B3CC851357E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9233249eac8623912147e1042b002aed5412ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5241924,"id":"Q5241924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fe70cf59a80fde2c12b91f66f6593947dd7c3c","datavalue":{"value":{"amount":"+0.8926766","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":"Q4925168$E3E6202B-B656-4373-A1EE-42852773F0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4436c6e06aca72863fd981766dd1bfd55a68850a","datavalue":{"value":{"entity-type":"item","numeric-id":4925166,"id":"Q4925166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37e6aeffcd5b7d526cf73194007791d0be54f978","datavalue":{"value":{"amount":"+0.8822793","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":"Q4925168$68546C25-031C-4063-8B99-B8C34B03DE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27c622d5b0dee269111d27fe7dd98753d44b672","datavalue":{"value":{"entity-type":"item","numeric-id":5095652,"id":"Q5095652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bec1c4fd83f7fb87fb6c579d33982923754b5e1","datavalue":{"value":{"amount":"+0.88151276","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":"Q4925168$DC63773D-28F3-4768-BE31-BCDA32CF3109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455a63145d5447b7fbc06be23737e53a9a8b3ce3","datavalue":{"value":{"entity-type":"item","numeric-id":4636029,"id":"Q4636029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27887b183bbf07f17de67c1948dc563efc55ec54","datavalue":{"value":{"amount":"+0.8766046","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":"Q4925168$A3147777-4AF5-4C0A-B62E-338522454ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8456ba10c281a1376d45473d4146ea33f11701b4","datavalue":{"value":{"entity-type":"item","numeric-id":5311759,"id":"Q5311759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b948eb3de25331bc099bfe9886f1b8b2731be6b7","datavalue":{"value":{"amount":"+0.8700379","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":"Q4925168$88E2F8F7-24B9-41E6-A762-AC0569634AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5ccf9167a3b69b4b9c7bc56a8345a9d325cfad","datavalue":{"value":{"entity-type":"item","numeric-id":4580217,"id":"Q4580217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b8aa86655371dc669a888190d6bc839beea440","datavalue":{"value":{"amount":"+0.8699902","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":"Q4925168$2F48D248-2D90-4BCA-A688-5CD93D738F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd548ef2c69da76c7d10775ad9eb623a894ed212","datavalue":{"value":{"entity-type":"item","numeric-id":4443406,"id":"Q4443406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48682578e6730032f96d78c88ab1b4b27c3d4c8a","datavalue":{"value":{"amount":"+0.8674426","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":"Q4925168$4F250594-8792-4AE3-B08C-5E95CBE2D129","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":"Q4925168$6E2331FF-DC79-40E6-9B37-71A3753004E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4925168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4925168"}}}}}