{"entities":{"Q5055834":{"pageid":7085411,"ns":120,"title":"Item:Q5055834","lastrevid":37470970,"modified":"2024-07-31T00:59:49Z","type":"item","id":"Q5055834","labels":{"en":{"language":"en","value":"Towards a domain theory for termination proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631253"}},"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":"Q5055834$331BB2B1-38FE-49EF-839A-73AA297E2C85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"195d54265ab2cc85e89fd00066402d5c8b3b2591","datavalue":{"value":{"text":"Towards a domain theory for termination proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055834$54F3A3C0-E1A5-45A9-B999-A43214160E0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad3f83daa7c69f67aac9c8b68551877059b176e9","datavalue":{"value":"1503.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055834$C6B17C26-170F-466A-9D7C-EFF07827C459","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33bcafd4b13cda8308e3fbd2b5f03c1cc1381248","datavalue":{"value":"10.1007/3-540-59200-8_60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055834$7AFC1510-73DF-41CF-95D3-7DA8456522E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd081b6310e0fec087b3fd5ca1ae34286145f6ae","datavalue":{"value":{"entity-type":"item","numeric-id":820945,"id":"Q820945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055834$984A702E-0DD2-4370-9FE3-BEB7CC644F5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055834$3CFB1CA8-6EC8-4DE4-8E3C-0ECDD9AEDC14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055834$32C2C73A-7572-47BE-8CB6-CA66917491C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055834$BD1F7350-E698-4560-952F-E1B1031FD2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055834$2A9DE59A-3D8F-4210-A07F-BD40335D1AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9182fe72874242a6deecfe62c63bbf9bfe31c485","datavalue":{"value":"18M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055834$BF6A6A4E-4BAA-4B9C-BBCB-7A0AE5C8F121","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85d0a95b95f3e97802fab16ff204c737e49dfb38","datavalue":{"value":"7631253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055834$75EF335A-A8CA-4BCD-9649-F30992580A75","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055834$3DBB132F-79D1-4862-B4F7-A9AF3A3265B6","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":"Q5055834$99FC40D8-CE24-412C-B770-5699374616E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a3afafd2e6c45aa4acb4363ee82b17326f9a5d0","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_60","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055834$923631F9-EB1F-4D51-93D4-13CEB444F477","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"982c89ffc560f2a5d94b0080607de622412de243","datavalue":{"value":"W1590111582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055834$3D09526D-058D-4BB3-98D6-D2F624B7960E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90756121c7aec5a73898971dd53d1a51fa2e1212","datavalue":{"value":{"entity-type":"item","numeric-id":5055796,"id":"Q5055796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055834$AC60CB1B-9266-4193-BFC5-56BF7FF316FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055834$C6911BC6-2A83-477C-9169-3ED2EF4F9011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d548caf08e0e70d79f048b4cfdf9f5cd423531b","datavalue":{"value":{"entity-type":"item","numeric-id":5340125,"id":"Q5340125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055834$132E7C5A-C6B9-458D-A5E4-2463190CE25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fa0765caab346a3b62249e972a08bd2d2d383d","datavalue":{"value":{"entity-type":"item","numeric-id":5966632,"id":"Q5966632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055834$4D8833DE-0841-404D-9F26-792F5DBA12DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055834"}}}}}