{"entities":{"Q5505602":{"pageid":7535162,"ns":120,"title":"Item:Q5505602","lastrevid":50550830,"modified":"2026-01-14T09:09:06Z","type":"item","id":"Q5505602","labels":{"en":{"language":"en","value":"Towards Efficient Verification of Systems with Dynamic Process Creation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498389"}},"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":"Q5505602$F365081A-7863-4AD0-A7D1-4F7689A61DE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c3d12a6ff1303705672dfbf4e4072463f895ae5","datavalue":{"value":{"text":"Towards Efficient Verification of Systems with Dynamic Process Creation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505602$8BF1BAD2-DF76-4747-A1A4-E3A681F798B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"412e6f98e202efd96a0892d07517c61246815223","datavalue":{"value":"1161.68622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505602$0A1B1EA0-77E4-4D64-8644-64938D0ABD50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71347758b0721f1bc97ec445451058ad4ee9a297","datavalue":{"value":"10.1007/978-3-540-85762-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505602$6BB0D54E-082C-4F42-83B3-60A8523EE911","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e639d2eeaa2d3553e052d48e38290f102cbe38","datavalue":{"value":{"entity-type":"item","numeric-id":227613,"id":"Q227613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$B90B7B45-B8EA-48FD-9273-9DCE8A5DF7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$ABC3E805-10FC-4E76-8295-26BBE91C9E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fd49a16391e6b6827eea9ce95f0764c9a57b27e","datavalue":{"value":{"entity-type":"item","numeric-id":1083860,"id":"Q1083860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$F133AC27-430D-48BA-B921-65FF94870670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"251a808fff74ce5335640aab6d5f066cde242d2f","datavalue":{"value":{"entity-type":"item","numeric-id":418850,"id":"Q418850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$6BB1E477-87E9-406F-B195-071974FD28D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed248be93f2dea7fdfc2631642f97cdf031ba329","datavalue":{"value":{"entity-type":"item","numeric-id":5505591,"id":"Q5505591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$FFF33C65-A2D9-4F7D-BCAE-489B9C4BF830","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505602$482C4F2A-903D-40FF-9D9D-A99F7148C510","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505602$E4F39272-F8F8-49A4-BE30-6681264B2E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505602$383E7C5F-1C66-4EEF-A844-872448F91593","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f0c524dc69f8480e660785ddfa09adf677e4830","datavalue":{"value":"5498389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505602$C52A37EF-2292-4793-967F-0D23DDE2333F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505602$27DC6638-CAE1-4C16-B2DC-0367F583D752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"241da069221ac8611de1a999f7351a88e6c5bdc6","datavalue":{"value":"multi-threaded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505602$55FC8A38-7F0A-4588-BC2D-E8526E4AF141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aecbf21d05fd67f462786d428eb6b50d66cd1152","datavalue":{"value":"marking symmetries","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505602$C15F4EEB-5AB1-47E9-BFA5-4E4AD4B1CD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf7d5745970751dfe5e1719f69572b4dbdde51d6","datavalue":{"value":"state-space generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505602$426BA696-8B40-43F7-80F7-5D2DE46E0F77","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2415471ff41202a6c9259e793d0833a0591be108","datavalue":{"value":{"entity-type":"item","numeric-id":19544,"id":"Q19544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$14A5A947-BE97-455F-9665-B4474268B0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"04c3c1a94028e7425617df35cf358d86a96f6b2f","datavalue":{"value":{"entity-type":"item","numeric-id":21459,"id":"Q21459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$108039F5-0431-46C5-8F2F-0E376D7E2E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6eacfb33cc0cc6dc5ca15df41e5da6790304cd9e","datavalue":{"value":{"entity-type":"item","numeric-id":16560,"id":"Q16560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$F6EE8A28-4C90-40DC-ACA9-9E88D6FCA91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"804cb8a3eae947890eade4431aaed562b33122a2","datavalue":{"value":{"entity-type":"item","numeric-id":13371,"id":"Q13371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$761A870A-45E3-41E9-ACD7-312B00E3AC6F","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":"Q5505602$477F0EEF-FCAF-4A93-A2A8-CABD81908CDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"461c60cbbe9a9897226b323456e8e20913ed1b34","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85762-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505602$CFE4FAC6-6E89-45C0-A088-7061775236E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e03f480dc120a147786532fc4bc2c18ae338a593","datavalue":{"value":"W2137141815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505602$E5CE8378-3038-4ABC-A822-61E30EA53636","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e389246466590cf41e2d703b33455400e7c54c4","datavalue":{"value":{"entity-type":"item","numeric-id":2769585,"id":"Q2769585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$E8A231F4-567F-4C1A-B969-31B8092B3012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85797bcde27357bf2a53318210daffab6d576778","datavalue":{"value":{"entity-type":"item","numeric-id":1284690,"id":"Q1284690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$10EE2D9F-D93E-4209-9514-FFB164592771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84cfdfeb54851f903b9c29ca692d46a96f00e583","datavalue":{"value":{"entity-type":"item","numeric-id":1392273,"id":"Q1392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$E6CC767C-2C21-44C0-BCFD-1E657EDF7D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6107f439493ab98ebdbc901c291d91cd4d56c76f","datavalue":{"value":{"entity-type":"item","numeric-id":3430665,"id":"Q3430665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$766F278F-54CC-4D8D-B26D-1B479FEDF03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6dc91362e76adc0d0e09e385167dc1532ff3ef8","datavalue":{"value":{"entity-type":"item","numeric-id":5713518,"id":"Q5713518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$0A7D22BB-E031-4B1E-83B6-3E22A1259C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ead91ff7a07f35c49fd705f503338ca209cd49","datavalue":{"value":{"entity-type":"item","numeric-id":557795,"id":"Q557795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$1C0658D0-4B20-400A-B2AF-EE25F24A25EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84708e953a99a80184996e9015091c19a0ff3693","datavalue":{"value":{"entity-type":"item","numeric-id":5717501,"id":"Q5717501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$A061854D-EB5B-4F25-BD6D-3D2D3300BE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$F2043353-DA09-4CDD-AE12-0A9E2ADD44F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9299be3ca863edb09f9ec0b85fe8b84921e2464b","datavalue":{"value":{"entity-type":"item","numeric-id":5505602,"id":"Q5505602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$A5FDF741-15F5-4581-93D7-3E07D60E8F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$A9A0D1E9-3748-4DBF-94C4-D75446EB6211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$7B6C0A94-542F-4978-850E-7662B2F11248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$328CE9F4-692C-467F-89D5-538D80DC8B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a36d6fbc4e34b079e10de2fdbf27dec3ed8122","datavalue":{"value":{"entity-type":"item","numeric-id":3612945,"id":"Q3612945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$1996C694-1424-4519-87B9-5AF6498E0E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b223b0f0c5129eccebe04d5ce0a2aaa88c12dc","datavalue":{"value":{"entity-type":"item","numeric-id":2571209,"id":"Q2571209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$822C46F9-9616-4BD3-950D-95382E90A947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1341c46dddfaa46d5d0eae09298d3585eca714","datavalue":{"value":{"entity-type":"item","numeric-id":2753763,"id":"Q2753763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$D2A7A759-CA1A-44C2-9B8B-36BE08C5B2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7642ea6dfc6cfb0109bac3692928eebcdb13c8","datavalue":{"value":{"entity-type":"item","numeric-id":3550614,"id":"Q3550614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505602$40851FE3-83AE-400F-9F7A-F7B24F3C6B6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a402d8a4e83a337139530423cd7f57cee0377f80","datavalue":{"value":{"entity-type":"item","numeric-id":4621142,"id":"Q4621142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a8bf9df9637f2c3c9bb201d99776cc7cd45a7e","datavalue":{"value":{"amount":"+0.8588025569915771","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":"Q5505602$02C0CE31-B1E2-400F-B8C5-2D38BAA34AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab921996dbb1540832a3479121e07e6c588b95e","datavalue":{"value":{"entity-type":"item","numeric-id":3388711,"id":"Q3388711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bb3664d349586f14e3d1c3419355a8f3186196","datavalue":{"value":{"amount":"+0.7577725052833557","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":"Q5505602$70F58E31-B9B8-4B81-8324-83190D02F1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad5bd2fcbb2862133e818d642649943dd29202a","datavalue":{"value":{"entity-type":"item","numeric-id":4737366,"id":"Q4737366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c5dbb7e06e04253b0f80a5e2a64a992d8d0858","datavalue":{"value":{"amount":"+0.7262287735939026","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":"Q5505602$9E4F24BE-FD7B-4FFC-8610-E48C12C09640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7e6fca8364f382aa90c3a3e796af70ec88d9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4519781,"id":"Q4519781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107b0e3dd13184c6bc59738e00e874b1dbb09e2d","datavalue":{"value":{"amount":"+0.725301206111908","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":"Q5505602$12B0E4DF-3FBE-4D23-B4B4-95BAE31CCEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4e9dabe870d956200e9e73c818dad1067a0f26","datavalue":{"value":{"entity-type":"item","numeric-id":5758141,"id":"Q5758141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede17506a206393830e7bb00ea670e8ee0f073a2","datavalue":{"value":{"amount":"+0.7134405374526978","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":"Q5505602$08F40462-001A-45FB-87C5-AACCB7F8C945","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505602"}}}}}