{"entities":{"Q1121023":{"pageid":1131772,"ns":120,"title":"Item:Q1121023","lastrevid":66172800,"modified":"2026-04-12T08:02:03Z","type":"item","id":"Q1121023","labels":{"en":{"language":"en","value":"Problems concerning fairness and temporal logic for conflict-free Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4102499"}},"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":"Q1121023$7512452A-EA5C-4F12-A80B-2611E77009E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9be8da7cb434bd9c6a90ff246b4c1c6e8cf96562","datavalue":{"value":{"text":"Problems concerning fairness and temporal logic for conflict-free Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121023$023E4E61-337A-4D6B-8BD1-BFB9189A4C20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"446d35d44f0dd55ce292d0b52317818cb21f896e","datavalue":{"value":"0673.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121023$D2DC1322-E152-4214-95A4-373423DBFBA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"797a438b445232b2c114c283ab48bebf20c026b2","datavalue":{"value":"10.1016/0304-3975(89)90053-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121023$B0142FEF-0EC3-4A27-B695-4144F9052472","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":"Q1121023$F7F709A9-F443-4E3B-8140-46D25C1BB57A","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":"Q1121023$6BD9F3DC-45F3-47A2-B844-06C12091E38F","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":"Q1121023$202E2E89-0700-44DC-9D04-A5BC34C430C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1121023$76C720D0-664D-4B80-9690-A087F861B525","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8082ad8c5bd305222ca2d891b495fe1e04e12ea2","datavalue":{"value":"This paper is identical to the author's work [Advances in Petri Nets, Lect. Notes Comput. Sci. 340, 200-226 (1988)] except for the improvement of Section 4 about model checking. The complexity of the fair nontermination problem is studied for conflict-free Petri nets under several definitions of fairness. The question of determining whether a given structure defines a model of a specification expressed in temporal logic is proved to be undecidable for conflict-free Petri nets. Even if the logic is severely restricted, it is still not feasible: although it becomes decidable, it is then NP-complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121023$01A7DDE5-4D37-483C-A162-CEE6DA19868C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121023$67913FC1-D8BB-4D26-AB99-62B5C80F20EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121023$70B496FE-0656-400C-A5CB-CECFEB70FE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121023$BBA842CA-9B3E-4DB0-B98D-E197F9D93B3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d29369db1422736b407ab02b9eb2baeff132b4f4","datavalue":{"value":"4102499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121023$8446913B-A2FF-45F1-99D7-A31E91A9727C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e88f69cc469133caafd3db366f77822e4856a6f7","datavalue":{"value":"conflict-free Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121023$2771756C-F632-4087-9967-5D3C132FD4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f937542f72f7181dd6ae6729ace477878e336321","datavalue":{"value":"fairness property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121023$41FE61BC-5405-4AA0-8360-590FE91D24CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121023$5D3E30D1-B19B-4FB0-9EBF-B306F5A6CE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121023$C695BD4D-C580-49E2-9EE4-85378426C3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121023$374E772D-0624-4C07-A986-2155C6C00976","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01911e6b71b77cd21ac4dc12ab2dcdf94ba3b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":795512,"id":"Q795512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$5EA5F51E-58D3-4881-9B59-F3D951F58373","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":"Q1121023$D0F35E4E-2C15-47E2-9078-E6E0A971C255","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f578b6cddb68a71160237999831566c832fb699","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90053-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1121023$F47BB389-4FE3-4CD9-BD27-8E12967B658B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eddc614668ef114bbf209de5ec4e3b8ad19eadbb","datavalue":{"value":"W1999917306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121023$9E6995F0-F95C-457F-9452-05FE1FEE0376","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fea50ce60a7b2fee65d9bf285299f2715282a50","datavalue":{"value":{"entity-type":"item","numeric-id":3967058,"id":"Q3967058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$8F652481-D598-4859-96A5-FD61FCAB7DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$3ACFB6E1-F66D-4023-A985-2890D5D9FC2C","rank":"normal"},{"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":"Q1121023$E455B52C-221C-465A-8E12-73A9D935971E","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":"Q1121023$B2959A24-2E67-4D2E-AAD8-84505659A0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07aba6a9c1e60cd1f9f1767cc72a1ddfd6ac66d5","datavalue":{"value":{"entity-type":"item","numeric-id":1216050,"id":"Q1216050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$E1DB2FAE-8AB9-40EB-872E-607007CAEC6E","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":"Q1121023$45D494FD-B3B6-4A0B-A237-BB8710DDC00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6a514364685ad809c293991d2f0f3260bb9c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1146002,"id":"Q1146002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$EA66B4B4-70FA-4222-9EBA-B6F31BEB863C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c1f85a76867c5d87d87571197e135ac41c1e645","datavalue":{"value":{"entity-type":"item","numeric-id":1144929,"id":"Q1144929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$9A21C9CB-DA00-428C-8222-A414AB8A1151","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":"Q1121023$E20D211A-1456-43BB-8CE2-0D8C40F10EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$FF4129B5-92D5-4FF6-BE15-1DBA5E955533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e742a7f7b01578489aba7482eacdf4a4dd311e40","datavalue":{"value":{"entity-type":"item","numeric-id":1096388,"id":"Q1096388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$675CBC4D-28DC-48C7-B8A5-F15E28282190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a6a60ad6cc5c143aaeaca19302c9e964fced6c","datavalue":{"value":{"entity-type":"item","numeric-id":1113674,"id":"Q1113674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$8DDDA62F-6B1E-447F-93A1-72B8A99919A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2a5ae16fe8c5db28da987f649e71bad5b204c8","datavalue":{"value":{"entity-type":"item","numeric-id":1097037,"id":"Q1097037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$87B1F7C7-7178-4AD4-A8CD-14AF5BD62415","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":"Q1121023$F8849864-A99D-48A0-9B7C-2C788373F596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcd71ac0ee1662e3c5c0f5046af9d7c75419ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1221749,"id":"Q1221749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$ED161088-1057-4816-9437-B0332B8F7F85","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":"Q1121023$B7B3FB13-231D-40DE-9EFC-CEC7D4B99FA4","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":"Q1121023$6BBA1805-6B48-424E-B385-FB601F708ED3","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":"Q1121023$22FCE3A7-7459-4CD8-8DD1-A1E1F68F4477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cf1d5d871fd5755b77acd01deaa51f98e63eb0","datavalue":{"value":{"entity-type":"item","numeric-id":4164838,"id":"Q4164838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$7A41CE32-9E33-4A23-8CC6-5E05963B4A6F","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":"Q1121023$ED9E4040-147B-4C7F-B64E-40A057F24556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$0E54B021-24AD-480E-8ADC-B550732707E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5d86b3b2e305f22a4acc54ca3b563db317be7a","datavalue":{"value":{"entity-type":"item","numeric-id":4190096,"id":"Q4190096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$9E4AC790-E6C3-4BFB-A92F-961D3FEE9AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$B35752FB-B499-4EC6-BE4D-49C15A39979E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b270385c5f87646a288a84003f4b23432d904d79","datavalue":{"value":{"entity-type":"item","numeric-id":1149775,"id":"Q1149775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$0AA52B45-F32B-459D-8671-E321CE2DC5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$BC3E36CD-38CD-4676-9D0D-FD259C74C337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2604eeada3c173d67231bc962767c489dae165b","datavalue":{"value":{"entity-type":"item","numeric-id":3939247,"id":"Q3939247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$7D7449CF-762F-49EF-B1DD-E904D8A72E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$45D5F581-9F7C-4EA4-80EF-02FC255840C9","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":"Q1121023$D67BEE21-34F5-49FE-9419-1920F3F01C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37c9255332d22e7b15af86fb9a96ef9cff53122","datavalue":{"value":{"entity-type":"item","numeric-id":3330494,"id":"Q3330494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$F8BD5134-C06B-458D-B820-20EC81314811","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":"Q1121023$B319BC4E-4E27-44A7-9AA8-4C1C973D569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c96627f7e03b86be9aa1e5ea2faf1f15b9779e","datavalue":{"value":{"entity-type":"item","numeric-id":3779740,"id":"Q3779740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$7D2AFB3C-6D30-49FB-AC9D-B44377B3FF76","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":"Q1121023$0F8F2295-E9D1-4E9C-A845-7E3981620E3D","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":"Q1121023$72F6C3F4-3D9A-4618-B93F-0567CCF6469F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4742fb3b3c48c73bcf3c896ebed6b9469ae658","datavalue":{"value":{"entity-type":"item","numeric-id":1158763,"id":"Q1158763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$BFA4C4D9-9C9E-449C-8F2F-8BB6980361E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0863235db59889cae8e307ac033932805be9713f","datavalue":{"value":{"entity-type":"item","numeric-id":797285,"id":"Q797285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121023$56DA463B-D6BD-4EDD-90C1-204F6F80EF3E","rank":"normal"},{"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":"Q1121023$1E7E2E76-90CA-4E28-AA8D-3481B371B1E5","rank":"normal"}],"P1643":[{"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":"b35d87b45c954ce201a57d756006ea17621ee394","datavalue":{"value":{"amount":"+0.9879748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121023$2D6CD541-43DC-416A-BB7F-D7FA3DF8F689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb4ae902db54d9b30fb74c9e3de44651650fd95","datavalue":{"value":{"entity-type":"item","numeric-id":805257,"id":"Q805257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5f02ec48920b8f047131d381b9f531c5754f50","datavalue":{"value":{"amount":"+0.95887196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121023$D5F20C5C-4D0F-48E1-A68D-32231E812BB2","rank":"normal"},{"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":"5f5f02ec48920b8f047131d381b9f531c5754f50","datavalue":{"value":{"amount":"+0.95887196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121023$7634CAF1-01A1-464A-A9DB-54521BB32D4E","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":"71c9c386c1cd2d86526a16870eccd088cce9521d","datavalue":{"value":{"amount":"+0.9090347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121023$C545943A-9C6C-447D-9A8E-942E977CF07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b95e0cca21c6f8679e9737397d6ef9f220a855a","datavalue":{"value":{"entity-type":"item","numeric-id":3361902,"id":"Q3361902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4deff3a5b41f107b50087b34283e7f156341fd61","datavalue":{"value":{"amount":"+0.90094554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121023$97CC3078-DBD1-4EC4-BDA4-30E6A18EABCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ff108fd9e3b4b7300b78fe036c75ab3b4b877","datavalue":{"value":{"entity-type":"item","numeric-id":5096177,"id":"Q5096177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fbc346a158155b5f20f985515632f148e17e94c","datavalue":{"value":{"amount":"+0.8959745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121023$63490785-12F6-4A8D-8540-43B377775884","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":"d6de5659e37ae6d60142e9de9dbf31a127923553","datavalue":{"value":{"amount":"+0.8891436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121023$A6A9D089-C718-47AD-9602-1A9A3AC95513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4701b85df6a2f72cdcaf1005f95943ef123782f","datavalue":{"value":{"entity-type":"item","numeric-id":3687727,"id":"Q3687727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19083d0d428b718f35c966f4bb401117c89a0831","datavalue":{"value":{"amount":"+0.8813944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121023$7E759534-8653-4F8B-A785-2286ADAF77CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0c9f5a3bb7742960aa48fd3613863799efff22","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54c6cdd634c4c5a6e43f6bd3ad2e175fccbf6b4","datavalue":{"value":{"amount":"+0.8801067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121023$742FE0D9-C133-4C16-9E4E-DCCDC43CBDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd2a36d9c1e9847947b8814a78e40f893f9bcb6","datavalue":{"value":{"entity-type":"item","numeric-id":1076520,"id":"Q1076520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b32539966e35325f9b69679ad883d9d02120d52","datavalue":{"value":{"amount":"+0.87891024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121023$4C7C5F2A-5B53-4D9A-9802-9220241D95C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Problems concerning fairness and temporal logic for conflict-free Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Problems_concerning_fairness_and_temporal_logic_for_conflict-free_Petri_nets"}}}}}