{"entities":{"Q2820695":{"pageid":2831433,"ns":120,"title":"Item:Q2820695","lastrevid":83626832,"modified":"2026-05-07T09:22:23Z","type":"item","id":"Q2820695","labels":{"en":{"language":"en","value":"Causality in bounded Petri nets is MSO definable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6625888"}},"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":"Q2820695$5AC20E39-98C8-4A1D-A7F1-0CF84234EE5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f149db17551690373c13449f65fcd387380793d7","datavalue":{"value":{"text":"Causality in Bounded Petri Nets is MSO Definable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2820695$4DD928E1-A83D-438A-B583-761042B063CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2221b591433a0abaa376a5af498d4f81a61b2e5d","datavalue":{"value":"1478.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820695$0967089C-7F32-4D4E-BEFC-FBF70AA663CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e900b9bf37dd06a5f322b49a55c95bed39dc07e9","datavalue":{"value":"10.1007/978-3-662-52921-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820695$2EE5B8A6-8367-438E-8A28-B97825C4684F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc0bfdfddc4bf485b2a98144122fa8a6b8382026","datavalue":{"value":{"entity-type":"item","numeric-id":266805,"id":"Q266805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$A3543E89-F55F-41CD-8A7F-9994FB76680E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$6176A5F6-1F36-4D81-8F5A-EFAB32D59F9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a92f0ef72cfcb252a53db66962ae3118731f7fca","datavalue":{"value":{"time":"+2016-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2820695$85085E25-5544-42F4-93EF-A5CC0FBCFFBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820695$90A8EE68-65B2-4821-90A9-98179868717A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820695$C5EB66CD-B6C5-482E-A9F8-63A5F11CD68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820695$F21DCFC3-ECE4-4D8E-968A-3BB3F56C8D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820695$E7FF4C7D-D60B-453C-AA3F-F77871413AAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfeb004ea093f562dc93d43bf52d573f211a828d","datavalue":{"value":"6625888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820695$C3CE4FCD-68C6-4C52-9627-082D3A258A75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"579f26ef828f12194ed138f19bf21ed45d3b60db","datavalue":{"value":"partial-order behaviour of Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2820695$29F7ADF9-F0EF-4702-BE76-4BF1424DBA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2820695$F109D1AE-9587-4E49-830E-D1DF900E9006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91d54445cd84cdc32fedf222f5fe79de1ccb78d7","datavalue":{"value":"recognizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2820695$1838E5F2-194A-4421-8072-8C63D16B066E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2820695$D366B99D-C926-4E60-86C9-60C57E03F8EB","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":"Q2820695$84BBC588-3F49-451D-89A4-B52FAFD3A84F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fccb69e8c269f0862cd7efc136b4612d43dd672","datavalue":{"value":"https://doi.org/10.1007/978-3-662-52921-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2820695$D11B45B1-60AF-4D50-9C41-5F869BC19354","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2625e8f89d462850c99b48e47bba9e1a7c86e818","datavalue":{"value":"W2480434104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820695$8186FAB2-7BF7-4C48-BFE7-0773194BFF8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be3970bbeb5763bd476ec3ae32dc6811c75f4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3782818,"id":"Q3782818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$90A1F31C-A2D1-41CE-86D7-571DF33BF284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ae43cfaf562ca816e668c62286e879a76cadb0","datavalue":{"value":{"entity-type":"item","numeric-id":322323,"id":"Q322323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$8270753E-12CF-4CE4-814E-6567AD05618D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8877cdaa28422945ddb94da6963dacc316669ef8","datavalue":{"value":{"entity-type":"item","numeric-id":1770387,"id":"Q1770387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$0F8AA45C-0733-4170-8605-0F9A6F6E7277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0c5dfb499feb156ee30a2649e2e1f1d272e8a9","datavalue":{"value":{"entity-type":"item","numeric-id":3540409,"id":"Q3540409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$BB0475E9-BB30-448A-8C86-603A7D093ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$7A4C0659-D689-46B6-A67F-07FA88E34FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$A57E0D0F-533F-49C0-8A09-6EFC4510CE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b0768a48a3af6a2344c40720d67b58bb50a5bd","datavalue":{"value":{"entity-type":"item","numeric-id":1176232,"id":"Q1176232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$A391CEFF-93DA-4787-9FFD-8C80FF5903F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$B631D746-0F98-4712-B336-C954B2BC4972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a020832e206a8f297f7506c478d16edab6869d50","datavalue":{"value":{"entity-type":"item","numeric-id":5894195,"id":"Q5894195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$AEB90261-E6E5-4762-906C-AC30299DFA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1cf7ae8b3c8e32fe948a0227d240a3ccce45a7","datavalue":{"value":{"entity-type":"item","numeric-id":2890217,"id":"Q2890217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$794A0C89-1430-465B-BD1D-944FCC060D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e95424c73904be2ab8a124782599ca10fc9c12","datavalue":{"value":{"entity-type":"item","numeric-id":2867078,"id":"Q2867078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$8A8448B4-5CA2-4E28-A012-8ED7D0FC5231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7918f8b99bf1977f619e9a7ee2dfeef76a9fb370","datavalue":{"value":{"entity-type":"item","numeric-id":2787436,"id":"Q2787436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$37CE64CD-F61A-42EA-9CDF-F887079FEE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e986b5ddfd36d5765e42c37f8d0bc0fa55d8f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":1386441,"id":"Q1386441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$92FDA3F9-B784-4F9F-B61A-A9BBDB510C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$E3FA12BB-CF39-4B57-93DD-84F2993ECDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07381bf4b6c244d753623e0b4323f1eba2879cbd","datavalue":{"value":{"entity-type":"item","numeric-id":3674068,"id":"Q3674068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$E5909029-D960-4AFD-95DF-A45A04B3F3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2abb89a8fd43172e0333140d50e916d3fb37cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":5363771,"id":"Q5363771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$8D1F4ED3-D05F-48B1-8D9C-AE93DC82D94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c928d38f2639cc55e403918c5e9fbda4efe730d","datavalue":{"value":{"entity-type":"item","numeric-id":4572008,"id":"Q4572008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$2EE3B4FD-F799-4703-9B65-E141DEC15B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d946090f5d0e5a3462e6438442ed9f6fbab6769","datavalue":{"value":{"entity-type":"item","numeric-id":1578419,"id":"Q1578419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$42D29DF9-25E7-4DF4-9477-A8C91E4EAB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9949350a7a0f87e69f2ca613baf726246e7999aa","datavalue":{"value":{"entity-type":"item","numeric-id":4381404,"id":"Q4381404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$B7415CF8-D5E5-41C6-8760-BF35C9F8D732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96b691fd3418c23318e386f97f9be78e6fadf04","datavalue":{"value":{"entity-type":"item","numeric-id":396979,"id":"Q396979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820695$BA23F678-DE62-494E-A951-0BD8B0FE9CCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7afa051ee896e4bddec805b2a510003a778f5b","datavalue":{"value":{"entity-type":"item","numeric-id":2787436,"id":"Q2787436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02632807914aa7f1daed30a414691f6d4b8fce8a","datavalue":{"value":{"amount":"+0.7685583829879761","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":"Q2820695$3E2473FA-057A-4498-A8B0-509B0F446E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635afd6ebaa026241eb2d898096a015e1cba2025","datavalue":{"value":{"entity-type":"item","numeric-id":6487344,"id":"Q6487344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d402c83a169fffe83b33096000ac9200152a3728","datavalue":{"value":{"amount":"+0.7460622787475586","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":"Q2820695$E74D0724-7B48-4E86-BA77-1C819178C993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe21da4bdb9647555fc6a4e9d3b37dadc50232d4","datavalue":{"value":{"entity-type":"item","numeric-id":4720790,"id":"Q4720790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2cbc2e1d00f785dc6d76b3914eb1d0280682c5b","datavalue":{"value":{"amount":"+0.7337417006492615","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":"Q2820695$C1214278-1CAF-4460-91E7-826B9477D54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c346398ef36031173ec8357e22f3527b94813811","datavalue":{"value":{"entity-type":"item","numeric-id":3766864,"id":"Q3766864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2577c03930a2c397038afd49d4504d26cfa5c45b","datavalue":{"value":{"amount":"+0.7318440675735474","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":"Q2820695$6FA40C7B-B23D-4215-9F43-95EFF7D12D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a4960f2e66ccacb271821e5515b144668b490a","datavalue":{"value":{"entity-type":"item","numeric-id":1318729,"id":"Q1318729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a980811b7dfd16cd6965d44b58ffd79fb73382f7","datavalue":{"value":{"amount":"+0.7213672399520874","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":"Q2820695$7CC47E86-B740-4529-A942-258651B452BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Causality in bounded Petri nets is MSO definable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Causality_in_bounded_Petri_nets_is_MSO_definable"}}}}}