{"entities":{"Q5166699":{"pageid":7196271,"ns":120,"title":"Item:Q5166699","lastrevid":94391105,"modified":"2026-06-05T06:41:25Z","type":"item","id":"Q5166699","labels":{"en":{"language":"en","value":"Termination and cost analysis of loops with concurrent interleavings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314165"}},"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":"Q5166699$00D8AF3E-1DD0-4AA0-82A8-08C84A448669","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"943b0de014b009f9f12ca7043854c3afcde26436","datavalue":{"value":{"text":"Termination and Cost Analysis of Loops with Concurrent Interleavings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166699$19970129-3098-46AD-B7EA-371FE21104CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5872175de6f83134b7446cebe2f08456b4053b4c","datavalue":{"value":"1410.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166699$AA7E872B-1726-486B-853D-FAB46681D5EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba9953d3120b723de5502f415581bc915d74dde6","datavalue":{"value":"10.1007/978-3-319-02444-8_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166699$867C6236-D9E8-4088-A480-3E31EB0608DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db02a25ee0188485f9ab7c84ccd406f8866487b6","datavalue":{"value":{"entity-type":"item","numeric-id":232928,"id":"Q232928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166699$CC1ABC08-0DB8-41AC-9F22-3F0E13D08B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ef40a60e2c30651433885baec984e80ce39576f","datavalue":{"value":{"entity-type":"item","numeric-id":1990481,"id":"Q1990481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166699$297737F1-2927-4730-ADD8-0CB465956C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe753b9d2f7eccff8413eb524ea7d9ea3f789dd","datavalue":{"value":{"entity-type":"item","numeric-id":407519,"id":"Q407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166699$1F7B9A7E-6103-4085-AE9D-95864C6F95B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fdbed0cd9991ae3ff2fee5896dfef6e796368f6","datavalue":{"value":{"entity-type":"item","numeric-id":832311,"id":"Q832311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166699$9EDFEE19-F4C9-4D8D-89C1-1025987EFAF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166699$5F0FE094-B8BD-42A6-A325-7C1970177BD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166699$7867BA20-3BEB-4B37-AF3F-3ABE7A3BCB39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166699$17240547-8F52-4A96-8171-5D06F786207B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b67d546c1ae066412d858c998fd8eccf18c4ae9e","datavalue":{"value":"6314165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166699$2378864D-8338-4363-96EC-4A3549C565A8","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":"Q5166699$98805642-7C71-4C4C-9A5E-C4EFD51916EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d8d71ed99deabb14879c00f34e16aee2506127f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166699$3B90C22D-7882-4D5E-8BF7-6CDC9692D085","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a7e3ee44888138ef6095866c42590b941aaae4b","datavalue":{"value":"W178702431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166699$8B2031A6-EE32-48F9-89BE-A5B62A13FFC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39baed0d2712f954f8fb8cd75c47da17ef60ddd9","datavalue":{"value":{"entity-type":"item","numeric-id":2398172,"id":"Q2398172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ce62028deb3bca522c113d1fc16e352e20dfc2","datavalue":{"value":{"amount":"+0.954928457736969","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":"Q5166699$7B3E7758-1E71-45FA-B087-907AFA222A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e6485ab6ef5d70ddb1649472b64d2e7c1b3483","datavalue":{"value":{"entity-type":"item","numeric-id":2058383,"id":"Q2058383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5144a40e1d2fd0df745d6052ddf3042827ee7b49","datavalue":{"value":{"amount":"+0.7421560883522034","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":"Q5166699$8187C7BD-A260-4CBD-AF26-279E06A65896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e18e5eb0d420eb77a356778da4f7d613e793467","datavalue":{"value":{"entity-type":"item","numeric-id":5458333,"id":"Q5458333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d9da8b437b09e1f7c89e4fbfd1b940ef1ce8fc","datavalue":{"value":{"amount":"+0.7392220497131348","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":"Q5166699$17BB4395-6D6F-4887-A2E4-FEEFA7DFF148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a18887f57b1b3543a1507c31b4181ef2874d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2894275,"id":"Q2894275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270b5e9cd4a433aa931b20428e324989cfc98382","datavalue":{"value":{"amount":"+0.7207103967666626","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":"Q5166699$B9F689C7-1833-4BFD-BE65-8F34AA75EB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b847686912a5cb65f500ed95a425d4dd550e167","datavalue":{"value":{"entity-type":"item","numeric-id":5399489,"id":"Q5399489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ef0c0e921667403240c25b0744ea2a80161f30","datavalue":{"value":{"amount":"+0.7191365957260132","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":"Q5166699$CFFD60ED-76EE-4AB6-A793-91A5B90B21C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination and cost analysis of loops with concurrent interleavings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_and_cost_analysis_of_loops_with_concurrent_interleavings"}}}}}