{"entities":{"Q532429":{"pageid":534196,"ns":120,"title":"Item:Q532429","lastrevid":77895590,"modified":"2026-05-06T10:18:42Z","type":"item","id":"Q532429","labels":{"en":{"language":"en","value":"A mechanical verification of the stressing algorithm for negative cost cycle detection in networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5883971"}},"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":"Q532429$FB3FDBD1-B101-4C26-9573-302861B5C37A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a64cf1b8173a81e90f926d535aec7778f10827b","datavalue":{"value":{"text":"A mechanical verification of the stressing algorithm for negative cost cycle detection in networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q532429$A476395A-3C34-4269-B53E-8AB6BDE6A228","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7266bb3a357326dfb8f21b32d7bfd9f52ea35749","datavalue":{"value":"1215.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532429$18C45855-0A07-4565-B571-8C4A44812D7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$66A8BBE1-D2DC-4ADC-BBF3-69EB405725D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$3EBC2BB1-FBCF-451B-AAB8-BEFB59BF60B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$D5247BC3-7E63-42F6-8980-813BE03F7E86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e8cf336a281775d77f65d41085e5a0ff9f89f4f","datavalue":{"value":{"time":"+2011-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q532429$858ECC1B-6446-484D-914C-06598B37ED4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532429$9F23E4C2-78F0-4808-8C7B-BA5149D7EE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532429$A85942A6-E65A-491B-B466-E07D49D696EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26d8b3e72ae7ec8567879e1b89f15f60e9ab3a96","datavalue":{"value":"5883971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532429$8D638F89-5CF9-406F-95DC-2867523302D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2c8be7083bc67dc17fc846f3a4388c330e893d1","datavalue":{"value":"negative cost cycle detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q532429$8331D10B-8A9F-45BA-9512-311CE433E6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3b495ba8c3c3bf5babb1d3213a6c0bf58078e5","datavalue":{"value":"graph algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q532429$530540FF-FE01-47AB-ADC8-AC357A76A12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f723ba2d4769ee67824ff01e21c5df9914ed8f","datavalue":{"value":"decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q532429$B3E003A2-B4D4-4F77-9FCB-88BF70FA8A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q532429$D920F036-021B-4B87-B193-8F1030317CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q532429$7B2844C1-513B-4625-B876-6B282CFD354D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$CE781782-C416-487C-ABAC-8B410025A76F","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":"Q532429$AF2A27D5-648C-4E20-AB37-8A30E65844D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12454a49e918146192762e09b43a2f69d480a6dc","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q532429$BEEA809C-0E91-444E-9839-AE781E3206EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e193bf84a885960e29b7fdab0838552e50cce7ee","datavalue":{"value":"W2046514810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532429$F8F8AEBE-25D7-408C-A984-3FED40E86171","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$FCB6E55F-E3EB-4FEF-9DFF-294FD9AF5247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be7638796320e0bd21589c519d4a54a0b3ddeef","datavalue":{"value":{"entity-type":"item","numeric-id":5387851,"id":"Q5387851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$9459269F-24B5-48D6-8330-65AD47A51A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1c9b30d63dba402510d5838237495966fbe464","datavalue":{"value":{"entity-type":"item","numeric-id":5756581,"id":"Q5756581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$DBEC43F1-375B-4E44-A3FA-FFDB892F92FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec3e69cdcca7384fabc1c1a8e32f234be1bbc87","datavalue":{"value":{"entity-type":"item","numeric-id":1182161,"id":"Q1182161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$EA653F17-7475-418D-B318-DE36A2273D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbba1e94dac698478d700605005f4f3274714185","datavalue":{"value":{"entity-type":"item","numeric-id":5435671,"id":"Q5435671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$645DD676-F02A-4ACB-8383-74262104F17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caff94044d7e9e5c06d98ab72e868da5cf4fc6d1","datavalue":{"value":{"entity-type":"item","numeric-id":1821563,"id":"Q1821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$7F031F00-0FD6-4EB4-A0CB-D381D3C2DF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a574e5aa189b3fc2747ed9f87d92c59b775e8e6b","datavalue":{"value":{"entity-type":"item","numeric-id":2722014,"id":"Q2722014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$07DC34A2-8925-4ADD-A6AB-9DE272E5A0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452293d99b160440e274cefb6a503492ca85cabc","datavalue":{"value":{"entity-type":"item","numeric-id":2466006,"id":"Q2466006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$DF8A989B-CB7E-4F2A-A4E7-474372B416B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe6106b380003a7cd9e35c0b38a3cc8d8b8e3023","datavalue":{"value":{"entity-type":"item","numeric-id":4249903,"id":"Q4249903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532429$5EC250EE-AB34-4F8F-80E1-007692D493F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7678a924bb461115ea8872721b1d737f8428246d","datavalue":{"value":"10.1016/J.SCICO.2010.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532429$0BFCCF9D-4B50-4EAE-827E-9493F09738D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c376f002f7ca1b7684e44f39112e319fc14c68d7","datavalue":{"value":{"entity-type":"item","numeric-id":2466006,"id":"Q2466006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184d83d84f93bbeda04aae55b302e29f7c483e45","datavalue":{"value":{"amount":"+0.8959657","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":"Q532429$9D4DCAAA-7921-4817-B973-9A60FFB3A794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ae224ce53f36e6eb7e1db43de08eaf9755613d","datavalue":{"value":{"entity-type":"item","numeric-id":5709515,"id":"Q5709515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50eef1c445540970a93aec0e887dfe037cb95f1","datavalue":{"value":{"amount":"+0.88187194","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":"Q532429$AD905EB1-5477-42A6-BA1D-0E2371DA9B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e20b29f76a70b1545e6e7958659216a8da16d77","datavalue":{"value":{"entity-type":"item","numeric-id":5321692,"id":"Q5321692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9ce0e562ca0d4f6ba7baf41234547bf6efb380","datavalue":{"value":{"amount":"+0.8646084","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":"Q532429$26C31CD0-D6A2-4D8F-9D5B-6DE16D828AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2003caf9d7e85b47f9f9eb39ae9df0e8d98bff","datavalue":{"value":{"entity-type":"item","numeric-id":2489173,"id":"Q2489173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0abb9cad88fa3400453860fb8cb1443ee27f4b9c","datavalue":{"value":{"amount":"+0.84828305","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":"Q532429$44E870CE-D307-4803-9D6B-B13717A5B4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362be00871276b9cc16bb33a583a95dd72c5f61e","datavalue":{"value":{"entity-type":"item","numeric-id":1693163,"id":"Q1693163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5844271bc57d23588d1f3e223852f2b080f39aba","datavalue":{"value":{"amount":"+0.84307253","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":"Q532429$26E6D725-4940-4F3F-AD40-9F80FAFE38AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81aa696442ad1d9e48ec1d28e732ad1583ccbab","datavalue":{"value":{"entity-type":"item","numeric-id":261362,"id":"Q261362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f551a06a7ee0decd20ffe0458645be1fe3dc66c4","datavalue":{"value":{"amount":"+0.8416385","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":"Q532429$D9B48A36-9630-43D5-BE5E-FA85F64E22D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5194066026d40d8035cf6a79ba0dbc11e13e12f","datavalue":{"value":{"entity-type":"item","numeric-id":1699785,"id":"Q1699785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e7acf4af41822703957e9ad453678ebc61cab7","datavalue":{"value":{"amount":"+0.8302741","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":"Q532429$8D7082E0-D200-4455-BF18-BC235D3FDCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c13acbd4109af756dad7aa8c630b2945d7f8df3","datavalue":{"value":{"entity-type":"item","numeric-id":2051903,"id":"Q2051903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a328f34de61e47ec751ab0bfdb210c57e431bd","datavalue":{"value":{"amount":"+0.8273752","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":"Q532429$BD269651-44D3-4A86-BF1C-6919D65BCD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"595badf6fd0fbf4ba6b9fac2a861f75aa45b2710","datavalue":{"value":{"entity-type":"item","numeric-id":1634773,"id":"Q1634773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992a47287b777a5bbeae419674e3493cd2c538af","datavalue":{"value":{"amount":"+0.82197756","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":"Q532429$5B54ECAB-31CA-4EF7-B330-0F2C1302B222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A mechanical verification of the stressing algorithm for negative cost cycle detection in networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_mechanical_verification_of_the_stressing_algorithm_for_negative_cost_cycle_detection_in_networks"}}}}}