{"entities":{"Q2333665":{"pageid":2344408,"ns":120,"title":"Item:Q2333665","lastrevid":53589179,"modified":"2026-01-25T09:26:50Z","type":"item","id":"Q2333665","labels":{"en":{"language":"en","value":"A formalisation of nominal C-matching through unification with protected variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7129337"}},"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":"Q2333665$851ABBBE-373A-443D-823A-647AFCD44A7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8af0d723fdf23b474e146db9a05f07cf6ea3c726","datavalue":{"value":{"text":"A formalisation of nominal C-matching through unification with protected variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2333665$A395DC15-C334-4B31-ABEE-8C0F488E2769","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9546a3cfc0551d7140607c65da18f773ce261f06","datavalue":{"value":"1433.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333665$37A93DAE-52F5-4267-8A3F-BDE7672D7310","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":"Q2333665$8F53287F-D6AD-4B90-9926-CE47001F00B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda36133aaae1ac61193c5edf6c5ce368a5e700b","datavalue":{"value":{"entity-type":"item","numeric-id":1671155,"id":"Q1671155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$E3E38DDE-445B-4E43-B74B-723DA57B0548","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":"Q2333665$56136888-9216-434E-B6DC-04CE51A5F1DD","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":"Q2333665$B7C6F7E1-EF1F-420F-87E2-F162B5A9590E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cce5560f694216ba99b4e4d50a7d9bab949bc76c","datavalue":{"value":{"time":"+2019-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2333665$66DCBD66-43F2-4841-AF93-45FAED1BBB80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333665$99461619-D309-4B4D-A584-B0D5FB6E5B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333665$49855125-75FA-4CAC-B51D-F2F98A06063F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333665$E0D091F3-F20F-4979-B504-A350F748E2A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7eecf4d59fcf7ce80d421b150e591b342de2559","datavalue":{"value":"7129337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333665$1CEFC34B-275B-4795-AF9B-5E7357774A27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e3332489c51441a79596b8aa3ff1b6630a2bead","datavalue":{"value":"nominal unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333665$36F3522E-1762-4178-B2A9-F04BC735F1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"555397a26630803fbcdfc424c0f6e599a1dd0519","datavalue":{"value":"nominal matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333665$76448D4C-B69C-4842-ABEE-161113306CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992eb9741dde7ce58d5e7b98e7cf3e1bb0c4b860","datavalue":{"value":"commutative theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333665$44BEE005-D061-45EB-BBC5-CB4A47CF182B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f459d342ee88b6cf77526baeb4ff5b410924745f","datavalue":{"value":"C-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333665$5636617B-0942-4F65-9D3D-0B77B15EFCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333665$450C3557-EEBA-4290-B874-E7B688E385AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333665$8E4CC141-5B2E-4D50-AABA-5A5E2D5E3136","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$F3A00320-B255-45FA-AECC-E8EBA9171EC0","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":"Q2333665$53FEDD53-1C65-45D5-BB6C-FCD88B51EB61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2b80a9757e17e541fc53cd09939936c15a526c7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2019.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2333665$AB43E0E3-F0F7-49C5-A3E2-B876DD055E2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f29778edf2c99e113a0658fa0f05c4fa2d4e5c5c","datavalue":{"value":"W2969292305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333665$62534B5E-7845-4336-85EB-69D913CF9209","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"57d41fdf3b72628af000739ca5fc623d23a3b401","datavalue":{"value":"Q113317461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333665$EA6C24F8-3B83-4D6F-90FD-CDA268172138","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae73f98004443a1cec304045a8647243605478a","datavalue":{"value":{"entity-type":"item","numeric-id":1687556,"id":"Q1687556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$EABA4E82-FE6B-4EC3-87CE-881794C0336F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b4e395e483dceeb57ff02b4d24a2116d01fac1","datavalue":{"value":{"entity-type":"item","numeric-id":1671156,"id":"Q1671156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$37906E0B-FA83-4F4E-A1E5-C9776225015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55b861e5da5a0b09cfc74cd6df9a847a0d552e8","datavalue":{"value":{"entity-type":"item","numeric-id":2424886,"id":"Q2424886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$B3696965-04C0-4442-A444-BA16DD8EAA02","rank":"normal"},{"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":"Q2333665$C254F077-83CA-4D26-9C7E-A8C3E77EB3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cecf39dbce940c58e40445d47d899d6f66b714","datavalue":{"value":{"entity-type":"item","numeric-id":5369476,"id":"Q5369476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$EAB92F22-768A-4846-92B5-91B17B3F8C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368495d708e46ed6b9c1b81e3c2a3f3d05226a59","datavalue":{"value":{"entity-type":"item","numeric-id":4993333,"id":"Q4993333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$BB32C7EE-DADC-4761-857C-F68CE1A609D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ca8fbf23bb44dcb11d380b98a2e7e3c9a4903b","datavalue":{"value":{"entity-type":"item","numeric-id":1744405,"id":"Q1744405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$CF417035-FEB5-4E82-9C3E-D28D1B24F77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ebe282e06ee5417251ceb207554999700031ba","datavalue":{"value":{"entity-type":"item","numeric-id":581000,"id":"Q581000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$0BF85FD2-76B8-4764-874F-8AAB016DBA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc97f546228c5c4ad050bfe934a2da9822d01f2","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$C00284F0-4621-4539-A2FD-9BBE049B32DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$0C98CAA9-FF96-440B-B89B-616D32451D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e98da4cc322303f3ab6649affe9b10cd075cb52","datavalue":{"value":{"entity-type":"item","numeric-id":3003496,"id":"Q3003496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$9C04985B-7984-467D-B1A7-7CAB0BDCDA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5dc32522e0062cccf7ff7280961b0c091134e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5901563,"id":"Q5901563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$35514845-54D9-4DB6-AC7E-655E12DD5AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271f4a7c2003a89ce24a1f14fd1296133af596ac","datavalue":{"value":{"entity-type":"item","numeric-id":1099648,"id":"Q1099648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$73708C3A-A289-4C11-BBC2-313252AD655B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32eeb969eda472fde77b77bf83c3f4e02690290","datavalue":{"value":{"entity-type":"item","numeric-id":3785940,"id":"Q3785940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$FD8FA28E-5576-4EC8-BF9B-A82D15A0D861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7713c35daf14caad287bcaf5c27b62f2fc020429","datavalue":{"value":{"entity-type":"item","numeric-id":3030252,"id":"Q3030252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$6C98EF16-8930-4135-853B-2E5FB604E5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c99fa0a7e611b596ab488618416f0f46dc94a1e","datavalue":{"value":{"entity-type":"item","numeric-id":688565,"id":"Q688565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$BFD14266-6B9F-44AC-B350-B0C2B27AB1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9a9c0b836dd52deb4af6247573462295b48a90","datavalue":{"value":{"entity-type":"item","numeric-id":5389146,"id":"Q5389146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$038DBA33-7A26-41DE-8787-5340CCEE524D","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":"Q2333665$6732CA7B-F201-4D15-8B59-188EC06286DF","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":"Q2333665$E70C9F45-128C-4FBB-AB49-8947D58C2E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b032d4c7611825b4821687076e447e12a3226844","datavalue":{"value":{"entity-type":"item","numeric-id":3883563,"id":"Q3883563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$FCDEF3A3-DA12-4F3F-A114-9894CBBCDFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333665$D9E4B5D3-9C2A-409F-B773-26ADC68E7C81","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":"Q2333665$8E84C825-48ED-46AA-B6BA-A057468E3CDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d37717a22c5835a480ea43d2bd43c398c48a542a","datavalue":{"value":"10.1016/J.ENTCS.2019.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333665$7E284D9E-2460-4B56-9270-E4B577CFF094","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64289127ab726507955f1e00fc990d4f68b83371","datavalue":{"value":{"entity-type":"item","numeric-id":5022930,"id":"Q5022930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d003bf436c44e034b7903041c88eb35fe46c5a9","datavalue":{"value":{"amount":"+0.9485408067703248","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":"Q2333665$F461B0E9-D33D-4317-B9DB-CB652AC36E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4187ee91ab73d92ef054e5f8b8c4007820f1e84","datavalue":{"value":{"entity-type":"item","numeric-id":5097631,"id":"Q5097631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7133cc9499c4f1e3c8a746866318857c1dfc9d52","datavalue":{"value":{"amount":"+0.7974810004234314","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":"Q2333665$D856295F-3A14-4D4D-A717-949E52F94B19","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":"d32c74c8b27403cf05f03c20457ae5d742d642db","datavalue":{"value":{"amount":"+0.7924902439117432","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":"Q2333665$D8B7C081-F6A7-4867-8DC4-3A92A9BEA96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34e14619f38719bf68c175c70e3b725673e65c8","datavalue":{"value":{"entity-type":"item","numeric-id":2867897,"id":"Q2867897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c623f54acece1c79a7b6b12d89313873f2a44601","datavalue":{"value":{"amount":"+0.7585614919662476","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":"Q2333665$F52FEC0E-5F38-4969-8CEE-C4304212E2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7532c6e676fa53537b370a06409ce75cff320fdc","datavalue":{"value":{"entity-type":"item","numeric-id":5389146,"id":"Q5389146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948a3d0794810405f8b408fd87dc20fd16b5824c","datavalue":{"value":{"amount":"+0.7419161200523376","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":"Q2333665$89EE86AC-9D00-4231-BD6C-367D39878711","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2333665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2333665"}}}}}