{"entities":{"Q4632424":{"pageid":6662005,"ns":120,"title":"Item:Q4632424","lastrevid":53409722,"modified":"2026-01-24T22:17:03Z","type":"item","id":"Q4632424","labels":{"en":{"language":"en","value":"Liveness in timed and untimed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048672"}},"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":"Q4632424$1E6F3EDF-4687-4BF1-A952-5D31EC9D4C84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"930bdfbc8f641e5326f7f744b36c8a57cc3f5c82","datavalue":{"value":{"text":"Liveness in timed and untimed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632424$E50D1BB9-C81E-4CEC-AEB0-CA492985AC54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12bb5e89c9af56fd740b93cfde01b5b31304582d","datavalue":{"value":"1418.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632424$0F207CC6-6739-4BD0-B199-3430DF8C111D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e710da0325a4c1bcbef2f2a891981f3f1253087","datavalue":{"value":"10.1007/3-540-58201-0_66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632424$34BB903A-2219-4A54-B439-572D6387E75A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93b0474129263ac081decb3cc164091e6acbcf57","datavalue":{"value":{"entity-type":"item","numeric-id":1271469,"id":"Q1271469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632424$B271C30B-15E4-4093-ABFD-18C1A0829ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9b93e9c4da01bb33a6752e107e968e98464f50","datavalue":{"value":{"entity-type":"item","numeric-id":627126,"id":"Q627126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632424$8F29B451-58DD-47A4-82B4-889D7A75039D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2719734661209e60ab19756f025727d9a339c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1271470,"id":"Q1271470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632424$CBEC1F27-4E89-4576-A740-5CFC43D35786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c104efc4aabc14c241ca7bc47803e7ee14b98b","datavalue":{"value":{"entity-type":"item","numeric-id":660993,"id":"Q660993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632424$907AF001-E41F-40D8-99D6-D9B90FD2DD57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632424$75E44CC4-CA14-42CB-8CD5-F080E8901C35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632424$1AC85801-CE2C-44A0-B2E6-5196F91008A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632424$F55B1866-C2E1-4A8B-91A8-20181157DB14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93a562f17078c6b85d50fe5d2a9fa47a72c88604","datavalue":{"value":"7048672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632424$D57399FB-F2D7-40DC-B9B0-6D2E349D202A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c06740794926a86231e70a0e0d4aad3f71658bea","datavalue":{"value":"output action","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632424$E499C71D-23BC-43AE-8B74-6243497D112C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68ca9e8f6f85db0c4e16d1f128b57f213192f250","datavalue":{"value":"safety property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632424$06448680-AFE0-42BA-95C1-D6ED03215E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632424$1BAC90AE-43DE-4124-B19F-DA4F124CB473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47c2ed3f9bbf6fd2b4262cb256df5e61c903d097","datavalue":{"value":"input action","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632424$4CA748F2-5B61-4B95-84C9-A3EFFFDE157A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a58a6ebb295d1c2d63f494aa955907a71e3aba66","datavalue":{"value":"liveness property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632424$169A42AF-7599-4850-87F3-2C11C3F9F50C","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":"Q4632424$0048B88E-2E14-4C36-B614-33A5764318EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a28ae32521634bba1eab8a889ae52b0ba190192","datavalue":{"value":"https://doi.org/10.1007/3-540-58201-0_66","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632424$901D9DB5-91F1-40E3-AD3A-E6EF7F789FF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af549d4cfc6f3698f365a534eaa18c987d0ba40f","datavalue":{"value":"W1796678419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632424$466AC44E-57F7-4E80-AE8E-1AAE14063470","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632424$1E4ACF4C-1E2B-4122-A045-AB93D8347D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3ea49daaa46b2f1f407dc59970cface2dd4541","datavalue":{"value":{"entity-type":"item","numeric-id":916351,"id":"Q916351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632424$E698DE8F-D665-4A12-878C-65708ABC47DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d992845428d0fb8f1ced1ab9e6345b202f4dbe","datavalue":{"value":{"entity-type":"item","numeric-id":1271471,"id":"Q1271471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632424$78B85EB7-033B-4AC3-A2CD-FE020AB621C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9709307325ef302f0348358733259f8409ee727","datavalue":{"value":{"entity-type":"item","numeric-id":5447367,"id":"Q5447367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632424$4A0DA4E1-A6A4-41D8-BF2B-2D0D0AC2ECEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632424$B8392855-E704-4ABD-9A96-CA427DCF6CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e31ac4f1c49c2d82ee9e9e45b6879c54033335","datavalue":{"value":{"entity-type":"item","numeric-id":1923088,"id":"Q1923088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632424$063DCED6-0461-44D4-841F-1C7ED9DA7E4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164736918542e97f23226b0e59bc4c011d7bb63a","datavalue":{"value":{"entity-type":"item","numeric-id":1271471,"id":"Q1271471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0069bd09b4948aff666f02d155767dc47571e052","datavalue":{"value":{"amount":"+0.8546100854873657","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":"Q4632424$A3636F3E-2B80-4F5B-92CE-BFDCB0321CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85c8c487760a0f7469bf3c53ab1894e03ddf591","datavalue":{"value":{"entity-type":"item","numeric-id":763239,"id":"Q763239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be9cbdc16848fb4f48a652d314b1d9749232e49","datavalue":{"value":{"amount":"+0.8418228626251221","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":"Q4632424$31F24EAB-66CE-4888-BB56-9956B857E204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634dfabe00a07605e9a753925e94eef5e40c02fd","datavalue":{"value":{"entity-type":"item","numeric-id":4518892,"id":"Q4518892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb951f330325e459e9e19b80508298cf9f5786b6","datavalue":{"value":{"amount":"+0.7781568765640259","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":"Q4632424$8AC2CCC6-C824-45D3-BD94-40CFE5BCF8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950bd244f0d0900c530a7298f4d046a9e4e62f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5429333,"id":"Q5429333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f47d75b40b3fcf42bee2159800105dd84f2880c","datavalue":{"value":{"amount":"+0.7781566381454468","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":"Q4632424$898AD956-D87B-4E7F-A447-688FC1988001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a73633fff28832fbe684b4d4940f895217aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4037387,"id":"Q4037387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daca8149c186b5ef0037a5c4e64e1866d515563b","datavalue":{"value":{"amount":"+0.7566250562667847","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":"Q4632424$577B19C7-55E6-45A0-A3A0-A7D1C6F9B9CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632424"}}}}}