{"entities":{"Q4917080":{"pageid":6946661,"ns":120,"title":"Item:Q4917080","lastrevid":51704705,"modified":"2026-01-19T14:17:26Z","type":"item","id":"Q4917080","labels":{"en":{"language":"en","value":"An automata-theoretic approach to the reachability analysis of RPPS systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158954"}},"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":"Q4917080$7859B757-4BBE-4255-9DF5-DF2620538CFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2316c26a674db39a06d728c61b9d4f78d1a06ab0","datavalue":{"value":{"text":"An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917080$BD683650-9DE3-4EAB-BF60-C97316558155","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dcbc063ae5f674c6560e7b81dbff4451c05b6f2","datavalue":{"value":"1260.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917080$D931DC6B-0C24-4F57-B0C9-ABF73AB157DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d662ff2d273bd33d954ff09e5b6d0b08c2b2aae","datavalue":{"value":"10.1016/S1571-0661(04)00213-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917080$12BFC1AD-9A2B-429A-BFFC-185B65785AD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f0bd9946f1d1d92ded2b513cb2f326358e226fe","datavalue":{"value":{"entity-type":"item","numeric-id":3150205,"id":"Q3150205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$9FB1C1AF-5A65-48B1-B1BD-C96A08A2CF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$A30D0A79-7641-45A5-9FA1-422CA4DFF40A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$EF4DA63A-DB6D-45D0-9755-A469EACED3B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917080$2D1BB6D2-2AD0-4B2C-A56D-8DEC19E757AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917080$04129D7A-6774-4897-BF8C-8B8C3443F7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917080$C167999E-808D-40AE-9FFD-4ED8EFE799CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917080$1C7CF577-3EDD-45F9-9C9F-588FCB1E7C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917080$3552226F-66DA-4E3E-A6E2-A5BCA3526034","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3af00959fcc94bd69fa93942c3fe605871c653b5","datavalue":{"value":"6158954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917080$D6FDC197-DBEE-4028-B1B3-7C13EB3126CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2401ab9a73046e83587f0547028c361f64393fe","datavalue":{"value":"verification of infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917080$E21A96B5-816B-4565-8391-D3B9C3F90598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917080$AD24B502-F391-4F2B-B113-C0BAF3E980DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917080$7724D485-0295-47A1-8E2B-D3C7BD7202E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917080$483B6C2B-79A8-47CD-9796-F2F61361363A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917080$3B9EDA37-DCA1-433B-B641-BCC844F08EB4","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":"Q4917080$1EE76949-7F75-41B6-A74D-2C16EE6F99CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$C6A0A741-BC11-4C11-94C3-DBD006F6407A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$A9E1E778-E5A3-4528-8132-D78CCB8608CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$9EF8CFD7-FFC3-4939-8A27-D28DB26B1D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$8CD206BB-DBC5-484A-AB8F-BB2A50CB9EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc53c4fa5b18b0e75c95fe8399022c819bcd116","datavalue":{"value":{"entity-type":"item","numeric-id":4508292,"id":"Q4508292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$B6B11CE9-8C77-4DAA-8982-64A74B3458B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbe5a701cddd7194eb28385f2a16723583b00bd","datavalue":{"value":{"entity-type":"item","numeric-id":4270062,"id":"Q4270062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$27713CCA-FFDA-4C8E-96D4-6C03EBD43A57","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":"Q4917080$5C540F46-4EA7-4E09-88A9-7010AAE0CCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc18f0b46fdb1ba05a79fa616657addcb5f839f","datavalue":{"value":{"entity-type":"item","numeric-id":5178837,"id":"Q5178837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$B58753D3-4B9C-4694-93EE-9BD1D5281D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$EA920078-B23D-4491-A557-8C90D98E8264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$A7E8E608-82D6-425A-A34F-2A72237B3B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbac416773feb6ef59925523b770f5605643de15","datavalue":{"value":{"entity-type":"item","numeric-id":4222876,"id":"Q4222876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$68DEB740-EE6D-47E8-A0AB-AF81BFD73B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de91ecb193514088bc3752dcf7515e5158d8d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2754072,"id":"Q2754072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$6E51CA6E-279C-4C03-BCBE-73FF5F221809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57900b94da2b759d62934964981c7c23b60e5ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2754156,"id":"Q2754156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$4DB1F3CF-8363-4ED6-86FE-74A6D384A063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e648db17a739894d37b270641fb26bfce3cd003","datavalue":{"value":{"entity-type":"item","numeric-id":4251913,"id":"Q4251913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$5CDF1291-3BF4-42CB-A95A-F10E08ECAF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$FFA41999-D908-48A6-994A-5C20F95C4E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60ed09b0c0ca1a96c7e00714b2bd4f9551134bb","datavalue":{"value":{"entity-type":"item","numeric-id":5941100,"id":"Q5941100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917080$D8EE4ED1-AE20-4324-91D0-C96E404F6A87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13c16800ce8dca0fec1d8ff6f5ad659b9793dee2","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00213-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4917080$B5CA16BA-F24A-4C45-81F3-F3275A5C9A88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce591f302cca822b9f0d42c28713daa331f495b3","datavalue":{"value":"W2035355499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917080$C61FBE61-1930-4F9A-8E7A-BF3D739BFEB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e1a17b6ede5f4486fceab805dcd3a513a79743","datavalue":{"value":{"entity-type":"item","numeric-id":3150206,"id":"Q3150206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39fedba06d0ab33150b66cddc4c9ed385e9f101e","datavalue":{"value":{"amount":"+0.9827739000320436","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":"Q4917080$A4DADDC1-EDCE-4FDF-917F-9995B9A88032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf1b52ebb85f2c0c60679f5a49de02fe6c6b895","datavalue":{"value":{"entity-type":"item","numeric-id":5191507,"id":"Q5191507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105989635361e670e8b3ed0dc377d6a13b8312f3","datavalue":{"value":{"amount":"+0.7446237802505493","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":"Q4917080$DA8027C2-C693-4898-9CE5-3FECB7542FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6271fe48f3b1cde065314d4dd1ff6820058ddbc","datavalue":{"value":{"entity-type":"item","numeric-id":5703871,"id":"Q5703871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39560174a5ab95aa7efb99645c2cb28553303ce4","datavalue":{"value":{"amount":"+0.7411097884178162","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":"Q4917080$5B256F2F-F8D2-4729-B991-9ECC7BAA1557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73c3e9247b83043694a5cdb3f6a3a58d4196c81","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272ebeea548c402dc99287aea52ef65457cab25b","datavalue":{"value":{"amount":"+0.7381249070167542","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":"Q4917080$E799F345-BF8B-4D1E-9107-17A5EE412781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491f18a93b87811c5cb180226e25f4331a7dbbd","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ee054b7fed4e5227186d7c377367e97c304d9b","datavalue":{"value":{"amount":"+0.7365730404853821","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":"Q4917080$3A66108D-E0C5-4A2A-886D-631855D47037","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917080"}}}}}