{"entities":{"Q2465051":{"pageid":2475794,"ns":120,"title":"Item:Q2465051","lastrevid":78841112,"modified":"2026-05-06T12:33:38Z","type":"item","id":"Q2465051","labels":{"en":{"language":"en","value":"A complete characterization of deterministic regular liveness properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221705"}},"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":"Q2465051$18F8C425-C9AB-4C03-87C2-C1276F51C4AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29e4b98dbb5f1ca8f81b58a2c6c62b3d4332fdb9","datavalue":{"value":{"text":"A complete characterization of deterministic regular liveness properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2465051$AC9E235A-2828-4D67-8617-3ED03296D6E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0c4966ece8abb2e196cf50bfe9d7d4d510d256b","datavalue":{"value":"1143.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465051$01F4F2C8-7388-4F96-A77A-B4543B9747A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b9c86d6de1987121914fb8ac98813aa3ec46adf","datavalue":{"value":{"entity-type":"item","numeric-id":1763717,"id":"Q1763717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$E4FAAB26-6D62-44AE-9BCB-33F38F0956FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dcea5c1aa112c4c41bcb8a73cac9df067f482e6","datavalue":{"value":{"entity-type":"item","numeric-id":845907,"id":"Q845907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$7ADB423C-561C-465E-9561-2C14AAB87B19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$7423C12E-2CB8-4028-A0C7-4F9C812D5E94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df5b94b9643f948ad59b028b4790134db434aa81","datavalue":{"value":{"time":"+2007-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2465051$B75559D0-5213-44D2-91EA-0B7F14315F7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465051$B93AF7FA-3FB0-4059-8536-F4A8E8D9A228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465051$01364B9C-E626-4BA4-878B-B3F8CB1C2A3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"269d42b1e45b6eeb566f96dffdac6df771a5b755","datavalue":{"value":"5221705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465051$D2FC5C42-22C8-43D9-BA57-4BAF011D3A0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465051$183AA2DA-C78C-418A-855A-405A31277D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a6d6d79bdd026d39e6787f04d21c9719905414","datavalue":{"value":"properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465051$416E9977-2D71-4C0D-A5EB-E0074E881188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465051$C553D7BD-29EF-49FD-989D-8423ED6DD7BC","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":"Q2465051$EC368BE2-5C89-4E13-AA95-AD6FE31B915F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96260d39b5860774931dd5f2bb5329195f059163","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.07.038","type":"string"},"datatype":"url"},"type":"statement","id":"Q2465051$520ECF5E-37B1-4331-B280-A1F1DF389206","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"291df5c10305b5b009c1a0fd18728c0e213b8935","datavalue":{"value":"W2011840823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465051$BA598FFE-F102-4D3D-977B-05373ED4A134","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":"Q2465051$8C6161B6-349E-40B0-9B93-93AAE724C754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$C3C9B09D-B239-415C-88A3-976456CBDB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$9F328238-0595-4C34-8E49-BB65F13AFBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$A3FBEB9C-B387-4D0B-8EE5-170BBE06F5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$436BC51E-0BE1-4935-8F94-97AC3A7A4BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b82b943ef6f04aab6939bcfa83d0d3b98b0678","datavalue":{"value":{"entity-type":"item","numeric-id":4936149,"id":"Q4936149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$8124FC6E-B4EE-4D43-86C0-E30F85992C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab4573b227fbba8ffa410ea5afa5ff5132abb7d","datavalue":{"value":{"entity-type":"item","numeric-id":1116702,"id":"Q1116702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$86C1FBEC-0334-4225-B602-A325AC6F2D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$9DB60170-4FFB-4576-95CF-EEB72AF4DAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a592cba5bd50a769a8b95145033ff13a570cf73","datavalue":{"value":{"entity-type":"item","numeric-id":5573396,"id":"Q5573396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$78C5BED9-6868-4D2F-93FE-A478C0379D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$37D4EFB5-944C-4F26-AC3A-988C5216B2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b72739cffc5b149fff26b6403340bd430747c6d2","datavalue":{"value":{"entity-type":"item","numeric-id":1110426,"id":"Q1110426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$5B59CE18-4437-4F1F-BB9B-7FCA358FC4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$61226737-F252-4A4C-8C6D-1A3BFD382CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465051$74B7F5A5-3E64-410C-9A46-957B50F90CF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e49a3642db4aa75aa799bad1f525057980153d8","datavalue":{"value":"10.1016/J.TCS.2007.07.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465051$C37CF1C4-0F68-47F4-9ABB-633A7EDB0844","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4812e74667e830af80515962e56cb62df67645","datavalue":{"value":{"entity-type":"item","numeric-id":5484906,"id":"Q5484906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc18fb1ed56a5a64ae080b69a6fcb6456d51fe06","datavalue":{"value":{"amount":"+0.7706647515296936","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":"Q2465051$A917A497-C90F-4789-B748-B4AED4C54533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce2d5ae8677f8dbaaf06f27ce6827e07f518175","datavalue":{"value":{"entity-type":"item","numeric-id":5394176,"id":"Q5394176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3957ab9bc2065c1852e8803724032590c72684","datavalue":{"value":{"amount":"+0.770465612411499","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":"Q2465051$A7A66B51-DDD5-4473-87E9-A048E7825C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567372ccab0053b8ac04a6c83539f1eb0df533f","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ec02501b7b87693de8ad9e01e2940dd8e28afe","datavalue":{"value":{"amount":"+0.7682169079780579","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":"Q2465051$C202638A-7660-4EEA-BDE3-52519376B658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c752378b7d6d127a51cef2c6464d601a244e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3590920,"id":"Q3590920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11380c13208f1b282ef84df4b6c0cd498dce9d1","datavalue":{"value":{"amount":"+0.7638464570045471","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":"Q2465051$EDEFDEA2-0349-48BA-8FC6-560CBA046E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14dd69b4a3afedf0119a4e3e47e3d18e7f6391a","datavalue":{"value":{"entity-type":"item","numeric-id":2787415,"id":"Q2787415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a248ef60c5e28b846827e9ae42ba47e2fc09a3e6","datavalue":{"value":{"amount":"+0.760995626449585","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":"Q2465051$6EC4777E-8EA2-41E3-9B6D-5BB6CB3A2AED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete characterization of deterministic regular liveness properties","badges":[]}}}}}