{"entities":{"Q4993333":{"pageid":7022910,"ns":120,"title":"Item:Q4993333","lastrevid":54021788,"modified":"2026-01-26T02:51:24Z","type":"item","id":"Q4993333","labels":{"en":{"language":"en","value":"Fixed-point constraints for nominal equational unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359403"}},"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":"Q4993333$C55984FF-8792-47B9-AEBE-EC2FE99E5ABD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d0fa7cdbb14e7b598ab171a9bf7896d334bc65a","datavalue":{"value":"1462.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993333$650BA2C4-5E15-4CA8-97B4-C7AEDA9F0A03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$E507ABC7-CF1F-472E-A1E7-63416A3371B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$1F9B53DF-2C31-4A13-AFA5-47622CF1934B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780894b40753623b223e1278bb24d0df726e149","datavalue":{"value":{"entity-type":"item","numeric-id":683745,"id":"Q683745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$6A39D3D8-A51A-4F08-BBA5-D44CBE096729","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993333$DEA9493E-C663-4855-8E84-D18DB2932C6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993333$5D8EA06F-1CB0-4264-8D4F-19C85B6F3DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993333$B4A42296-CB35-4731-B87A-D5DAF87C30C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b14e7023e4fdb8e363b3734c67a5a55df5339009","datavalue":{"value":"7359403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993333$C82CDFB3-188F-4B76-9E67-CC7E57F19DDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f1d7088c7eda844b7c3ca7ec7aae65d08225f2","datavalue":{"value":"nominal terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993333$08E7F196-E5D8-41C0-8477-56C19FB81C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a570a958a0e7bb1426c96b63bf60dcb13ff5b28e","datavalue":{"value":"fixed-point equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993333$BB6E63B6-CE38-4E60-B20C-D4E2384C89F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e3332489c51441a79596b8aa3ff1b6630a2bead","datavalue":{"value":"nominal unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993333$198F102B-8B8E-4BAC-8E6E-5355FAEA2D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993333$A5F8A677-284E-4F14-BA1D-DB0C3C27F223","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":"Q4993333$A186AC48-49E5-4801-8CFF-47F7175656BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b1b831143a55bed4f1ea25b6443d3ba69fc7ba","datavalue":{"value":{"entity-type":"item","numeric-id":1744440,"id":"Q1744440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$3D9DC219-EAF5-494A-812E-CCDA0BEFF800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8e3461de4454837306a3bb6e9e2953bf521871","datavalue":{"value":{"entity-type":"item","numeric-id":2958381,"id":"Q2958381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$493DB3B0-BAE3-4AC1-A0EF-7F540D2EF687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5676b55ec708f7e32bd0e83c7cea03b63cbabf8","datavalue":{"value":{"entity-type":"item","numeric-id":944382,"id":"Q944382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$BFF17AC9-F9DB-4023-9CE4-A532E4046A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242d0bcefc8537fabd0f6215bfcd685ef643b539","datavalue":{"value":{"entity-type":"item","numeric-id":616849,"id":"Q616849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$5AE805BF-0265-48F4-A9DA-3BBE672A018D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461b8596f936b4acd4b9ccaf6444d9340797391","datavalue":{"value":{"entity-type":"item","numeric-id":2373703,"id":"Q2373703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$164D93A4-E432-4D6F-8F20-18676B9B6FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"762b43d948cd82d9f4af52f22f8fa8112e0ca064","datavalue":{"value":{"entity-type":"item","numeric-id":939160,"id":"Q939160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$9BE33D83-D5BD-4238-A1F1-E7642A53F9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$4E13783C-7CDD-4EBF-B8D8-E2F19642185B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$40E7204E-C5C6-4601-9C9E-1DBBC4D3CD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$C5E09AEC-D3D9-4317-AC50-29D96BB6EE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d660d04cf0e542e014993acaa62dc6c15cb746b4","datavalue":{"value":{"entity-type":"item","numeric-id":2409747,"id":"Q2409747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$E831DB95-1D11-4CF9-BCF2-2EEF71643A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993333$AC474B5F-7C62-4184-8809-7ACD4FF0606F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c1e4fa08ba5aa2ed7a5f44f10cc2c4091d21c99","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSCD.2018.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993333$3765AB42-73C5-421F-8AA0-149852C00292","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"985611d4f286a613b0139244e8bef47d4c22d242","datavalue":{"value":"W2886708969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993333$96FEBC23-0663-41FC-910B-FE09200F4068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddf2fc04375582294e0a7c029331ef678a080a3b","datavalue":{"value":{"text":"Fixed-Point Constraints for Nominal Equational Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4993333$99BD65FC-B89E-4FB6-8C49-99A2A81A198C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ea2529cd33e5b44b14576e9ce6313dfcd4a6706","datavalue":{"value":"10.4230/LIPICS.FSCD.2018.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993333$A96467EF-6262-4C14-BB00-203C294480D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313f9a8b492844dd2fb6471886de7fd6e033aa99","datavalue":{"value":{"entity-type":"item","numeric-id":1687556,"id":"Q1687556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133251738733983f990e4c1e87b7050a014c9cbf","datavalue":{"value":{"amount":"+0.8406864404678345","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":"Q4993333$0E19297A-7F82-4FAE-A9AE-DA3E660F618D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff9dc2cdf78c7ac621b84a10918455404fa6c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1671156,"id":"Q1671156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9caefeed42982829b2b5c957275ad344781478b0","datavalue":{"value":{"amount":"+0.8300232291221619","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":"Q4993333$CFC01326-7AAD-454E-BC81-CF10679F6376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb26fd57ba03d1c1cf952580b653de89ed52847","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31072bef71199b840ca117b7248197753ec3f12d","datavalue":{"value":{"amount":"+0.8102788329124451","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":"Q4993333$E1CC7600-5FC8-46BE-8061-E4A1BBE6BE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca82decccf7ff025d61eb1b0750250aeb6181e3","datavalue":{"value":{"entity-type":"item","numeric-id":2219072,"id":"Q2219072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8845805ea70fbacd30f734150f99b8aafff3c34f","datavalue":{"value":{"amount":"+0.8066474795341492","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":"Q4993333$2369A975-B5AC-4587-88BB-2D0DA14F936A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573b75eb45203ed3c3ce40bebf671446845ebab2","datavalue":{"value":{"entity-type":"item","numeric-id":5292662,"id":"Q5292662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79aaeeadfdfce6dcf9b71e8bb92fe1e95210a9d8","datavalue":{"value":{"amount":"+0.8055197596549988","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":"Q4993333$8452E554-DFED-424F-A4A3-0169D505B527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4993333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4993333"}}}}}