{"entities":{"Q5311759":{"pageid":7341333,"ns":120,"title":"Item:Q5311759","lastrevid":41859324,"modified":"2025-05-09T03:47:02Z","type":"item","id":"Q5311759","labels":{"en":{"language":"en","value":"Filtering unification and most general unifiers in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199964"}},"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":"Q5311759$6FF024D8-A545-4251-9E8F-25E9C58F82E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"788ef522043896b3bb1faf00d18fbee32829bc41","datavalue":{"value":{"text":"Filtering unification and most general unifiers in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311759$A25AAE01-CDE8-42A7-9D72-5AA7DA2671F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9da568fd40acfec59d71db2d721fec52def4d683","datavalue":{"value":"1069.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311759$87B26D31-2730-4590-B390-1F7207EA48D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$3B7D896E-50FA-4515-AE7C-415A2F76C013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77cf98fac63c3c6c906207a16892916922f8f929","datavalue":{"value":{"entity-type":"item","numeric-id":1409306,"id":"Q1409306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$6FDFD786-5211-41F5-AEB9-3588C8076B45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$C29E320A-F45F-4EED-B4B2-F8D7A2682B46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311759$6B27DE35-5BD0-4EAE-B422-F12CCA5BD53B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311759$795A57D1-BD30-4288-98DD-4F9A004CBBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311759$C8D1582B-15C3-4D97-9C47-D8134BB1BAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311759$6C2A1AAE-C143-4779-A7D7-58BDD8608AF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3add0c8ed69fc7d64304b42858c617212e87d169","datavalue":{"value":"2199964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311759$ACCAAA73-B3E4-4F71-ACBE-D2ED0DC00C96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311759$B7F75FFE-6126-43D0-BE18-D89053B027AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcf84584bad3fe3604d99501f4fec1b7404f6c2","datavalue":{"value":"E-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311759$1A136127-38FF-48ED-BF07-97A4ECF05B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6d9aeb5435381fedc5cffa64b19a2d602a7fa25","datavalue":{"value":"descriptive frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311759$7E8117C9-AF4C-4B8A-8507-B34E26238ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8073da7ad93e36a050b12bf32fd3cc35ca26c819","datavalue":{"value":"projective algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311759$87FB330E-5159-437E-B90B-9D73D4815593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10bfe1f6b60023d5df8de59d39596ef4c7832263","datavalue":{"value":"filtering unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311759$47C41733-171F-44DB-9EE6-35E36F73DC46","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":"Q5311759$51C487E5-EF51-4DE5-8A82-8E966784433E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f02326482e43596d7429c248827ecd50e6a7f31","datavalue":{"value":"https://doi.org/10.2178/jsl/1096901773","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311759$346E151F-07FE-4E10-8905-4A89A5A811CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed176748f570f0104153428b4ae0fa7403640da6","datavalue":{"value":"W2171818600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311759$A699C1E7-EAB0-488A-8316-076DE56F5106","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$7168400B-7378-46C9-B3D2-A816D115F755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$E7F744FD-3799-4FE9-AFD8-51F14774FF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$5D89FF61-F839-4F1F-9A00-4BDCD080F92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298a25e3222cc80aaacaa2d4e5db311a67b52dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1919702,"id":"Q1919702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$A6944BD3-CE57-46AE-896E-B70A5071CA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092d62405ccf45cfd5cf25dd4a0bc605b3b3cd7e","datavalue":{"value":{"entity-type":"item","numeric-id":5929707,"id":"Q5929707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$704942FF-29C3-40D3-B98D-E1BA2E90BB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b04fb532b079e38fd281de5d93c0ac94f6d64","datavalue":{"value":{"entity-type":"item","numeric-id":582071,"id":"Q582071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$6CC8E7E0-EC44-4396-908D-2ABDDC72D25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91dd72da9b1cabb581c68cfd54aeac6803a5c3a1","datavalue":{"value":{"entity-type":"item","numeric-id":598304,"id":"Q598304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$A0056D10-1221-4C84-941F-05A503DEF101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$5FAC6161-91D0-4DEA-8E2B-BF2DC6C1E35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$EE1B7A7B-1643-480D-926A-9AB432CEFCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6882f0ed7644de06377e4e2ae2e5b66a685b7036","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$60871F9D-C0B4-4D2A-AAD6-59994FFFAF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$36ED760F-537C-4C18-A273-284A1C7CD908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$B437AB84-DE11-49E0-B2C8-D2C870F5B7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311759$890BE6C2-7897-48D4-9759-EC1F13892B0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2865d7c4781fc998c57c02812fb0cb607f26e73","datavalue":{"value":"10.2178/JSL/1096901773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311759$F6919BE7-3FF1-41D1-A19B-19F717C9C472","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cacd15cfe6c324c6bbc7275ebf6f7cf884a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":2284172,"id":"Q2284172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4caeea64bb1b36a474fac08b4dc23e94f8d334ee","datavalue":{"value":{"amount":"+0.92664236","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":"Q5311759$E210CCDB-65B4-4FB0-A9D6-BB3657FD32CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccc9f89cc1c0388ec252c1099066ad638eb9d56","datavalue":{"value":{"entity-type":"item","numeric-id":3642988,"id":"Q3642988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3099988580e019f22a96136eff3907b8e71da40e","datavalue":{"value":{"amount":"+0.92055094","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":"Q5311759$3159E5E7-0A75-4F53-A783-25A020C6E05F","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":"f3857a1b22df6313c79b9428eb03a3cba39ec8e9","datavalue":{"value":{"amount":"+0.9125659","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":"Q5311759$24F81426-D0F6-4DBA-9358-C00302A6081A","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":"63dd194a90ebebfe16b86bf55fb1474ba0c6c2db","datavalue":{"value":{"amount":"+0.90838224","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":"Q5311759$658DBC6B-63EB-4CE1-A2A3-8F5B2D90F782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac9c4607522ca38e77ed0eebfd588157d343558","datavalue":{"value":{"entity-type":"item","numeric-id":2889571,"id":"Q2889571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59960435decceb954bfd0bdfa63d5511079cbe43","datavalue":{"value":{"amount":"+0.90736735","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":"Q5311759$A2B6519C-534C-4678-87AC-66BBDCC71317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fadb2225e40dfb9ef13e16f63f15d23ce6ca7eb","datavalue":{"value":{"entity-type":"item","numeric-id":812104,"id":"Q812104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db08494696961ba4cf7c68c860593b360b997b2","datavalue":{"value":{"amount":"+0.90476704","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":"Q5311759$0E761C6A-1506-4BAF-A533-30F14395A489","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":"6d06e430c879c1b6aca47494b275920860e002b8","datavalue":{"value":{"amount":"+0.90474224","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":"Q5311759$C42E33C0-311E-4460-BCE6-F1586E667288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ecb7a899b96ef21da6a9e0403eb54bf8af5f1b6","datavalue":{"value":{"entity-type":"item","numeric-id":5039110,"id":"Q5039110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d399b184e9095887102bda3427b35a8d338794b7","datavalue":{"value":{"amount":"+0.90456104","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":"Q5311759$5184BD56-2397-4847-A1F5-14C3797B4428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe64c7d28921d914a138df8135fcc3a1b3e2f145","datavalue":{"value":{"entity-type":"item","numeric-id":4489067,"id":"Q4489067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a4a4e624d3e37c47d5b05eba37966c45d885d1","datavalue":{"value":{"amount":"+0.9037788","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":"Q5311759$6E7C8F13-B340-432C-B21B-C7BBFB68085D","rank":"normal"},{"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":"ccf0385f8f31b2a49f13d647583fee065428d13a","datavalue":{"value":{"amount":"+0.90032864","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":"Q5311759$0C402FBE-146F-476E-BAC1-E00649A4F185","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311759"}}}}}