{"entities":{"Q4902258":{"pageid":6931837,"ns":120,"title":"Item:Q4902258","lastrevid":51631316,"modified":"2026-01-19T04:06:03Z","type":"item","id":"Q4902258","labels":{"en":{"language":"en","value":"Implementation and verification of ring termination detection protocols using structured rv-systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6125221"}},"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":"Q4902258$C4CC2DFE-0375-46DD-9F0B-8F552BA0961C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28a94d966d89c463b30a88e4c8de351977d2a7af","datavalue":{"value":"1265.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902258$9BB8EEFD-E0E1-4767-BBBE-5768C6027757","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b348443563013712cd0868bb8f333db39958301f","datavalue":{"value":{"entity-type":"item","numeric-id":2828284,"id":"Q2828284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902258$7A17501A-13E4-4F57-943C-EB8DC396592F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b36f8953419b12d7e9e20c7a09e7abcc7fd1d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":987965,"id":"Q987965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902258$AD752601-6C73-4C2E-A6C5-BC6C11F92347","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7cc0eaf9bc686bec2cdab83ca170990c285c570","datavalue":{"value":{"time":"+2013-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":"Q4902258$9B352957-AAF9-44F3-B552-9AE90C679CAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902258$15C6C561-E01F-46F0-A462-CBF99C1EC59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902258$0338A2E9-D5FD-48E3-AE6A-801D28F9D248","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43f643e659a871de0058117e28a1d7c4ea7be0d2","datavalue":{"value":"6125221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902258$BC042FBA-ABA1-4C8F-9B5E-BCE12DEA7FC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2a7bef903e21cd4688f9fff87cc5223e42b8c6d","datavalue":{"value":"ring termination detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902258$99E53FF7-508D-44CC-8DD8-27AE5F3B8CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8201d39f1103eacf091c8f8b7f248ed89a65a622","datavalue":{"value":"structured rv-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902258$862EC536-AC6C-4E21-B47F-CE974A61BE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902258$786F0EC8-7FCF-4408-82E2-E061789C7077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902258$71336F58-E482-434E-B628-7037F702766F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be986b582b93a797489af5243241eec92dee9a5c","datavalue":{"value":"interactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902258$EBD1EE0B-266E-4A10-AB37-2674297F694B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d088143878a44fb9f65c444b15431eaa805cc3d2","datavalue":{"value":"registers and voices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902258$D2D115CC-E719-4D68-85D9-952A7916383F","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":"Q4902258$1AF1D1A1-CFB3-44FC-9384-E09A6BE9A81D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94607b60a2d7d92cc693c3f0b64646d92e679563","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f208dc70b3241d63c1a3a3f953b0d883597d5be","datavalue":{"value":{"amount":"+0.7186980843544006","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":"Q4902258$1CA37B72-F9F7-41FC-AD49-140C06B00350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5658ce50ddcdd9692aeb583e43688d7c48ebf00d","datavalue":{"value":{"entity-type":"item","numeric-id":1124323,"id":"Q1124323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bbbe7beed2e04d6ea3afc102965dc150e364095","datavalue":{"value":{"amount":"+0.7144039869308472","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":"Q4902258$3DF3E47B-D68B-436A-A313-E6B01E73CD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b228d2a15de93e0290e7196d4976d601c072b3","datavalue":{"value":{"entity-type":"item","numeric-id":1077154,"id":"Q1077154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6e2d7320ca12fdfeff045e8baa1ea1da14388a","datavalue":{"value":{"amount":"+0.7076725959777832","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":"Q4902258$3F6EFF9D-BA5F-4B67-8B21-FEB730CAD0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586b8f44b788ef332bf18ff7f874d0852a12981e","datavalue":{"value":{"entity-type":"item","numeric-id":5448652,"id":"Q5448652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f6c5ccda2ee743e2e5ebbe78a933a2531abb9a","datavalue":{"value":{"amount":"+0.6970478296279907","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":"Q4902258$1E8F7BD5-8A57-4627-BE97-54A503B6EE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e84cb0dcaf98994c68c3b91b170dc3e8fa1013a","datavalue":{"value":{"entity-type":"item","numeric-id":4725762,"id":"Q4725762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165ee37e645aa5e4f08c440771c23c046b4f5c01","datavalue":{"value":{"amount":"+0.6875618100166321","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":"Q4902258$7E892DE4-D63D-4DB3-8F75-1162E88681C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4902258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4902258"}}}}}