{"entities":{"Q4621227":{"pageid":6650810,"ns":120,"title":"Item:Q4621227","lastrevid":53350064,"modified":"2026-01-24T19:12:41Z","type":"item","id":"Q4621227","labels":{"en":{"language":"en","value":"Fault-free refinements for interface automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020217"}},"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":"Q4621227$D8AEFB4B-F2BD-4C73-B479-D89DA8201373","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"260209ae0261b2bd4c84f13131909e5cc13670d1","datavalue":{"value":{"text":"Fault-Free Refinements for Interface Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621227$4BE87C19-9917-4D05-8665-02BFDE88C3ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43443c640204bfa3be31116d5af5b83ba4364772","datavalue":{"value":"1424.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621227$9BBF4F72-7C2C-4C12-9474-02BADBB170E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64ad46d1c403e00a99512f4ecddb13dcacaa90f1","datavalue":{"value":"10.7561/SACS.2018.2.289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621227$094C1C71-D1FC-4DFF-A05B-9AC64436233B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7835f76927b8fb89711992c08eff14ed23b26bd","datavalue":{"value":{"entity-type":"item","numeric-id":2675804,"id":"Q2675804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621227$119C6DFA-E57E-4CDB-8800-CE2A105551B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621227$89CFD7ED-7680-4965-8F64-F57605DAF6A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621227$B5DEB02A-4A0E-4A28-B765-F303E1593977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621227$6F8C6005-6942-42FE-BBEB-ABE9BE35BB65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621227$CEB50400-5F6E-469F-B941-FCB575B61773","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f01f0a362488a9667dcd999223519c3f44b208c3","datavalue":{"value":"7020217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621227$3E4CC1BB-E8EE-4004-B7DC-001833769EB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621227$32368A5A-176E-4161-A125-6F94848EEA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5ab69f91f0366c6020ad457880565de4e363868","datavalue":{"value":"precongruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621227$5D2699FC-50B5-44BF-8D6F-43F4AF34B984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af54e051c4bdba93f3cfe661c0c6a94d44e8d87f","datavalue":{"value":"conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621227$203341FD-1759-4F00-A947-3F6BF42B19BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04cdd5fb884b99b76f46dc32107e7543cf1bbfe5","datavalue":{"value":"quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621227$D832CE83-164F-41E7-94A3-3149D14BA7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faf5ebfdb31d0feefc24bde5a6658e010177744b","datavalue":{"value":"quiescence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621227$0BA41FD2-4281-4A46-9F1E-132F279215EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621227$5E6243F2-BB39-4445-A0CD-49AF44DA4E29","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":"Q4621227$6016721D-BA35-4CE3-A15A-2DA454253FCA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"52a8061761480a80068e6bd40e5ee2c15fd30a81","datavalue":{"value":"Q129187925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621227$2C2407FB-7F99-4967-AB9E-9C17780CEEEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be67da22386574a08079d5219967ea00eef6883b","datavalue":{"value":{"entity-type":"item","numeric-id":2938099,"id":"Q2938099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb70fffd65849173fd6166e24f623f66694c6ea1","datavalue":{"value":{"amount":"+0.7958630323410034","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":"Q4621227$F7DB2446-370B-43B0-8BC3-A44D7846C820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d5f61f75909311132e3a910b76cf0cd496d3f2","datavalue":{"value":{"entity-type":"item","numeric-id":2517232,"id":"Q2517232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0322877483a6a47b6f82db7e4fce556be64a460","datavalue":{"value":{"amount":"+0.7950835227966309","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":"Q4621227$8BB6022C-FE61-4D2C-9E92-6D7801739228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22af2dc8ddab2f2ce054b7e8f30fc52de22d295c","datavalue":{"value":{"entity-type":"item","numeric-id":402131,"id":"Q402131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c20ff3eafb9830c87254527dc78b97a0ecc9ad4c","datavalue":{"value":{"amount":"+0.7404199838638306","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":"Q4621227$1B359FF8-F2CE-4A81-9834-003F70076D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493cad6f3de1d42c53b0c3cf7ee8b567ee64dde4","datavalue":{"value":{"entity-type":"item","numeric-id":706513,"id":"Q706513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf4c7a045cfd3d2c0a3debf7cddede7cd6159dd","datavalue":{"value":{"amount":"+0.7144156694412231","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":"Q4621227$8D3DE881-81FD-4367-BAB7-D31A21FDB0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9086ff309d2aee54a565e9c6d8c03e2a22c87413","datavalue":{"value":{"entity-type":"item","numeric-id":5891780,"id":"Q5891780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d754924d27f215f696bfc3730f34232ef8702ada","datavalue":{"value":{"amount":"+0.7110625505447388","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":"Q4621227$042D50EC-2E76-4BC9-9D3B-4C646AEC63C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621227"}}}}}