{"entities":{"Q5089312":{"pageid":7118888,"ns":120,"title":"Item:Q5089312","lastrevid":39527801,"modified":"2024-12-30T14:52:56Z","type":"item","id":"Q5089312","labels":{"en":{"language":"en","value":"Flatness and Complexity of Immediate Observation Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559501"}},"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":"Q5089312$FE845B5E-6694-4C77-9685-2A4BCD1AE22E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3515baf2d7ffabb4be305cf6d0e695408444c1e5","datavalue":{"value":{"entity-type":"item","numeric-id":2025855,"id":"Q2025855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$BFAB1E43-5C13-4A90-B525-0E2EA55F8ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b11cda834db5ea980e84d74cffa90a71e7d3e269","datavalue":{"value":{"entity-type":"item","numeric-id":2025856,"id":"Q2025856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$1725BDD4-BBFF-4F4E-83C0-DD60DF65C57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$1BF7880C-E0E4-42A2-83AF-E4A2F05EEE66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089312$83EEEF80-E7F7-47DB-9257-AF8EA49B7A12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4ab4d5717ea6579707419cf3339a099736b42ae","datavalue":{"value":"https://arxiv.org/abs/2001.09966","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089312$1D2BFB8E-DBB3-4C12-AC9A-95DAF23AAD91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089312$068C8CCD-D7E0-46AF-90EF-DF9EAEF76E53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71e76e214b94523f573c89cacf7917e61bb567f2","datavalue":{"value":"7559501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089312$FB12ADCF-2E4B-41E4-885F-CEE3B1066D4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089312$3F97E700-4130-4C5D-8BA8-D74E0D137662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089312$A7B4FC14-C21D-4282-9E35-68172ADF11F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089312$03F33F9F-90BD-439E-8936-7848F3B1DB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f17d8edb78b815ddabb84589de4246cf1df453f","datavalue":{"value":"flattability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089312$9C9260A8-4036-4F5E-B647-EDA9E1218402","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":"Q5089312$877571AE-F3F0-42CB-95EA-5A28757B67D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b93eb9ad0e60a7acfb2f4a5151d0196898406a","datavalue":{"value":{"entity-type":"item","numeric-id":2480002,"id":"Q2480002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$0ADA14D1-9EA4-4410-8541-EBF082019F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a34ef9306bdded0ee4f49da10d7542d8abbde8","datavalue":{"value":{"entity-type":"item","numeric-id":1954251,"id":"Q1954251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$ACAB93B7-100B-462C-904A-0AA4CF314E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95df9aedbd7e5e563158d002f148b701b2fd0480","datavalue":{"value":{"entity-type":"item","numeric-id":4551165,"id":"Q4551165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$58695B8B-D4C9-4659-ABA7-11E4D0191AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2565ba3b3494907220c9a72417fe6db7c3d14d1","datavalue":{"value":{"entity-type":"item","numeric-id":609029,"id":"Q609029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$D5AB8DB5-2489-492D-AE06-F5C342D646B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88510136283ff21bf203324d47fc86799aeb32e","datavalue":{"value":{"entity-type":"item","numeric-id":4353915,"id":"Q4353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$AB669F55-8F2C-4171-A53F-3CB9D703FED5","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":"Q5089312$CF8D842F-9C09-4030-ACF7-5AE668A51E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5139ec88cc7f99cf35c0c1c3b1fd2947e11307a","datavalue":{"value":{"entity-type":"item","numeric-id":989507,"id":"Q989507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$AA75F695-9881-44FD-A18B-E7E03CEDE2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a29614989836674f45bb886f19d75545ab86967","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$079C7490-1CA7-4D8A-BE49-281AC1DC7EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9fd99712b38a9572104293126d94d3907dbf33c","datavalue":{"value":{"entity-type":"item","numeric-id":553903,"id":"Q553903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$43E90C60-ABF1-43BF-9290-5B7631B95285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cdd0e0f8bde3bf887243fee65f078c677709185","datavalue":{"value":{"entity-type":"item","numeric-id":2805419,"id":"Q2805419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$AE02A7EA-4ABB-47B1-A36A-456CDEC99E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee8547841ec75704de4d3878e49a094501a98c9","datavalue":{"value":{"entity-type":"item","numeric-id":1391745,"id":"Q1391745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089312$69312C75-DA00-4B10-AF6D-A6808BC9196E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a21a44f25b4e694e65134f441a10c8ff611589a","datavalue":{"value":"W3082894453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089312$EB661484-881D-450A-B166-2810435677E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b187769483ae8a19dc11e1a7e00377eebcdfa46","datavalue":{"value":{"text":"Flatness and Complexity of Immediate Observation Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089312$D83079E5-F514-41DC-84C9-7BC53E1D6C9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bfe0db72b14c6e2cab3a766513628aa8a744b60","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089312$297B1B2D-B3FA-421E-866E-11E028B98390","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089312"}}}}}