{"entities":{"Q989543":{"pageid":991391,"ns":120,"title":"Item:Q989543","lastrevid":65865963,"modified":"2026-04-12T05:54:45Z","type":"item","id":"Q989543","labels":{"en":{"language":"en","value":"On conditions for the liveness of weakly persistent nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773835"}},"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":"Q989543$5A2EBA1A-0973-4B36-B690-2E5337789BFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdf3d88607aa5b4e0949f4ef7121d2c5a0c5d3ee","datavalue":{"value":{"text":"On conditions for the liveness of weakly persistent nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q989543$DDA74EB0-937D-455D-A879-D27ADE44FA3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"914fe6721d428ecc44a5d4954fe4cf986f5a8afb","datavalue":{"value":"1202.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989543$E8E43BE6-D669-43D5-AFBB-DFA59BE428E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec015bbb3743dceb56b9db254618a164f08d1642","datavalue":{"value":{"entity-type":"item","numeric-id":989541,"id":"Q989541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989543$0CE3C595-5D48-4D6A-9250-78256F6677FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c40272616ea94856bb2e46ac1dc3c67c5317272b","datavalue":{"value":{"entity-type":"item","numeric-id":865942,"id":"Q865942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989543$B82D2DAC-5AC0-4FD6-8D6D-BB8539C6F0DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989543$F6849ABD-2022-4C26-A774-6A8B66FD7E0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca87747cfd61cbf3bdf39bd7734ed4289af3510","datavalue":{"value":{"time":"+2010-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q989543$3D6DDDAB-B320-4435-A126-1328AF6D96FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989543$87357832-712C-46F6-AF7F-DAE1497DA9F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33145366fc050aad5b3664254863c34cac3a7893","datavalue":{"value":"5773835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989543$ED3E0F69-34F1-4273-B4C3-21900CC734DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q989543$273714C4-1243-42F0-AD1B-470B9FCAF615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db7e41f8a81280ef65cdc86e4aee6a56103928e","datavalue":{"value":"weakly persistent nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q989543$1DD4605B-5FE7-4FA4-8443-96034BEF16B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"596cf7e56c79c020a764b4bc47782f7f9b0a9a7c","datavalue":{"value":"asymmetric choice nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q989543$D682CEDF-9D84-4FB2-B699-19A82D741A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1625327a73a31a5349e392c41832f2be4b2cc792","datavalue":{"value":"intrinsically fair nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q989543$A11451C6-9242-4E5D-827D-D683E798110C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q989543$85780C05-DFB6-4B59-A585-D00B5E842746","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":"Q989543$451BF872-C644-4104-807E-3B6B430B401A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"497d2ac596907619967ebeddeb242ff3117db7e6","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2009.05.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q989543$1CB6161E-B4BB-49E2-B895-F085D7713006","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e401bc6210c0b73de808ea8a6f2288f29482283a","datavalue":{"value":"W1986130886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989543$D8F0DF5D-4424-4548-91A4-0D2D69476C9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d111f686b4278fdf8b58b1d04a8ed095951a5ec","datavalue":{"value":{"entity-type":"item","numeric-id":1158764,"id":"Q1158764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989543$7378FAC4-F6B6-44A1-BC7E-D1564F4C27B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b10e849300e00fd1e144daa53852ad66db24035","datavalue":{"value":{"entity-type":"item","numeric-id":1186602,"id":"Q1186602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989543$A875FEF4-2598-4F4B-AD4A-FD9785567992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989543$9E53C729-EE08-4916-863E-86C7E87DCD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989543$789AA8A9-D3E4-444B-93D8-206E45E4E832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989543$811D3EAA-1CFC-4456-A8C3-6015C1689505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6614d2625305477d45eff3344531aa4f7a898d","datavalue":{"value":{"entity-type":"item","numeric-id":3313266,"id":"Q3313266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989543$CD51AEB0-3E97-4F36-927F-E6BD6381ED7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcb12b08f88c3b884654a3e9eb4c7245b6c09c52","datavalue":{"value":"10.1016/J.IPL.2009.05.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989543$F0F612E9-2C11-4E0C-A61E-FA6103F9FFDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b067c6a36402f13bf69128c9a0cf0892cbf9d144","datavalue":{"value":{"entity-type":"item","numeric-id":4633154,"id":"Q4633154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e81fe9ff4f3c08ce445b90e49fbec0eecd062b","datavalue":{"value":{"amount":"+0.823989987373352","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":"Q989543$C09555CA-540C-4164-86CE-907446D55B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36274df13f4d9d3c1f69a45b3ce132c167fc888b","datavalue":{"value":{"entity-type":"item","numeric-id":3045261,"id":"Q3045261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c144ab793d5993a85287190cb5e336983d0701","datavalue":{"value":{"amount":"+0.8161994814872742","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":"Q989543$B1F22CE0-455B-4491-A741-780EC2A4A729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78fd64863deec96bd6c4ed444f6784df5898a371","datavalue":{"value":{"entity-type":"item","numeric-id":1186602,"id":"Q1186602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3e60836aca12116735dd6ef256ad48288e6875","datavalue":{"value":{"amount":"+0.8149744868278503","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":"Q989543$DC6B6897-1759-4957-BB7C-DFD72F50A432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a5f75d2dd4887ca493d789dce68a71b4ec3cd78","datavalue":{"value":{"entity-type":"item","numeric-id":3773359,"id":"Q3773359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d654fe968e88b1eea27d19ab12d3b431b3948b56","datavalue":{"value":{"amount":"+0.7928590774536133","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":"Q989543$E9534F65-3CDD-42D7-8FFB-18180216FEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb7bfaf2f2775a7ef2cb48f5d9f3caf21976b3b","datavalue":{"value":{"entity-type":"item","numeric-id":5696930,"id":"Q5696930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba14dce7df3fd755d6616191902020655b56f91f","datavalue":{"value":{"amount":"+0.7866928577423096","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":"Q989543$A3D2C2CB-B659-41A0-91B7-BE31291A6C6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On conditions for the liveness of weakly persistent nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_conditions_for_the_liveness_of_weakly_persistent_nets"}}}}}