{"entities":{"Q3167012":{"pageid":3177722,"ns":120,"title":"Item:Q3167012","lastrevid":51586823,"modified":"2026-01-18T22:27:52Z","type":"item","id":"Q3167012","labels":{"en":{"language":"en","value":"Nominal completion for rewrite systems with binders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6101146"}},"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":"Q3167012$6A7D4E86-9393-40C8-8FAA-FD4AD0CAAB18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebfe7cfe7f00d0852667baf88b6e08ba2d561855","datavalue":{"value":{"text":"Nominal Completion for Rewrite Systems with Binders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3167012$A92F8F76-FC8C-488A-95DD-BEF770EE3288","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a194aec8b21d22c7067806b18314b085639f867","datavalue":{"value":"1367.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167012$6A16609D-B92B-4A2C-A56B-0103A889329A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ffd5a465cca38acb7e287ee2d4e4a9f9749dde5","datavalue":{"value":"10.1007/978-3-642-31585-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167012$4757757F-5E93-4DAB-9423-30752F8ED30D","rank":"normal"}],"P16":[{"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":"Q3167012$E5DB5560-EEA5-4F9D-ADD1-D0E2DCFDE522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167012$59908223-9047-441C-A19A-383B978FC5EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167012$281B74B2-EAF1-4E8E-959C-289DC3D94360","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df6cbd049611c29872719c16270d47690fbfe6cd","datavalue":{"value":{"time":"+2012-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3167012$05A7DFEE-CC47-4442-85CA-674A615A41B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167012$3E219F90-5A96-41E7-8112-D85F6149C0FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"340b1d508fdc6f0b85e8c2c9543ba321773e2b64","datavalue":{"value":"6101146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167012$38522459-505B-4309-8469-0C8CEB30E534","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbf696ef5d13344e8ef71c4c25913319b16179e","datavalue":{"value":"nominal syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3167012$8A0CCDED-BB1B-4924-A83F-86418B1D1BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3167012$EEB67FFF-2E36-4C7A-91AB-299E62816FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c55aaa92cb4d7883b510c8490c97c8b2db3cdf84","datavalue":{"value":"orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3167012$180EEB25-0A97-4CF4-8606-8C0A1BF9011E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3167012$E2FFA8C5-0B07-4A9C-99B5-CFC4C34BBD62","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":"Q3167012$2CA60972-C0FD-4C07-A80E-7B874C04EFD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b912d4f23ffe933c50a04092824f10000287f235","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31585-5_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3167012$67C082E9-999D-4687-81AA-D99E1C570B2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecf4cee56e04ec0e939cce9ec31d93237772d3d8","datavalue":{"value":"W1796293478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167012$436C84FF-F58C-4FA1-83EF-04FDDDF385F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d38495affb6d53d7bfe840b8ed22996c4414e1","datavalue":{"value":{"entity-type":"item","numeric-id":2373703,"id":"Q2373703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224507739d8c5f8428346b2858a526b6b6b1b9fe","datavalue":{"value":{"amount":"+0.8103067278862","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":"Q3167012$C51A9BBE-F29E-49DD-B9E5-5D3DE3B6FBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3867d8d40b930ce835853e53e084e5ba44c07f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5277887,"id":"Q5277887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e2a56a67736f2a53476cc18b44129efda1508b","datavalue":{"value":{"amount":"+0.8012799024581909","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":"Q3167012$86364D82-6A01-481E-BD77-EC54BA0478AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915a500c0fbe67d3dde29f15c3da411d54816c01","datavalue":{"value":{"entity-type":"item","numeric-id":4993362,"id":"Q4993362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f576aa8cb0af33c3b76eaa3df1e3aab310314d7","datavalue":{"value":{"amount":"+0.7714845538139343","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":"Q3167012$01503635-73CB-459C-9EA3-38E06EC0225E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c943ceb1cc48b7d4c2ec74335257655bda41604","datavalue":{"value":{"entity-type":"item","numeric-id":5139280,"id":"Q5139280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8161ba312288979766693162443cb851c6b3b898","datavalue":{"value":{"amount":"+0.769939661026001","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":"Q3167012$65B08EF0-DCA5-4493-A009-19EE3C3A899D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6ae6469855a34c7b305095e9b798b0ae14e1eb","datavalue":{"value":{"entity-type":"item","numeric-id":1744405,"id":"Q1744405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7459b563781175f82545795ea8a76ea9f3ce2440","datavalue":{"value":{"amount":"+0.7615519165992737","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":"Q3167012$D6093278-2D08-4048-A4F8-4FC3F8F21907","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3167012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3167012"}}}}}