{"entities":{"Q2104557":{"pageid":2115300,"ns":120,"title":"Item:Q2104557","lastrevid":56991783,"modified":"2026-03-25T13:40:22Z","type":"item","id":"Q2104557","labels":{"en":{"language":"en","value":"Proving non-termination and lower runtime bounds with \\textsf{LoAT} (system description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628217"}},"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":"Q2104557$C0A6BA4D-3218-4D56-8E8E-FC0F1281F482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c80e97b7bc1b6e64e1792f5d4ad62c7c899b2faf","datavalue":{"value":{"text":"Proving non-termination and lower runtime bounds with \\textsf{LoAT} (system description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104557$B623C468-D4CC-4E90-A99F-0296F5C0045E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3f3b4345812affce0ac00d298186c11771bdd70","datavalue":{"value":"10.1007/978-3-031-10769-6_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104557$3B307740-7AF5-4373-B6E0-D746E46F43BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ceff39412d9c06c1d2cd592800cc7acbcd40d91","datavalue":{"value":{"entity-type":"item","numeric-id":1647967,"id":"Q1647967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$606B937C-1B23-48AD-8F86-177A9224FFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$5E91B78B-04A2-479F-9852-445BAECB00C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104557$7F6B912F-0FA3-43EA-B0E9-E0F24ADD9289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104557$F61B5AF4-5AED-435A-9857-5BF02B8A09FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79785ca179defcbd4b58238e4bddf3ef0c6a22d8","datavalue":{"value":"7628217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104557$7DA32760-3EEE-4C97-8B0C-C3FB6829E20C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f397c52f37228d72babea7f4da967604853d803","datavalue":{"value":{"entity-type":"item","numeric-id":22077,"id":"Q22077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$B507A53E-AFB9-41ED-86A0-8C99200830BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$BF5D6059-14C7-4E6A-B126-00864BDC0808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fedb99aafb4892a69662c5ebaffc64ecb6451370","datavalue":{"value":{"entity-type":"item","numeric-id":16326,"id":"Q16326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$ED551205-139B-4354-98C6-632DB2932AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"92bf8f9376149d6ee2f5b2dee8ac8aec66280138","datavalue":{"value":{"entity-type":"item","numeric-id":1350238,"id":"Q1350238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$97BFF250-EEC3-411B-89A8-4BA1437C767A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2835655056fc5b49a993ffa515714c5f882442b","datavalue":{"value":{"entity-type":"item","numeric-id":17604,"id":"Q17604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$F1358F77-9D2C-4076-AB07-8E969B497C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$E72560A8-F30D-4A41-8F2E-04D727CB2811","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":"Q2104557$17AFBCCF-E09D-4FCB-82BB-3FD58722D490","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ceb2aba3cfb934ac1026437285a6cb1dcfb2a4ea","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104557$F6D46949-2F15-4E76-8C67-0BD905139C0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1568749f4dd9c1fb90f9618548f7008c206c05ee","datavalue":{"value":"W4289104025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104557$BA404B8C-E09A-4DDD-83F2-47678058CDDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23ac55fb9bd126243f076a782cd348eed23dabf","datavalue":{"value":{"entity-type":"item","numeric-id":832313,"id":"Q832313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$29485591-E400-4F6C-87F8-66598645A7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5830036cd1eebf70131e05b80d1e3948c1709aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3617767,"id":"Q3617767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$ABC15D76-1870-45DA-8431-68F5C95A14B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62182dcb51c15de8e9697db383dc1581d8b46dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3583851,"id":"Q3583851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$8B324E26-072C-4150-972A-6D8FD63A8643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c0e517860b31b15ac9dd4b867166f4d55f05b4","datavalue":{"value":{"entity-type":"item","numeric-id":2817952,"id":"Q2817952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$92AEA361-81F9-442D-BE2F-F4AC451B8252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4f96e3374f503888e2094fc6f99dfeaa211ed5","datavalue":{"value":{"entity-type":"item","numeric-id":5039502,"id":"Q5039502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$9949C687-4746-42D9-83A8-9798EC1CDE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8f67bc300df73505926b0d8f2a4a3dfc98c2a","datavalue":{"value":{"entity-type":"item","numeric-id":746774,"id":"Q746774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$622560A2-F62F-4AD1-86F8-5333C0D2526B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ee8fff1c76d4e0123eb64394bb6ab65223b5cb","datavalue":{"value":{"entity-type":"item","numeric-id":5194962,"id":"Q5194962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56313f4587a367a61383cf8e92326f46c84a997c","datavalue":{"value":{"amount":"+0.8741334","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":"Q2104557$7D3728E7-944B-42A5-9BCE-C8B0D7C2753C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19738659602d7269fe6bd56abcec4f6ee13c8662","datavalue":{"value":{"entity-type":"item","numeric-id":2908495,"id":"Q2908495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547b0241ea84d2c78ed19b39148a3aa76508773c","datavalue":{"value":{"amount":"+0.8526759","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":"Q2104557$90EAA053-B725-4C44-B06D-CFFDED324C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eef440178d75a9255980807f736445ffe4363b0","datavalue":{"value":{"entity-type":"item","numeric-id":5432346,"id":"Q5432346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ea11bd3eb863500e1034d5c4e104836bf0342f","datavalue":{"value":{"amount":"+0.85158217","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":"Q2104557$4D3ACF8F-C387-4D35-BD44-A588F1E575AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2857b5444fba721f1f0ebd35ad43beecdf0a2204","datavalue":{"value":{"entity-type":"item","numeric-id":2265799,"id":"Q2265799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f63352917ca737d416dce3eeb36ffd446a0fe35","datavalue":{"value":{"amount":"+0.83716047","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":"Q2104557$505A53A9-5AA9-4223-8E2A-1A69AA8D81BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d9e026b6ee643cdea93c57f071c07dd3087f64","datavalue":{"value":{"entity-type":"item","numeric-id":3804237,"id":"Q3804237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7758a55b791f1e7208c87ac7a813f892fad985df","datavalue":{"value":{"amount":"+0.8318712","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":"Q2104557$116902A3-1276-4DD0-8944-83FBFAAF0B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd13546199e36837498d0f86201f321fdd87908b","datavalue":{"value":{"entity-type":"item","numeric-id":5941752,"id":"Q5941752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88e03ddc745c80d95e5417620b1bd0f7935d5d5","datavalue":{"value":{"amount":"+0.83156097","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":"Q2104557$23B7CED4-2136-4BDB-949B-EA30D1CA280D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe92b7258e0af482e7fb1d334c65fe05402d844","datavalue":{"value":{"entity-type":"item","numeric-id":968302,"id":"Q968302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f42ce0a991c3a4ef6f24591febfcac4f5586980c","datavalue":{"value":{"amount":"+0.8306742","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":"Q2104557$9BC943DE-1823-44F1-AA56-F4518D15350C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8696d3db79b6d60cab8448aedb0d76fcf6333157","datavalue":{"value":{"entity-type":"item","numeric-id":2811594,"id":"Q2811594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a4818f385bda1fea6754e6f76a03cb72e687cb","datavalue":{"value":{"amount":"+0.8299717","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":"Q2104557$B4CC4134-A2B2-43BB-A345-80072678A654","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104557$76D0C5EE-6AA0-41E8-8E1C-9D9227CBF5ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104557"}}}}}