{"entities":{"Q5480640":{"pageid":7510200,"ns":120,"title":"Item:Q5480640","lastrevid":49884730,"modified":"2026-01-11T15:08:17Z","type":"item","id":"Q5480640","labels":{"en":{"language":"en","value":"Decidability analysis of self-stabilization for infinite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5043327"}},"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":"Q5480640$6CBB6AAC-E994-4DC0-A21C-073D708D92FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6435810ffc4cf73488f5d03a61dabf635deb1a0","datavalue":{"value":"1095.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480640$785A8955-81C3-41D0-917F-DC69CC4F47D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef70989854b46304c6274e59f7064331acfcdafe","datavalue":{"value":{"entity-type":"item","numeric-id":344509,"id":"Q344509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480640$80A0F7FD-AED8-4CD1-868B-E6347E3C3EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ff1e8bbb8c3d45dbcc172f0252681ed71c09f4","datavalue":{"value":{"entity-type":"item","numeric-id":3082922,"id":"Q3082922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5480640$1D1FFDBD-BD4F-43B1-818C-F485C5EBA21D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1502cd93c70708761a59d4ffb221e92b26324d36","datavalue":{"value":{"time":"+2006-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5480640$744F702C-4018-4C62-9B5A-4AC7DC856C3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480640$1F8F2C8E-051E-44BE-9CAE-86E3A75E3651","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cd675936c99bb503c5845f3a9b9364db944b3ca","datavalue":{"value":"5043327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5480640$8A689814-6D20-44C7-B51C-020EB1C45803","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a80941817b7eb49207fa253d53427c0c858e6ee7","datavalue":{"value":"lossy vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480640$4410A96D-8C2E-4FCA-BB51-9DE11482B475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a919bc8bf7925f352a02c698dc2c2883f2ca492","datavalue":{"value":"lossy counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480640$5B3C3F11-FED1-44BB-A517-D1D5FA19A401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86f0478f33ab4d395bc21e53f2de2ad666e2e0b6","datavalue":{"value":"lossy channel systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5480640$B70C2EF6-7B3F-4B9B-95C6-A3DD4B8B6E3B","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":"Q5480640$0A789599-829A-4AB5-9177-E13B87FE19AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2dc5fbacce1665baf464f625146e46a26f081a","datavalue":{"value":{"entity-type":"item","numeric-id":1892714,"id":"Q1892714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2356cb0a9ee6147b38b03a286bedc41fdd1554","datavalue":{"value":{"amount":"+0.7494875192642212","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":"Q5480640$54261876-D22E-4E52-B631-2675A26D72D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7274f7c3be4948146bea21c6cc6d91934b7377","datavalue":{"value":{"entity-type":"item","numeric-id":1083187,"id":"Q1083187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92faecb2924c8dd321180e27f441287859934b72","datavalue":{"value":{"amount":"+0.7489794492721558","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":"Q5480640$79FD8C61-527C-403F-94E2-04A4371022EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6effe004b11319500cf470d640839e2d3ae7e058","datavalue":{"value":{"entity-type":"item","numeric-id":438572,"id":"Q438572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e39e528c988971b5f3520601354b5735119f793","datavalue":{"value":{"amount":"+0.7443199157714844","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":"Q5480640$A6C3B973-A561-41D3-9AAC-F9360B04274E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159bc2f3edacf55921cff5859dd8bb8aa9f3890e","datavalue":{"value":{"entity-type":"item","numeric-id":913475,"id":"Q913475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddbd51f9f57a8969446fbd9e3c246103185a6188","datavalue":{"value":{"amount":"+0.7415766716003418","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":"Q5480640$A681CBFD-44F7-42B0-B6E8-7AA22BCBCF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5306d05778ad05b38750d739f43599a2720820fc","datavalue":{"value":{"entity-type":"item","numeric-id":2947955,"id":"Q2947955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c458cdda0a5100a752c99e287624ddbe41190a02","datavalue":{"value":{"amount":"+0.7382000088691711","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":"Q5480640$F2000B9E-A0CB-4B54-A1B0-023BCBB29552","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5480640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5480640"}}}}}