{"entities":{"Q5207907":{"pageid":7237478,"ns":120,"title":"Item:Q5207907","lastrevid":53631851,"modified":"2026-01-25T11:19:08Z","type":"item","id":"Q5207907","labels":{"en":{"language":"en","value":"Verifying recurrence properties in self-stabilization by checking the absence of finite counterexamples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7150672"}},"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":"Q5207907$D547DE72-25FF-44A3-859D-0EEAB500627D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71b92fd5f2daae5879a27563e4e637ee213f59ee","datavalue":{"value":{"text":"Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5207907$EFA05493-0CB7-4204-948A-DD30AF86B473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b492d4239f58a8a1bd5cc892de28bd33c078aaf9","datavalue":{"value":"1428.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207907$0FFEF335-03F2-4C31-A922-5D4D44E2EA7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac7861c65da8a95f1ff6c94e002843f57645491e","datavalue":{"value":"10.1007/978-3-319-21741-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207907$11AEDD18-3A1F-49E2-B1CF-B6D1090B35D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f09f5749c260d735107ed69948eadeec47ecdc8","datavalue":{"value":{"entity-type":"item","numeric-id":5207906,"id":"Q5207906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$168C0BE7-6D8D-4F63-9F87-79A83E5DA19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f56be09d23b0619c224723ebdf5f8b3255baa2ed","datavalue":{"value":{"entity-type":"item","numeric-id":2945597,"id":"Q2945597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$12CAE0FE-89F5-440A-96B0-102881EA560E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2c0ec2f8e6a6cab17f78b7120af7dd1d5ee4a8f","datavalue":{"value":{"entity-type":"item","numeric-id":394330,"id":"Q394330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$3E6920D0-A033-4D83-875B-FF407255A65B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$AA1A5CEE-D710-4B99-86AB-64067DFDA24A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"945aeaf7c219820e626afa57f9ae821b0aa71dd9","datavalue":{"value":{"time":"+2020-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5207907$C58C303B-1AD5-4AE5-8011-C91A9BEEBC87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207907$AC3108EB-A5A9-4ABB-B56E-21372D4552DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207907$C9018010-C967-43E9-86A5-B2F9E7F8F21C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09176055f1e67ba060eadb7c1e3fac7ba197f32c","datavalue":{"value":"7150672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207907$6FF4DB19-29B4-45C6-A112-2B3BA1E47413","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5037dad296a241cfa4d4139d1f63309727fd86f","datavalue":{"value":"self-stabilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207907$3F2A7E9D-5A81-4558-915A-6EE00FDAF297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b5c28ce31c1759628c64ba1269e0bb145a7d1d","datavalue":{"value":"recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207907$DABEB841-87C9-4E1B-AA52-6AC79F6FDC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207907$BD806180-45D5-4C01-A4E7-2F17F635C9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2336c787fdda9b9d3cca7376dc481dbb87b23fe","datavalue":{"value":"finite counterexample","type":"string"},"datatype":"string"},"type":"statement","id":"Q5207907$AD1D70B0-8D18-440C-B048-3C650A9E7734","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":"Q5207907$A7A28137-4C2B-4226-9CEC-D1E459408192","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84bf2c6059236c7e5c9d2a26918786e2e4df3f2f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21741-3_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5207907$AD6109B1-2126-4FFD-ABD6-4E5F0AA31F36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d06e39db28ffdd2251f7181c8f12fbf02d65e153","datavalue":{"value":"W2271723404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5207907$DDF49878-64C8-4634-ABA1-10754EDAE633","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e230b3728d10ba582373bbcad97e70c9be621d32","datavalue":{"value":{"entity-type":"item","numeric-id":2782251,"id":"Q2782251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$3D4EC826-7C5E-4DAF-B065-99AA4E00E41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$8C4D56F2-4BBB-481F-889F-E8E2C7881CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f17528c980bb5c2e53c9ff1f025082e225ee0d","datavalue":{"value":{"entity-type":"item","numeric-id":5207907,"id":"Q5207907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$E5EE28F9-477C-4239-9473-747515DA566D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e74cefe3ec6d4bfa66c4d0f8042c82eda576fe","datavalue":{"value":{"entity-type":"item","numeric-id":5176106,"id":"Q5176106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$31D891F3-9CEC-43CE-BBED-8AC7694641D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"721649eb18a7efdb3da63ddc020d9140d1f43658","datavalue":{"value":{"entity-type":"item","numeric-id":5501494,"id":"Q5501494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$638C8ED9-8312-44C2-94F3-197F61AAF2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2000ceaca6f248f470859c6351d59283b2b7f49a","datavalue":{"value":{"entity-type":"item","numeric-id":719296,"id":"Q719296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$ADC7E176-6E84-453F-B585-34E49FBF7FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad79608c604402709f7e3822c9db4f74195a9102","datavalue":{"value":{"entity-type":"item","numeric-id":4972154,"id":"Q4972154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$EFB3257B-A555-40EC-A536-952AF33F0219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1d9b8b284ceeeebce1c66c0271575268ba2eff","datavalue":{"value":{"entity-type":"item","numeric-id":5045444,"id":"Q5045444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$621F35A2-DB37-4031-B900-F52F476DEB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16994922b07f36e432d7ec7c265f971fefdc4a6","datavalue":{"value":{"entity-type":"item","numeric-id":926286,"id":"Q926286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$706AC4EA-893D-440A-9984-02F0CF9EFE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d368581606fa0b78f626e8ba11b24daf9524eab8","datavalue":{"value":{"entity-type":"item","numeric-id":4763060,"id":"Q4763060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$822FE4FE-CF33-4449-A6D8-5E84E416E863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec5f1c5b09c4f7d1969e9bed25f569241d2c6a3","datavalue":{"value":{"entity-type":"item","numeric-id":744729,"id":"Q744729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5207907$6D04F83A-4371-48C2-AEF6-6B0710032548","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e292fee07f86d00fc14b027965b4c8058a7dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5307043,"id":"Q5307043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80916d960b6f67d449deaed2dcb9cfc67d89da13","datavalue":{"value":{"amount":"+0.7373881340026855","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":"Q5207907$F862A52B-E224-429B-916C-B726B19024EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39182eb2345a592ea1bb3e804083bcd7897187de","datavalue":{"value":{"entity-type":"item","numeric-id":2766875,"id":"Q2766875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e192018399de6496130d2640b67f2e32cb7afc47","datavalue":{"value":{"amount":"+0.7104994058609009","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":"Q5207907$6CAFC3E1-A9F9-4D2F-A73F-B98E585F92B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19a6bc209325c8b0dc651a6e7002ac9b19dbd8e","datavalue":{"value":{"entity-type":"item","numeric-id":5480640,"id":"Q5480640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82b3c3833bd74fa182f8ddf8604ac7c5085ee36","datavalue":{"value":{"amount":"+0.6979385018348694","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":"Q5207907$AA2BA956-7279-4585-ADB8-D2BFD7C31317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1851c1cacd27291e112d52685af737809ba11e7","datavalue":{"value":{"entity-type":"item","numeric-id":2827449,"id":"Q2827449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf35c4ec403a6162e4333724972f85a8ae679a12","datavalue":{"value":{"amount":"+0.6962247490882874","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":"Q5207907$C3D5B588-50BB-4BD0-A175-78E8A6CD8093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0bc8da52823b03505deb7a5acf6eb6467338ca","datavalue":{"value":{"entity-type":"item","numeric-id":5176106,"id":"Q5176106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c96b59acaf619a9c8b2535acc887172fce64d5","datavalue":{"value":{"amount":"+0.6890482902526855","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":"Q5207907$E5B12FDF-E290-458A-8433-F3A29955BEB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5207907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5207907"}}}}}