{"entities":{"Q2583289":{"pageid":2594032,"ns":120,"title":"Item:Q2583289","lastrevid":48631525,"modified":"2026-01-05T10:58:34Z","type":"item","id":"Q2583289","labels":{"en":{"language":"en","value":"Modular and incremental automated termination proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247170"}},"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":"Q2583289$195010C3-E703-4F30-A145-2F64E5E31B71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"581c2580548f5abac3b6aa7e6587ef0ef90cc4ac","datavalue":{"value":{"text":"Modular and incremental automated termination proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2583289$B12401D6-E062-4E87-ABB7-A170D2AEAD91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f8e865eb54e6ed827896edebe658748d727a3b3","datavalue":{"value":"1096.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583289$ABDFC878-ED13-47DF-9D93-1AFB568E0548","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5fd73ef23196039dc7cfed98b6f095bcdd643c1","datavalue":{"value":"10.1007/BF03177743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583289$510FB032-AB60-4515-875D-980AB921CBB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$FFEDBBCB-3DB3-473E-BF7A-4B987E64A02A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2583289$B12EC393-F9D8-45A7-BCA6-6DB9B7DC98E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583289$0C6C3346-97F8-45E8-917B-FC24A27CF554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583289$B0E161ED-6197-4AB6-9A59-449D076ECE5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1b224a17b316a7194d9f1a2e6b5fcda37fb29ad","datavalue":{"value":"2247170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583289$A64480D4-28CD-4D16-A471-77D215BA0498","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c484ac5b82ede079b680b4ffa875e26d0072ae4f","datavalue":{"value":"rewriting modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583289$000BAF28-07FF-4535-8942-6A07F788AAF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99601cd1ef3148b698a6343b127ea54820fa08e","datavalue":{"value":{"entity-type":"item","numeric-id":483062,"id":"Q483062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$0C540276-F796-4A8E-9128-7A0C31183C7E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$143B2D89-AC1D-4E39-8A83-E3AF963DB584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"680c244b02c0203bda666c4a12f1fe54854dd0a1","datavalue":{"value":{"entity-type":"item","numeric-id":22085,"id":"Q22085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$160C7B87-2B5F-497B-8435-6090B86EB2CF","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":"Q2583289$B4AC160B-F378-4106-9883-8AC5CCBD509B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$5C7600CE-E95E-467D-A123-50BC05CFA24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f379c0c8372e5f5c3f6f1ec2ecbe2d16fde0f60","datavalue":{"value":{"entity-type":"item","numeric-id":2723431,"id":"Q2723431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$1A0E2E6C-D591-4C81-82C8-6A67D294DD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cea6af4ac375cfff93398a6355c2fe5e1792d5","datavalue":{"value":{"entity-type":"item","numeric-id":851142,"id":"Q851142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$4BFF1894-0155-4CD5-9F45-B80A505292F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394b8c226c40fd2922be160802e4522fb7abf6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4385535,"id":"Q4385535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$9156AF84-4405-46A5-B2ED-2BD403821B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$1E82ED90-AB8C-4F5D-A435-F2EAC4DD705C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ad064fde7b4ac14829e7ebd920d2c935ccfa38","datavalue":{"value":{"entity-type":"item","numeric-id":3970984,"id":"Q3970984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$5645E355-FC1B-4E5C-B186-2D0EB04A7F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ffb07bc7f0f53de7969fb4707efd73209d8ddf","datavalue":{"value":{"entity-type":"item","numeric-id":2841240,"id":"Q2841240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$FAFE71B8-8F74-4B44-963B-1F5F2091DA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f7c6b52509baa447f12e35c3045a7f932691c3","datavalue":{"value":{"entity-type":"item","numeric-id":2782485,"id":"Q2782485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$FBDB6C2C-1F6E-42C5-B508-3B11B5EF19C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb45a07c249808f39b196e78cb1332eb59c84b38","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$88D69ABC-2572-4ACE-AF7D-55FFD1A88332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390831c2fcacfca137fbded25019295d31e1ac9d","datavalue":{"value":{"entity-type":"item","numeric-id":4846997,"id":"Q4846997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$A431C84B-A5D5-429A-A7AE-8B944DBB3AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1049bfaaec537d06376da08751517933a39b70f","datavalue":{"value":{"entity-type":"item","numeric-id":4447241,"id":"Q4447241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$26B0043F-ED74-4DD0-9AB8-22D3CD762F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57df5e3dc4736ec9eecd241151dac382ff6d6b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4490728,"id":"Q4490728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$70508E86-84E6-4572-BC1E-B140AD78267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ad2abfc6cc3ebb890b3b52507b9f0b3bd707ef","datavalue":{"value":{"entity-type":"item","numeric-id":1350349,"id":"Q1350349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$8787B586-62ED-4A16-BE4F-D0E4FCD66BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866329e622ae9c42939978c38ec9f1b061288e00","datavalue":{"value":{"entity-type":"item","numeric-id":4494366,"id":"Q4494366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$4684673D-D662-4DD1-B417-F8510286356E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1282584328bd3a7f7d619b21298158a3e46ae8ef","datavalue":{"value":{"entity-type":"item","numeric-id":4539643,"id":"Q4539643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$23C5C553-3BD4-4E67-82AA-61FBDC626C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c44b9b936face2dfc4d4635051b2920e843d73","datavalue":{"value":{"entity-type":"item","numeric-id":2368072,"id":"Q2368072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$9FF61BF6-7F67-47D0-8410-F29EC292E69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f24c9f0634a3b40f1d86c3af8f38a5977fa8ec2","datavalue":{"value":{"entity-type":"item","numeric-id":1349693,"id":"Q1349693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$6946DDAB-B179-4A21-9F68-7A1273DEC9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dafa9463b7aae27917c87d2d898e60c5e87e766","datavalue":{"value":{"entity-type":"item","numeric-id":1911401,"id":"Q1911401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$82D54AE8-A9A7-46AF-A65A-A2DAB5648683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$1158B528-5B14-460A-AEF9-DC17B90C43FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6651266019565627c00a97534a81480ebf5c20e9","datavalue":{"value":{"entity-type":"item","numeric-id":1318775,"id":"Q1318775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$EDFE9547-D4BC-4EA0-8500-3EB9F7C72A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$07DD77D8-3EC1-4D29-9AA2-279B1FB63723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cac010ec605c9119807506ab1b2e806f41cbeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2643544,"id":"Q2643544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583289$222FD076-DC91-4122-B3C1-408CA86E31E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc94be127ad7233f91f80318749e753bfda9c14","datavalue":{"value":{"entity-type":"item","numeric-id":4539636,"id":"Q4539636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a47cd70fdb0e0fe7ac55923c1ee33b8cefbddc70","datavalue":{"value":{"amount":"+0.935987651348114","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":"Q2583289$3E4D4D2C-220D-4F52-BC7E-A460C128AD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a95a7710115b024d14d35acf26f7b5312e34bc","datavalue":{"value":{"entity-type":"item","numeric-id":2643544,"id":"Q2643544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17a4cf16e91bf50929ff014d18806cea461ff49","datavalue":{"value":{"amount":"+0.8972915410995483","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":"Q2583289$B5E5212D-8D12-4629-AB96-2D6C9C87BDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bc5222f055af0d789acd51389f19348cb8419e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37f5d5a1fc78ef1bbe3c8ce9a12686a2cc8de82","datavalue":{"value":{"amount":"+0.8743990063667297","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":"Q2583289$80D493BC-CFB8-43E9-9739-7E655EEAC127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f72e67ffb8794611707ce233a5e778fa44d33a2","datavalue":{"value":{"entity-type":"item","numeric-id":1350349,"id":"Q1350349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37f5d5a1fc78ef1bbe3c8ce9a12686a2cc8de82","datavalue":{"value":{"amount":"+0.8743990063667297","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":"Q2583289$6CC2780B-C8C0-4496-A879-381A008B2790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb463026b8822221681c84ff38cd19b67fc383ca","datavalue":{"value":{"entity-type":"item","numeric-id":910207,"id":"Q910207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906f9783510ac48546087eb6d140ae3103e17cd6","datavalue":{"value":{"amount":"+0.8477053642272949","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":"Q2583289$AFC1272A-9696-41CD-A949-FFFCC1C2B02E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2583289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2583289"}}}}}