{"entities":{"Q989507":{"pageid":991355,"ns":120,"title":"Item:Q989507","lastrevid":65725995,"modified":"2026-04-12T04:57:36Z","type":"item","id":"Q989507","labels":{"en":{"language":"en","value":"EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773812"}},"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":"Q989507$44975258-01D4-4A71-9426-346DB37462A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"061e2cd74865a12693637b912fc710daebfa22dd","datavalue":{"value":{"text":"EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q989507$14BFBBDE-311C-42E2-82C4-2A248C9E3D1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2c85c1486cc1f0cbf233b7f3f24d3168902e430","datavalue":{"value":"1205.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989507$ACD574BC-7988-480D-AC5A-8A261C65B706","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$32B4E6BF-4011-4F25-92DC-8CE811FF553D","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":"Q989507$64B06B0F-942F-4BC9-A952-AFE2FEEEF824","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":"Q989507$24B374D2-6656-4320-B28D-29C7FA74A30B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989507$6EFDF623-B0E3-41A7-A852-4586A493DF8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88ac2c4cc4c48c3c87db410e0dd354aef44f9f37","datavalue":{"value":"5773812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989507$63852F63-32B4-4A7D-B11E-C9429B06CF38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q989507$ABE20DE7-302A-42AA-AE77-053D428D3B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be6df9cfcd08d70582a8e804d760df1e2dcc7981","datavalue":{"value":"BPP-net","type":"string"},"datatype":"string"},"type":"statement","id":"Q989507$818B64FD-14DA-41B0-B226-6350ABA06D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45d27ae6c6af8966554f0246e0f09863237e703d","datavalue":{"value":"simulation preorder and equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q989507$5322ADCB-2751-459C-AA10-1A23BB6D5B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80886a427b6e967f858a74c6414b63c7ec570f3","datavalue":{"value":"trace preorder and equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q989507$888B3148-B679-47E1-9C0C-2763D0432BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q989507$CA1581A0-FF93-4DF0-92CB-0F1F4A1C3C60","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":"Q989507$2A47411E-A776-4E15-B854-5444E1D43A6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a5d322098c183182f7f9180ecf0de5dbabd1d18","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2009.04.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q989507$E4EAC7A3-66DC-441D-AFC5-A2994F645EE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a74304efa8f650e3c193a104460eca16cd2c3674","datavalue":{"value":"W2029953169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989507$536C5495-E8D0-40C4-809A-A3F67D9BAFB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca41435a84244fe0399069b765ff29bb08d6b267","datavalue":{"value":{"entity-type":"item","numeric-id":5096742,"id":"Q5096742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$99EBC319-7408-4D31-ABB6-74F1D69C8CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64968cf996a7dc74f51f3857781187df4e77f2c0","datavalue":{"value":{"entity-type":"item","numeric-id":2851063,"id":"Q2851063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$A72135DC-4B57-42D0-BF0E-7FA8B1E5C927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"571a805dbad680becee69d1be78560ffa89c9bc1","datavalue":{"value":{"entity-type":"item","numeric-id":1854513,"id":"Q1854513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$AAAD8000-9449-4C20-B7F5-F201EA610113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79295103dfc4bddd48b1a13a0dbf4314d0049bf8","datavalue":{"value":{"entity-type":"item","numeric-id":4484513,"id":"Q4484513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$6334BB43-22FD-468E-B805-3FD0B58F4CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b0c20225553192aafbc4437494eef2dc3c5319","datavalue":{"value":{"entity-type":"item","numeric-id":4508303,"id":"Q4508303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$5D9C852C-C66C-4B4B-A5D4-E712B0CDCEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e114b648e857fd41a4d62e0dcc3d0e1f874ac8d","datavalue":{"value":{"entity-type":"item","numeric-id":3518281,"id":"Q3518281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$2D3D6736-9519-42FA-B667-827C77F36B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7357cdfb87c5446d835ccaebc7252250132fd0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1383143,"id":"Q1383143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$5AED0C10-ED89-4510-8637-954DF707190D","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":"Q989507$342A828C-D0C8-4B2A-A499-47FB2A18168C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825262bb0ac491b50a885f623ed99bf510b7b5e1","datavalue":{"value":{"entity-type":"item","numeric-id":5900569,"id":"Q5900569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$9A229EE9-04E5-405B-B473-AAE56FB8BA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d4e3b98718d01f4950a0327256683ae3c29a70","datavalue":{"value":{"entity-type":"item","numeric-id":4818858,"id":"Q4818858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$EBB3DAAE-8E5C-4008-9111-AAB15FDBC795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a309dabd80707a552e56199261d4c0b70e4f7f","datavalue":{"value":{"entity-type":"item","numeric-id":1424356,"id":"Q1424356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$5654E1D1-E9DD-4468-9829-3A521553A885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155089c8d2a602deeff9437190d929d84352191e","datavalue":{"value":{"entity-type":"item","numeric-id":4484486,"id":"Q4484486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$4BFAEC01-6EB0-467A-A0AB-E96EBB6A661C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32d77f4f8589e445a34178d486a16c0f1a8fb1d","datavalue":{"value":{"entity-type":"item","numeric-id":6487371,"id":"Q6487371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989507$51ED4AF0-1293-42C2-B94D-D668AB9D9B3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4c25ba04bb73bf569f832a9eab68c24771b77c6","datavalue":{"value":"10.1016/J.IPL.2009.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989507$850138BD-092A-4C5C-B43F-8D1B6C4A64D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c324753cd6f7fa675eae4f95207dd45d9b2748","datavalue":{"value":{"entity-type":"item","numeric-id":1854513,"id":"Q1854513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15357e80cb58864c326c28d436ae6f8eab519f1f","datavalue":{"value":{"amount":"+0.781952440738678","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":"Q989507$3C9CABC6-569F-4C9E-88ED-34D657B7B0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d830b3688b5050852af76f5286e26a346fca052","datavalue":{"value":{"entity-type":"item","numeric-id":2963939,"id":"Q2963939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f14e9c0913b41bfb79a663c7fb251815464a53c","datavalue":{"value":{"amount":"+0.7715016007423401","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":"Q989507$42BDFF34-45C3-491D-91BF-7F7CC2F24241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6033aee6ada4a8fc2b5873eda4058e33f1597aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4251918,"id":"Q4251918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a370d082a4c5166d5d766efedae5fa082265a2a","datavalue":{"value":{"amount":"+0.755783200263977","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":"Q989507$F790B753-5D0D-49BD-BC50-F5DF51C0776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c3fdbf32f56101f3f846180cd6366dc07e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":4508303,"id":"Q4508303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1a0b6e763f0a45a96609ac45d443533a81fea1","datavalue":{"value":{"amount":"+0.74757981300354","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":"Q989507$D9A5C669-2354-446F-A544-4D278C84B725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5321beff57ccfadabb628356079e6d043c7aa37c","datavalue":{"value":{"entity-type":"item","numeric-id":2766532,"id":"Q2766532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1a0b6e763f0a45a96609ac45d443533a81fea1","datavalue":{"value":{"amount":"+0.74757981300354","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":"Q989507$C167342B-EEE2-4110-A559-160B37FACE66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/EXPSPACE_lower_bounds_for_the_simulation_preorder_between_a_communication-free_Petri_net_and_a_finite-state_system"}}}}}