{"entities":{"Q5045444":{"pageid":7075021,"ns":120,"title":"Item:Q5045444","lastrevid":54435500,"modified":"2026-01-26T19:49:28Z","type":"item","id":"Q5045444","labels":{"en":{"language":"en","value":"ASSESS: a tool for automated synthesis of distributed self-stabilizing algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612624"}},"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":"Q5045444$6F568307-09EC-49E3-8BC6-3AE560D4B831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60720ba005da92c1f54890093cf2f5a7aff77139","datavalue":{"value":{"text":"ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045444$BE28E113-30B0-4CC6-976A-BDA9292C2A0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"308e5325c55092984cd27bc9e95ebc90ba54ce54","datavalue":{"value":"1498.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045444$0EE550CE-90CF-469A-95F4-0360554D9352","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ac943ecc33452c439d21903c4ff7b104e2ee695","datavalue":{"value":"10.1007/978-3-319-69084-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045444$AD39110D-F95F-449C-8CD1-06A90C2A7382","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eb8633d4fc2fe019d53117ff3be83d3e76af59d","datavalue":{"value":{"entity-type":"item","numeric-id":2303886,"id":"Q2303886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045444$82F4687D-5E3C-474D-819D-C49CD45D33CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045444$D1A55A5B-3F71-4C03-A196-F435969D0C1B","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":"Q5045444$A98F6B51-C831-4900-9552-BE511ABD5032","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-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":"Q5045444$7C8B0B6B-6C55-4F49-B6AC-23059612EFBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045444$949C4A2E-2825-4649-B240-396B2BA1BD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045444$C2E84BD8-45A9-4A4F-A37E-486373B269BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045444$2A50C903-6F62-46E6-AC7B-46CDC3089B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045444$3CCDB62A-0A45-40FB-B3CF-BC3E251150F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52bd275269d0be754ba04603f59e794fd5e10988","datavalue":{"value":"7612624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045444$246A271F-C9F8-4404-AD4B-B3287E5B62D4","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":"Q5045444$BDAA67EC-F070-42ED-BE98-E358D5ADC214","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4b85d640cd121fe76d1f940951a136261f9f89e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-69084-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045444$0ADCBFAF-4960-420F-9F65-96E15C34BA1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b2e153910c9bd56efbcb1862973a14ad8577610","datavalue":{"value":"W2764022560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045444$7A161008-24F8-4027-978B-D6044F4B8B6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dfefc78e74a9cdd34f6e1283029c09f3e93acd4","datavalue":{"value":{"entity-type":"item","numeric-id":4603447,"id":"Q4603447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236713bac9aa0f9dc4041066fd924e955c1269e0","datavalue":{"value":{"amount":"+0.8600422143936157","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":"Q5045444$45DE4114-4D36-4832-9B61-13C12567A6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2842fee154f3579539ca40307ef46d07666c165","datavalue":{"value":{"entity-type":"item","numeric-id":2303887,"id":"Q2303887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cc3b38f09e1e4e5f77a8ef321d0a3b05a21a0d","datavalue":{"value":{"amount":"+0.8076642155647278","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":"Q5045444$FA044D8E-16D4-43F0-8F9E-91C30AF0E557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"378b91d17b54025dc2fa49ceec9ef023e7adb9fc","datavalue":{"value":{"entity-type":"item","numeric-id":4633532,"id":"Q4633532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f62c31d86453826f585b6d348d080578aeb6a7","datavalue":{"value":{"amount":"+0.7622430920600891","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":"Q5045444$57511F92-2640-45B7-8797-C10CFDD2E8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c0e171a3ca96a14bc02510e23ae56421966cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4356444,"id":"Q4356444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744dac0cbc165f792bd903c748f2e6a5043fb026","datavalue":{"value":{"amount":"+0.754971981048584","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":"Q5045444$71735862-F057-4C17-9CAC-D3752805ECCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12d2b47d8839534304b2610d7111dc9973831b9","datavalue":{"value":{"entity-type":"item","numeric-id":5307034,"id":"Q5307034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94d4f640a5c5d2edf26ab986d0043ab232e2ef1","datavalue":{"value":{"amount":"+0.7376713156700134","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":"Q5045444$51DA478E-372A-45D8-8E03-86DF3AA62BF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5045444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5045444"}}}}}