{"entities":{"Q1744405":{"pageid":1755147,"ns":120,"title":"Item:Q1744405","lastrevid":55971379,"modified":"2026-02-21T15:35:34Z","type":"item","id":"Q1744405","labels":{"en":{"language":"en","value":"Completeness in PVS of a nominal unification algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862942"}},"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":"Q1744405$7ED17F40-F5BF-4D29-9F23-6CD9360D6673","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d8f7eac57f2611c49502b967287ea813d93517d","datavalue":{"value":{"text":"Completeness in PVS of a nominal unification algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744405$88D3366E-0606-4A1C-AD57-FFAE80B01D93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4c988e5e5c98d802e72d126121a273286ef17a6","datavalue":{"value":"1394.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744405$9CBA3D57-7E19-4727-BD0A-6DF2BEA4B448","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":"Q1744405$6D3F7C19-369F-4B93-B061-147EEDEBFE90","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":"Q1744405$53358C9F-C897-45E9-8262-B531E7046F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a635bf453ffc2fc6eaebe0062946ce4c119da6f","datavalue":{"value":{"entity-type":"item","numeric-id":1643143,"id":"Q1643143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$4548C450-36F5-4CAB-BDC4-036E4777B8A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744405$67CCFD70-0A20-42F9-83DF-9A3EA8B428AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744405$2223121B-496C-43D1-8FA6-8C9872392407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744405$62D61B5F-9569-49A0-B7EC-9E5E890688BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744405$2ADFC3B8-A8ED-400A-B948-97B61F398743","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e8911d8876d2dbf90bb0b40dc79b48b3da30905","datavalue":{"value":"6862942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744405$104E9AF2-F4FF-4058-818A-96BA4389FC4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f1d7088c7eda844b7c3ca7ec7aae65d08225f2","datavalue":{"value":"nominal terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744405$22E8B86E-10F9-4164-B1BE-EFB39B4FA724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1076d7aaede6ca2cd144bb11a6f7107114a777bb","datavalue":{"value":"binders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744405$2A97398D-CD10-4AF6-885E-C5848F9F42C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7a95cd9d37c827953764054721de832aacff0e","datavalue":{"value":"\\(\\alpha\\)-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744405$D50A98A4-E347-454C-8A3F-E45EE2227827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e3332489c51441a79596b8aa3ff1b6630a2bead","datavalue":{"value":"nominal unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744405$376C0A1E-0778-47AD-B2C5-664F8D2030AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744405$A6F0F65D-DB12-4258-9B73-A3ADC72B1A1E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4a1be2089ab18630ab0a75489113f63a16c3c747","datavalue":{"value":"Q113317684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744405$D8C924DD-D184-44DC-A5E3-369919F537B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$F32BAC23-BC72-4DB7-9DE8-0402BFBDF24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$7F898C68-E7C2-452D-8AA9-E12FCFACB082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$2974AC2D-48EB-44E3-BC7B-81392D2918C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$957E6FB9-5B1E-4DCE-9DAA-93D4FC56D48B","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":"Q1744405$19B76583-E797-497F-A970-06EAECD3B3DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"741b4c3b985d748e4e019a77123a8947cf4c0ddd","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.06.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744405$A4E83936-C833-4B29-87AB-82D49AB72AA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e185cafcd685d2ede71009b3a1379e42e52608c0","datavalue":{"value":"W2472676800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744405$00234B29-E30C-44E1-9A56-9B083161895D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3a7c1faf671a42f888a143ca6d231a4f3b4f0a","datavalue":{"value":{"entity-type":"item","numeric-id":2871861,"id":"Q2871861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$5D368DC6-0F3D-4CA9-93B6-2CBCA9AEA608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0281e8b868ad82c9d773ddbaa89de3a885d8797b","datavalue":{"value":{"entity-type":"item","numeric-id":4644611,"id":"Q4644611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$500DD56D-188E-4ECB-9532-155930724DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15019ccb1391ca723bb4cc5baf2d1998f1ea3274","datavalue":{"value":{"entity-type":"item","numeric-id":2743636,"id":"Q2743636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$A5AF2823-5D4E-4532-BA51-05F092996442","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":"Q1744405$5F9F9928-CD28-451E-99C1-13E1FCABDFC6","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":"Q1744405$4897BFF0-34D0-42C4-B39F-7C71495984AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3076208b8de5eedba5bf3c5630e9f93138d06f","datavalue":{"value":{"entity-type":"item","numeric-id":636273,"id":"Q636273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$D6CA32AE-3F70-468E-B60F-CDE6C234E29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5927659804eca2a32583cb94f8cceb03b87d2078","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$B5175C56-C881-400A-8F3F-78CCCAD318A2","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":"Q1744405$991A9DE8-80F3-4474-A4C7-16D93283FC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f090f8c3a43f256aeb3916f59123f32cf6cdcd","datavalue":{"value":{"entity-type":"item","numeric-id":3167012,"id":"Q3167012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$0EE14646-80FC-4CDA-B11E-602279BF54C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f483c46e6b48f3c01c32e727f751d0321e93cc8","datavalue":{"value":{"entity-type":"item","numeric-id":616850,"id":"Q616850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$8FB71004-8626-4B84-8D6E-21E40F45371E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$1E01D96F-6FA4-4158-82AA-E04EFB25A4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b18f9bdbc78d3b714191d0769b308a9a6419132","datavalue":{"value":{"entity-type":"item","numeric-id":5747641,"id":"Q5747641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$5A45D2DD-A3D0-4FE9-9D64-7D4AE708C1CD","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":"Q1744405$B31CC5C9-8053-494D-9A9A-2D3B050C6680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b038fd1cd96d2d0b93f00fc07b837c0892dc7","datavalue":{"value":{"entity-type":"item","numeric-id":1060023,"id":"Q1060023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$DD4682DF-0196-4011-A847-4DA271F163F6","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":"Q1744405$CAE99653-8BC8-4158-8336-A8741ECB1FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744405$4F3FE994-6F7D-4248-86A8-F80F41D699CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3851b16ae3f879b43cd506cf0bc195068f01e496","datavalue":{"value":"10.1016/J.ENTCS.2016.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744405$641F1B30-57B4-4FD7-A756-1F48843D9834","rank":"normal"}],"P1643":[{"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":"6a8cb9b17819ff270e1b86e322b96b5a99d9dcf1","datavalue":{"value":{"amount":"+0.8584144711494446","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":"Q1744405$29D15F8D-D805-41E1-AB4A-DCACDACC1A87","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":"464d821ffc49bb7809024f6760b7b3d41c278940","datavalue":{"value":{"amount":"+0.8163847327232361","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":"Q1744405$DC9607BA-55A5-4789-B91A-2DD84AA97C86","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":"1e72bcf51834d1f7474a20ef08a1b8cfc992b5c7","datavalue":{"value":{"amount":"+0.7874355912208557","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":"Q1744405$C088A069-6EA9-4C63-941A-8C9D3234A458","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":"7398909ee22aebf7a5cfda4d7b5a6b37c8ebbc1e","datavalue":{"value":{"amount":"+0.7853782176971436","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":"Q1744405$D344EF01-1640-42E4-A4BD-B2D9B088343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60202256e215ee1dd4ef499b809ea083890f1cb1","datavalue":{"value":{"entity-type":"item","numeric-id":1640638,"id":"Q1640638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1c84e42c7ed8b0092b2506e7bf4acd8f6d0b81","datavalue":{"value":{"amount":"+0.7842431664466858","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":"Q1744405$1BAFCB6C-B66E-43F2-B1A4-CE47C21C867F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744405"}}}}}