{"entities":{"Q5111315":{"pageid":7140889,"ns":120,"title":"Item:Q5111315","lastrevid":46185331,"modified":"2025-12-24T00:10:43Z","type":"item","id":"Q5111315","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204438"}},"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":"Q5111315$83DBDE89-5867-4D24-87F9-A294EC88EDBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37385392163cdba1d0f9545b7641de9f9501df0f","datavalue":{"value":"1441.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111315$AA990976-A35E-4D00-82D7-822194AC358F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbf80f7e67c864eea20bacda65f1ad6545214beb","datavalue":{"value":{"entity-type":"item","numeric-id":352957,"id":"Q352957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$A9A554F2-1C44-424F-A967-E6FFF134863A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$C58D1B73-20C6-4887-82B6-C7C3751B1C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0653fc883593f9e70c5ddda3d1f1f752c0d0ffca","datavalue":{"value":{"entity-type":"item","numeric-id":530846,"id":"Q530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$D50EF1BC-2B65-412F-B0C1-14203DC4C93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$942DE1F1-ADDC-4BC0-A90A-FEAD8B9797ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111315$B8BA9049-2B32-4694-8E8F-B051CCD9845F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111315$04BD6267-939D-42D6-B59D-11342CFC3BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111315$B777DD84-D248-4D46-AE34-04F332ED2ED9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9d121124e5edf8c086ede54cfbc97b140136ae2","datavalue":{"value":"7204438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111315$7168D44D-E767-4FF3-BD4D-A205F0FD5D8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111315$E8BB44C9-7120-4C16-98F4-CE08E42FC565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bc16f42ad6a443e8efcdf7e1c12a87ea65c58e8","datavalue":{"value":"abstract completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111315$563109A1-DBA8-4E0C-AF49-38502CEBA542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cab3df0c09899025979a15e321ca181e11be214","datavalue":{"value":"ordered completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111315$C58B0949-FF52-4FE9-8C63-8D9A6837E131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111315$DB6305FF-76B7-4BF0-908E-895DC7E52B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111315$8893080A-D633-4703-A071-E3240638DFCD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$DC945289-8361-4A2E-BCA2-CC2D8318827A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$FD700186-537C-46DB-B182-7BDC4E79DD62","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":"Q5111315$D904E51D-5EC0-43D0-9E73-750F7908B406","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":"Q5111315$B610E00B-400A-422E-A400-75529EF62042","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$DFA3FFD3-E393-4720-9101-D24D7670B424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$91A53B96-B41F-4026-9FF2-DD18D51F2F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$BE42D5C1-4F90-416D-AF18-39F5FE58CF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"724826edba0c6096cbc688e7720a0c869c36d08a","datavalue":{"value":{"entity-type":"item","numeric-id":5938545,"id":"Q5938545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$353A3494-108B-4F71-9755-C6B064E36618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50218b590a67612dc4d37376edc843b8eff24d94","datavalue":{"value":{"entity-type":"item","numeric-id":5941203,"id":"Q5941203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$40DB8698-97F4-4178-BB73-7EB4E147446D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b60b2d2dd5b5e0db22182a52d93a18050d57ae9","datavalue":{"value":{"entity-type":"item","numeric-id":2879259,"id":"Q2879259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$ECB35434-AAE4-4392-81F4-70BF7AC7EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7e17689f7a32c0ad80890bf5d055b34c49978","datavalue":{"value":{"entity-type":"item","numeric-id":1073016,"id":"Q1073016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$FBF13544-D422-44B0-8A02-5FD4854AF2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$737938B6-7E51-424B-8B24-2B1E78163759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$3043149B-0295-4F32-80FA-E6EF28E36EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f029f25ce66f1e8b3294e6cdf267f00f417ca7c2","datavalue":{"value":{"entity-type":"item","numeric-id":1836978,"id":"Q1836978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$8E6C7E82-8249-4823-AAC5-D5E0F1967532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$19341FE0-C700-4D6C-A969-1B139F63C626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a03213b095a350f4bf2d8dc4d804066ee4390f","datavalue":{"value":{"entity-type":"item","numeric-id":2958390,"id":"Q2958390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$4287AD41-EDAE-4217-B4E1-54D2DC7340B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$5AEA2ECF-87CD-42DA-8987-1744711788F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cba28b68fd268a3fda8a1750f4b6808bf5f1090","datavalue":{"value":{"entity-type":"item","numeric-id":3522026,"id":"Q3522026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$F9F6B75C-A4E4-41A0-88C4-34532881E09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e2d761ccb0b052ed932a9e25e1934d9433dace","datavalue":{"value":{"entity-type":"item","numeric-id":3745825,"id":"Q3745825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111315$F5A5D422-0C79-441D-8D3C-F1A84A5BC769","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70635ff749b74d15c749255ffa357e4b0c8c49cd","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111315$72B8AC19-067F-4E11-A45F-27064827B269","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d7b6dd95d067f47d109a6fc0fdfdc8535c799c","datavalue":{"value":{"entity-type":"item","numeric-id":5232901,"id":"Q5232901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d70723fa02a79909ba9abf9d24b9d2707ec9d05","datavalue":{"value":{"amount":"+0.9409005641937256","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":"Q5111315$1EEA1343-0E54-4E6F-A245-F3F5CA359CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426211327d42250a33d0cea29fc9cb6b3cae525a","datavalue":{"value":{"entity-type":"item","numeric-id":2879259,"id":"Q2879259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea97b5d81939380d67a215ab75f7a0d4397d5e8","datavalue":{"value":{"amount":"+0.8320059180259705","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":"Q5111315$A3512A3B-4DD0-446E-8C1F-6C878F485C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a32f5fd7a58acf66da4bb72af39c8f05df37614","datavalue":{"value":{"entity-type":"item","numeric-id":5757934,"id":"Q5757934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ab379a0aa8aa7839005290e7eeb8e35bb190fb","datavalue":{"value":{"amount":"+0.7792207598686218","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":"Q5111315$849C209D-C7A7-42A4-AE13-E32B29E51ABB","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":"0785602f93abdbc4272d1b766b004cef510691af","datavalue":{"value":{"amount":"+0.7718101739883423","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":"Q5111315$05B2222E-6A60-4F71-988C-1F329CA2F72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0b72cc3bd8fcce61bff4224c9291a8e03b0fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5881279,"id":"Q5881279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e808c9960da745a26f2ca67f919d50bf15d1134","datavalue":{"value":{"amount":"+0.7700521349906921","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":"Q5111315$2706640F-2780-4316-BC5B-1F1CEABC6784","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111315"}}}}}