{"entities":{"Q804304":{"pageid":806152,"ns":120,"title":"Item:Q804304","lastrevid":49502068,"modified":"2026-01-07T08:46:52Z","type":"item","id":"Q804304","labels":{"en":{"language":"en","value":"Global and local views of state fairness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4201653"}},"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":"Q804304$ABC1A478-63FB-4676-90C8-667EF128EC81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8da2f4e06bba0eeed9ea58b0892a3863361fecf","datavalue":{"value":{"text":"Global and local views of state fairness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804304$699E934F-1EB9-46F5-BE56-3B74247964A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a750dde62d84fb370f790f3eb181b6f699dd8a5e","datavalue":{"value":"0727.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804304$9C799C59-C78B-4455-8544-043F18A5DE12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22fba1c49792320135408d90c9af013e656c69f2","datavalue":{"value":"10.1016/0304-3975(91)90206-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804304$1C79AAE1-D7C5-42C1-BD89-27F4EA88B576","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d1514257d658e010131bff41324899be3f49134","datavalue":{"value":{"entity-type":"item","numeric-id":688712,"id":"Q688712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$15003F59-C526-4393-B942-AA6731206535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0fbe9a2f35bfbb97131fdd4f5f88a8af0c602f0","datavalue":{"value":{"entity-type":"item","numeric-id":688713,"id":"Q688713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$D9A8294A-41CA-4432-AA6A-ACB641A47C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef70989854b46304c6274e59f7064331acfcdafe","datavalue":{"value":{"entity-type":"item","numeric-id":344509,"id":"Q344509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$B7B5BB37-0E6D-4607-B046-16A4A1DE07BE","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":"Q804304$09EB1B0F-23FD-404C-A18B-ADD33B7B34B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q804304$1CE9677A-C7F0-4393-B2B0-937D72FDBFBD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f349f5213186850edfa918616167f7d28dc6537b","datavalue":{"value":"Global and local versions of state fairness for systems of concurrent programs and Petri nets are discussed. The most important assertions are the following:    Theorem 4.5: The following two problems are PSPACE-complete: (a) the globally state fair nontermination problem for systems of concurrent Boolean programs (b) the globally state fair nontermination problem for i-bounded Petri nets.    Theorem 4.7: The following two problems are complete for EXPTIME:    (a) the locally state fair nontermination problem for systems of concurrent Boolean programs    (b) the locally state fair nontermination problem for 1-bounded Petri nets.    Theorem 5.1: The globally state fair nontermination problem for Petri nets is decidable.    Theorem 5.2: The locally state fair nontermination problem for Petri nets is \\(\\Sigma_ 1\\)-hard, where \\(\\Sigma_ 1\\) is the set of languages accepted by Turing machines.","type":"string"},"datatype":"string"},"type":"statement","id":"Q804304$5C61402D-B133-4FCE-B70A-CB46F95FF8E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804304$33373C9F-2CBF-4EEE-82F8-E15431B273EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804304$D7D62481-5639-47B3-8322-AEAB5F6CE710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804304$D7D015F3-6CF2-418D-8C01-AC1849B9DCC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d2a3de6091b901d24f27dcda0ca969e9ec6925d","datavalue":{"value":"4201653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804304$BA5784B5-15A1-47DC-96F4-527ABC99D518","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q804304$69817BA9-F815-4511-AC77-1B8818B4AA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q804304$B5DAAB32-99CC-4C81-9AA3-6E40F3FBA641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q804304$B4647C6F-49E7-4747-83BA-7943A5D8F092","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"12551b7fef2abac6d240e7f41054edbfb3bb1f29","datavalue":{"value":{"entity-type":"item","numeric-id":415428,"id":"Q415428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$978F947C-6B6A-4669-AABD-82AF3E478ABA","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":"Q804304$9EEBF61D-ED55-47AB-81D6-B5BEB5B243C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc399840bc4fb20441faf653fd5c0f0cd40a6d33","datavalue":{"value":{"entity-type":"item","numeric-id":3766865,"id":"Q3766865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$4751650F-34EE-48EC-8059-F31A66B87827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85fb7315ee2b5f0dddf434e9d7137f69966e096","datavalue":{"value":{"entity-type":"item","numeric-id":3687727,"id":"Q3687727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$C00FE36A-AFDB-458B-AEA8-DEDD429EFE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$644C722A-AA3E-42CD-ADBB-29C57A91C4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$7ACCE7D8-7C28-4A6F-9286-C02F6500ECA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$4B67F4D7-B3AE-43CB-AD97-A2FB98E803D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fba24eebf9a9cb6fcf2859930b3f9055902a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3723681,"id":"Q3723681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$7149FB34-72F8-468B-AE2B-BAA12DA23822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$C682A952-88AB-4BB0-8401-197E2BD986BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$1803D656-D29D-4CED-ABEA-FBEC2DF092D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cabab4c92660a00945d26fb0d1212977d945e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1121023,"id":"Q1121023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$00E581EC-0A7D-4A32-8142-7B0B5467D0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce121b7e0aef611d4fe9bdfd85b484ae947c5d8f","datavalue":{"value":{"entity-type":"item","numeric-id":3802633,"id":"Q3802633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$A35E0A84-34E9-484E-92D1-AFED29DF1631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$D37C0C56-8482-478B-AA48-7D18BB266A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$B8DB2BF7-B88A-46C4-A429-567544DC58F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57375aaeb2518d9af85d4868f1b2eb7c14017efa","datavalue":{"value":{"entity-type":"item","numeric-id":1146980,"id":"Q1146980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$497AAB3B-7D69-4964-9A36-EA7DCFA4FBC6","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":"Q804304$1473102C-EE36-4F24-B74A-5F9BF5C9F7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$671E3186-6131-49A3-B153-62394A5EFAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$39B1082C-45F7-4E61-BF2C-88F54CBBFE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e0a5ea99878fcbdbb6bb9b18eb9fce9101e415","datavalue":{"value":{"entity-type":"item","numeric-id":1166926,"id":"Q1166926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$B802F2FF-F16A-4CB0-9A0B-CC19EDED751F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f955881ec719424b635d12ed43cbd0176010fe","datavalue":{"value":{"entity-type":"item","numeric-id":1162148,"id":"Q1162148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$7B781AC0-969B-45F5-8FDC-080877A9A46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$C5466894-F5D0-48A1-88CB-F5536ED2043B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$CD91AD00-4ADB-4B75-8286-3157FCA70A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$03BD4132-3EB0-4FFF-A3A5-F960A562792F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c6f47cc4b63b7396b12f080e9f12aef7d17d05b","datavalue":{"value":{"entity-type":"item","numeric-id":1111384,"id":"Q1111384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$66BFC391-257C-466B-9610-8DD8508CFB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804304$F9E9C11D-ED4D-4581-975A-DD54E78D89E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a192ade9df896739a4884e959c007272576e066b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90206-h","type":"string"},"datatype":"url"},"type":"statement","id":"Q804304$0424B57F-86A2-4711-85B2-1A5CCB3CF3D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd10ac83d74bb95405acab0cdfa5b206839f66c2","datavalue":{"value":"W2016220909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804304$CB95766D-646F-45CE-BA90-5FE48C5C147D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f65da00b0efe3481470d910bacd493dff14057","datavalue":{"value":{"entity-type":"item","numeric-id":3802633,"id":"Q3802633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69392277114a653bf99f2de27509c20fe8b0a48b","datavalue":{"value":{"amount":"+0.8553455471992493","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":"Q804304$E19E00F5-1645-440F-A4ED-3A5E9A729B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25c4f26afbe4cf2371342c499b3126044c27ca5","datavalue":{"value":{"entity-type":"item","numeric-id":3766865,"id":"Q3766865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9c6d48cb0518005e6a0ac4c01f6f06b760bc46","datavalue":{"value":{"amount":"+0.8450828790664673","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":"Q804304$4FC9ECFF-E03E-45AE-8033-FDDFFFD7B88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e8b631771a58328908fd49cffe7853bee491fa","datavalue":{"value":{"entity-type":"item","numeric-id":1191025,"id":"Q1191025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d969b1155406ab92762a2acc2d444ea465662c5","datavalue":{"value":{"amount":"+0.8357031345367432","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":"Q804304$143834BF-754F-4694-BF0B-B90BF48CFA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6aef3b01c30597ab09e135da57b73d61c23a15","datavalue":{"value":{"entity-type":"item","numeric-id":3746869,"id":"Q3746869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcd0f19bb451a7af84dbb85e4596a08ffe8a604","datavalue":{"value":{"amount":"+0.8304812908172607","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":"Q804304$3C01277D-3A73-452C-9C46-2430F714F198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8cd4acd385b359ba5ecc1240f849b13d5c8beaa","datavalue":{"value":{"entity-type":"item","numeric-id":3823147,"id":"Q3823147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94bee103b5bbe631910b07f3fdb0b4dc9e5c17e5","datavalue":{"value":{"amount":"+0.8216001987457275","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":"Q804304$409A721C-00A3-4848-8E96-936FF89F75FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:804304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:804304"}}}}}