{"entities":{"Q2888504":{"pageid":2899229,"ns":120,"title":"Item:Q2888504","lastrevid":83911766,"modified":"2026-05-07T13:43:03Z","type":"item","id":"Q2888504","labels":{"en":{"language":"en","value":"A tool proving well-definedness of streams using termination tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040181"}},"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":"Q2888504$3EA47914-3A4F-44C7-AD7C-6E1714746D22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77671e1353a3697ed8ba0e791fa0167c8fa2086f","datavalue":{"value":{"text":"A Tool Proving Well-Definedness of Streams Using Termination Tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888504$DCF92F80-8FF0-4CA0-90F6-7AFA90A1FCA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b97ee5f0148777947de228a158c9522355b6383","datavalue":{"value":"1239.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888504$ADC2691E-E8AE-4465-A82D-2E5E32FC1570","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fa6f176cce9e066a66c8eee5c9d6a21fa1ea794","datavalue":{"value":"10.1007/978-3-642-03741-2_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888504$47A5C777-CAAC-4CD5-B1AB-4CC3C1205C1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888504$92B5868C-A163-42F7-80CE-6D61620F7F25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888504$34670F0D-5978-408E-8B48-66A9706FE074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888504$34B98820-829A-4222-AB0E-47C833A04B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888504$2AC088BB-86CD-45DA-8F4C-365E4966384D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888504$FE542CC6-651F-4DC4-8A95-A0029AA6260A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab2adae9a10427d6090691fee2557f0aee785596","datavalue":{"value":"6040181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888504$552CD914-9A2B-46EC-B21F-D2E3F57C0CE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888504$A8DB22FF-3572-48E6-BE13-EF93EC59AB25","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888504$9B8B0767-F855-4C92-A5BD-ECB2D7EDD382","rank":"normal"},{"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":"Q2888504$C44C48EC-3CBB-460F-A1C6-8CA274DFBF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888504$34160580-5E16-44EE-912F-98561BCB2600","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":"Q2888504$9F873C72-D0DD-4980-9B1C-4DB1D0A52F52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d458f8d4089bf0b4011c3db291b16ff9f6130d5f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03741-2_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888504$991554B3-64E5-44F6-A295-25B680B8D55A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5931470fe35e1d8a92a0968a1ef988f1da67ee9b","datavalue":{"value":"W2121166077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888504$4BF88561-2072-4105-AD71-C54B9C7CC6EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8556801d8d11c135149e743b011c2a995900adc","datavalue":{"value":{"entity-type":"item","numeric-id":5505544,"id":"Q5505544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888504$33652984-F2E7-4929-AF3D-5C0D7EA7F47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e0f21077419bb3e23f4e63ca54f333d1d198be4","datavalue":{"value":{"entity-type":"item","numeric-id":3612501,"id":"Q3612501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888504$2C0FFDD6-35C5-4D59-ACFE-10FEB755705C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac77c1b6de7e95e9db5b26a18cc341fe18af5090","datavalue":{"value":{"entity-type":"item","numeric-id":3636825,"id":"Q3636825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888504$BAC9A1C4-914F-4DF1-AE83-AE2E15F6F758","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453052794caa9f3a91446d745b355f91fc780b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3636825,"id":"Q3636825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24288676f4eb3b20fe1325cf374b0b9329f5994a","datavalue":{"value":{"amount":"+0.9407352805137634","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":"Q2888504$1F952968-80EE-44F8-A467-0E80692F7EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e45312b902d4b388c09e8ac8aab7723d5e6c90","datavalue":{"value":{"entity-type":"item","numeric-id":2786138,"id":"Q2786138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ea7c0901a873da5b1aa9a037150d4f6dbf827a","datavalue":{"value":{"amount":"+0.9225770831108092","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":"Q2888504$A12C0200-1AB7-48B9-92CD-4781CA9E82D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb22a99afa03170e1cce44586ac5436a75c845a2","datavalue":{"value":{"entity-type":"item","numeric-id":5389096,"id":"Q5389096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cfe4c9aba7842e466744784fe9d04dbcce446e","datavalue":{"value":{"amount":"+0.8180433511734009","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":"Q2888504$5F619070-6ABB-48EB-9745-03BC784849AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a24c6318879f479aa915b3881e10ee1da5afc9","datavalue":{"value":{"entity-type":"item","numeric-id":3021409,"id":"Q3021409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5f8e8dbdbf5b52dfb41164fc606157b725c105","datavalue":{"value":{"amount":"+0.7068314552307129","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":"Q2888504$6107B7D8-2D0C-48D5-A74B-B02C430B16F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bdeb866c8a0409b8ee602ec5407fee50d1a893","datavalue":{"value":{"entity-type":"item","numeric-id":846366,"id":"Q846366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69ab39a7f41799e05a9f726bca03e4044d969d9","datavalue":{"value":{"amount":"+0.7051125168800354","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":"Q2888504$1F23FF19-A7B0-4749-A841-B183E521D0BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tool proving well-definedness of streams using termination tools","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tool_proving_well-definedness_of_streams_using_termination_tools"}}}}}