{"entities":{"Q896709":{"pageid":898557,"ns":120,"title":"Item:Q896709","lastrevid":65170767,"modified":"2026-04-12T00:47:10Z","type":"item","id":"Q896709","labels":{"en":{"language":"en","value":"Sufficient conditions for reachability in automata networks with priorities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519476"}},"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":"Q896709$F63A1A0F-97BE-4FAA-A3D7-5C0320FCB840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28090bf47029384ba9fc3a7898572fc3eca0b833","datavalue":{"value":{"text":"Sufficient conditions for reachability in automata networks with priorities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q896709$AF3AEC68-C1D9-4940-8E5E-2AA93B243136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d359b851ef1737593657fe2f32442e15fe028d98","datavalue":{"value":"1332.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896709$F28301BB-F5BF-46A8-A925-183FFCD0F90E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0e0c41d8c73385e4201d28390d516db9f22d6b","datavalue":{"value":{"entity-type":"item","numeric-id":275997,"id":"Q275997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$12F49149-0A05-41C4-AC36-BEC359F8CEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"513bb5e6f46e56090857c3020193a5610efa3f83","datavalue":{"value":{"entity-type":"item","numeric-id":275998,"id":"Q275998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$BBC889B8-6327-4F80-B9F0-7A76E33FEF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"014acc7b1b8614b0afa05b6bd97bc5b41631ca24","datavalue":{"value":{"entity-type":"item","numeric-id":275999,"id":"Q275999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$FAA1686A-F5BA-47F1-9DC3-9E7D17A616AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f5eaebbf7c201717b30817262749feba5d5244","datavalue":{"value":{"entity-type":"item","numeric-id":209128,"id":"Q209128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$2432A129-DAF2-43EE-AFBD-5BBEB5F1DCA8","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":"Q896709$13F98C04-2195-4F98-9F3E-421B2F2CAC8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6e0062212bbfa3dc4430f2b4b6e15b88e23b47c","datavalue":{"value":{"time":"+2015-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q896709$391EF1AC-6DF1-4257-9A04-94B9789790F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896709$DBB852D0-6471-4A27-9BDD-CD93FC25EE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896709$5DD7A43C-2CFE-47AF-BF20-3221EE23DC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896709$C52612A9-4A4F-4E8A-9E6B-0307F8449A62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68e9bc9dee9bd7fda80da6922838e0d34058d451","datavalue":{"value":"6519476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896709$747E204B-2152-48D1-804D-47C37EA91761","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e9106e0f54d170f7c6defbec8dce865779b3b2","datavalue":{"value":"discrete networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q896709$E12FBC1F-CD79-4510-9DB4-BFBB5E486090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q896709$88F5464A-9DAF-4CDD-ADF8-BFA2B2FFF8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q896709$3FEED71B-6804-44A0-A4DB-B04D71488639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46d6150c7890678a4c38b59cf4d61482e1351c2c","datavalue":{"value":"qualitative models","type":"string"},"datatype":"string"},"type":"statement","id":"Q896709$71A76702-4572-41FF-AE53-5277F85007B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71935729bce666d4923eda193cbdcd96dd69ee74","datavalue":{"value":"systems biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q896709$5E5895D6-4F4B-4CCF-AC98-3263D8A00901","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":"Q896709$74BFE74B-1C3B-4544-B9CE-AF00AA8199E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"571035151dfd2265fe088535ef55001167675059","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.08.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q896709$8C2704E7-83B9-4D55-BC5B-52474614F7F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aba12bc2ad54d6ae2990fe2b6b3a9d7a8f4f134a","datavalue":{"value":"W1922300461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896709$0CF89753-9DA4-4960-A756-EEE88785DF8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2891634168a5809d27fdc2e979846d7ce0f96dba","datavalue":{"value":{"entity-type":"item","numeric-id":4001257,"id":"Q4001257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$310EA5ED-A70D-4F64-90B4-30F11210CC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c46b217e9adb3a13d50551cabc068e7f13c88cc","datavalue":{"value":{"entity-type":"item","numeric-id":688424,"id":"Q688424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$22F125F4-198A-43A5-BABA-9ADF4D23A9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9d5f22d5c8ed30a703f669a05d7265129ce767","datavalue":{"value":{"entity-type":"item","numeric-id":3003509,"id":"Q3003509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$AC66B4A4-9A6A-43E7-BE23-82AF0EB13A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6e132c70c7f751df46f24abd3982e08e6f26e1","datavalue":{"value":{"entity-type":"item","numeric-id":553904,"id":"Q553904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$0A982AF6-C274-4192-9367-0B295667CF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90faebe8db911fffe6eda59539b7a7cf2d2759ac","datavalue":{"value":{"entity-type":"item","numeric-id":802881,"id":"Q802881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$44C97D99-00C7-4474-84D4-98D440166D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7de647342d0f7bc746f85196675d8e0e2aaffbd","datavalue":{"value":{"entity-type":"item","numeric-id":2381506,"id":"Q2381506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$AB91DD0B-650D-46F5-A7F2-AF9F32954C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"429a300e305d255c39800ee4b31880c3bc0f2ee6","datavalue":{"value":{"entity-type":"item","numeric-id":3068847,"id":"Q3068847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$41896966-58D6-4CB1-9519-9CF031D6444B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e79b4da0f7a443908eb8667b70b9077b2d4394","datavalue":{"value":{"entity-type":"item","numeric-id":2909733,"id":"Q2909733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$AE4F6A69-D635-43FB-B00D-769DB4C2F91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45b6547cdfa53f3bfe0a1e76a0ebc5eb0475cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1346417,"id":"Q1346417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$79F3E16B-77E6-490E-957C-01ACD3FED401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2270d216ac2dd4043f11d9e6a521d3f783af4f5","datavalue":{"value":{"entity-type":"item","numeric-id":276000,"id":"Q276000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$570D2F23-286E-4742-A3BB-11D603492CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bee29b1bc340eeef425ddbacbb3d5362eb0e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":1854510,"id":"Q1854510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$BFC3571F-09EB-40B2-9E36-2EF3E98AA809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ac5c09f5d8340ff75896f976c408f38ef05401","datavalue":{"value":{"entity-type":"item","numeric-id":4412825,"id":"Q4412825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$D79E1142-54CF-4B72-9EC5-E4DB0AF756FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e6bced9434e3af5aa4ed984ec7b107de6e2ff6","datavalue":{"value":{"entity-type":"item","numeric-id":6487377,"id":"Q6487377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896709$47F0038C-F06B-40FF-9DDB-7B555AD3CDD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24b9bee6252b3d9860f800eae772ee9ee5499556","datavalue":{"value":"10.1016/J.TCS.2015.08.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896709$66A9C51B-7AB6-49E5-BFA3-145BAEB4309B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685615b4b6ad1e33063ad003114b9349f90d7a75","datavalue":{"value":{"entity-type":"item","numeric-id":276000,"id":"Q276000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de5cfb0fd570e61dbdc7f3a212ae3cfa51cc13c","datavalue":{"value":{"amount":"+0.7608763575553894","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":"Q896709$D9DCE3DF-104B-4463-8DCD-6B056E35EAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa5357774224b855ab316659de5bb9a45a37d2c","datavalue":{"value":{"entity-type":"item","numeric-id":1706591,"id":"Q1706591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3140d0270242582772e06a340655490c857bc951","datavalue":{"value":{"amount":"+0.7493682503700256","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":"Q896709$5E2E5C15-311F-444F-AECE-EDCD8DE5476A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023d0935814b938de2ea85fdcc451c74fcf4df9f","datavalue":{"value":{"entity-type":"item","numeric-id":2229143,"id":"Q2229143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c22e22ef42477c47fb6eff32fa286b1dd1374963","datavalue":{"value":{"amount":"+0.7016662955284119","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":"Q896709$9BE36BE2-CDBC-4339-99B0-FF16F41328C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3156d8bbf5757b8643bf66ec1d187590181ea34d","datavalue":{"value":{"entity-type":"item","numeric-id":5166632,"id":"Q5166632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfbf3a5bcac86edb984f72c1db9e935a95b354c","datavalue":{"value":{"amount":"+0.6958694458007812","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":"Q896709$62AE6D9D-F5DF-4B0A-AA22-535AA496B452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25db33271a135e23f0d62a84a4a115b2ca96a4ef","datavalue":{"value":{"entity-type":"item","numeric-id":4931229,"id":"Q4931229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ac30a74907b5df8e4b39cb160540b937362476","datavalue":{"value":{"amount":"+0.6944965720176697","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":"Q896709$7B5BAEDB-EDDE-435E-AE0F-B8843CEDEAF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sufficient conditions for reachability in automata networks with priorities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sufficient_conditions_for_reachability_in_automata_networks_with_priorities"}}}}}