{"entities":{"Q5170835":{"pageid":7200407,"ns":120,"title":"Item:Q5170835","lastrevid":91468193,"modified":"2026-06-04T23:14:46Z","type":"item","id":"Q5170835","labels":{"en":{"language":"en","value":"Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320460"}},"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":"Q5170835$053489AD-76EC-42DA-8018-64A7CA911205","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8d69559013c0b61952f01c1f15de8e6a2266e7a","datavalue":{"value":{"text":"Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170835$3EAF6811-EB27-4295-A28D-324D11DEAAD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"472d6a2e92bcde4f95d1cd3ae89d5751a1cb34ae","datavalue":{"value":"1416.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170835$5A916516-7288-4553-BBB7-F72A15EA3E98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c47dada74b6e1bb7abc00dc8edb91074df66f83b","datavalue":{"value":"10.1007/978-3-319-08918-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170835$25DB3799-81A8-4298-BCFB-DC6652F63C4A","rank":"normal"}],"P16":[{"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":"Q5170835$2E3A8ED9-72AF-4682-B5C6-ADE697667C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170835$77EFCBE7-4DD9-476A-B549-37BDBE44B8FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170835$43237A01-20F6-40DF-B9E0-11A2E7636850","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d5b6bdf672ccc34d428067b7e9172e5c9711cb","datavalue":{"value":{"time":"+2014-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170835$15B07F0C-4B2E-4F38-B38C-664A83F929C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170835$33DE6981-A0E8-4917-989E-830805EEAAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170835$1DFC5A33-4600-427A-98E4-0AE4E0D4AB62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94633c41377f92d7c34faee8f89a1870b177dfb2","datavalue":{"value":"6320460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170835$C14D6381-597F-48D7-94ED-CA6E81E58411","rank":"normal"}],"P1463":[{"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":"Q5170835$32A1EF4E-AC46-4E1F-8F7B-F3310A226381","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":"Q5170835$10FD6940-D5B9-4871-BCC0-FB05C5144FF0","rank":"normal"},{"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":"Q5170835$68DBE253-E4AA-42E5-AFB8-FE8F8E3B84ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170835$2DE78EFE-B5E0-4F66-A18C-B24E1AD5EE1A","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":"Q5170835$CAB97832-F38D-4EB0-9717-D620BEDEBBCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad612dd7700f32f88bae33489900912638383ea6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08918-8_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170835$6F203809-5321-47EE-8A5E-C4C38C5ABFD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"407b9d130365082ecc6845bd9ff3b7ea6e81e03f","datavalue":{"value":"W14452780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170835$1D1E581F-31CD-4C9A-A9A6-BBB24CB030CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed7eebdf74ab70c866f7754ace17c5408f0532b","datavalue":{"value":{"entity-type":"item","numeric-id":4825686,"id":"Q4825686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171fedc859317f37f7cf6aa85ad704374feedd97","datavalue":{"value":{"amount":"+0.8713441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170835$8271E883-FC16-441B-B450-5FA0D025FA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d68d128f5362206664bf741ea88f5f40c22565","datavalue":{"value":{"entity-type":"item","numeric-id":4981275,"id":"Q4981275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb347ce2e0c7a13502238585b5420e7cc7f9355","datavalue":{"value":{"amount":"+0.86797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170835$93E05E1A-2DBB-4130-A562-71BB44CEC652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01017b3d1c200749df743ffbc642572962518ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1355748,"id":"Q1355748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572b6c254e82504d23538765bd9be0515c4bc260","datavalue":{"value":{"amount":"+0.8678098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170835$A190D810-CBB7-4655-B282-DBC6DA446388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a14c7f8f42b849eccb834d9e52aacec0e68d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4599217,"id":"Q4599217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041db6d772ba9ad31f12492e28cc5668ae259b5f","datavalue":{"value":{"amount":"+0.8667776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170835$E1583E69-D086-402C-BE66-A3DD44C51A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74747c930fd16f41c41b115f19236c7f065dcbb6","datavalue":{"value":{"entity-type":"item","numeric-id":4982082,"id":"Q4982082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e26a4f6497b9bb693e81f6df7b41435ce4493c6","datavalue":{"value":{"amount":"+0.8659662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170835$EA40732A-4FA0-4633-B260-2E1117D11FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4de5b0baeb57e2ce7b937581d2c565ecde3887","datavalue":{"value":{"entity-type":"item","numeric-id":4635868,"id":"Q4635868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7c62da253ac500a5a1f607f334912bfa37a08c","datavalue":{"value":{"amount":"+0.8659657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170835$711F2589-D046-40A4-9871-FD538DD6361F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d202e26a9ac54b6970327f5708038ff507cfbe02","datavalue":{"value":{"entity-type":"item","numeric-id":5014441,"id":"Q5014441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3908657d61f922fc8eeebdd5889d79054aaf05e5","datavalue":{"value":{"amount":"+0.8639339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170835$AEAE3931-0D4E-47BA-9B8A-BD0EDC7C6455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f9f54b8cf9280669ff5d517fe2310723fcadec","datavalue":{"value":{"entity-type":"item","numeric-id":2104254,"id":"Q2104254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372dc0b89dd65135691afac57e9d68fe69d43875","datavalue":{"value":{"amount":"+0.8624252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170835$2DB01D77-AC05-4155-97A7-B6EFFD0CBCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"560f5742f65df3117ea8ed4971289cab4b37e111","datavalue":{"value":{"entity-type":"item","numeric-id":4016555,"id":"Q4016555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f8045e2615aee77f747c32ffeee27fa2012eef","datavalue":{"value":{"amount":"+0.86019486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170835$5D620EF4-A43C-4D52-82D0-4DAF9B1BBC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ee75e5f70ac5f9cc0d88a903b9f32dc7bc4568","datavalue":{"value":{"entity-type":"item","numeric-id":2258843,"id":"Q2258843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed75fec61664d56de4f59993afed29eaa708183","datavalue":{"value":{"amount":"+0.8594644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5170835$809D6380-0CB2-4A9D-91A8-FE759EB563F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_Monotone_Algebras_for_Certification_of_Termination_and_Complexity_Proofs"}}}}}