{"entities":{"Q4635792":{"pageid":6665373,"ns":120,"title":"Item:Q4635792","lastrevid":40906344,"modified":"2025-04-14T00:12:46Z","type":"item","id":"Q4635792","labels":{"en":{"language":"en","value":"Petri Automata for Kleene Allegories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863378"}},"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":"Q4635792$46707A42-CBF0-470D-AE5B-7420E89412C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3b1ac0191c8582068a393df161222737ea60ae3","datavalue":{"value":{"text":"Petri Automata for Kleene Allegories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635792$A15436F4-FEB3-427D-BB8F-9B0026EA6C4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fce3da25fcac3bfb356a757bbbb6d443c90c607","datavalue":{"value":"1392.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635792$4E438A7D-17C6-400F-B98E-318A9E8A39C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6572bcf688c9ca35c34a8bef5ea7d11343726159","datavalue":{"value":"10.1109/LICS.2015.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635792$3AF720D0-82E8-427C-92A8-9FEA7AD5699B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fffcc49ccf08288968257b20f203206e3f67d8a","datavalue":{"value":{"entity-type":"item","numeric-id":299192,"id":"Q299192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635792$8323552F-0212-40B5-8358-3A55F73D6CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635792$93E2C868-30FA-4594-B53E-535990DC6F90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635792$BE338667-3EF0-40EF-B8DF-CC5E0E1C13C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635792$ACDE2E9F-3027-42C0-A207-9AF07BEB7B39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635792$BCBDEDCA-C4C9-4CB2-8730-8D5603AF1C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635792$4C834481-1B1C-4586-ABC4-208DBC06DF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635792$39B9A1B8-48FF-4857-A97E-2E14FFCC8D64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2eb5e12ba2f6a6dcaa63f31b68908390811435b","datavalue":{"value":"6863378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635792$08A8DF72-76C6-425B-8D3A-ED6361E2C3C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635792$605C579D-F81E-4D0F-A96B-7D83117487E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635792$E0E5E9C3-1042-400F-8691-B3FA3D680B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635792$E1AA94A2-6E19-42B4-B5AD-D4EB5D790EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635792$4007D1BB-2208-4E02-9FC6-076ED3C06414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635792$3D3AC0B1-6AF9-4268-8FB3-087AF8A25388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cf9711c6390395a60b61ca8ecf0b9b2bef1aea","datavalue":{"value":"lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635792$4343D259-3590-4CF8-B44C-F2C38FD70890","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":"Q4635792$93625F1A-D3FA-448C-A19B-A18CAF1A00AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df105a2913c74f906a5b6733c5be0885c002e492","datavalue":{"value":"https://doi.org/10.1109/lics.2015.17","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635792$15CE2B29-7951-4E00-853C-66875CC03566","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c7c0a8796a65dc43e2fbb7eeeff5646ad47def7","datavalue":{"value":"W1840074037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635792$96B5DBE4-5BB2-4EC7-A692-8CFAC93276A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d23320f8475bd7922d6bf0f5d7ec99bde34f077","datavalue":{"value":{"entity-type":"item","numeric-id":5367072,"id":"Q5367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc95df772e9bd86a4ce0417de0319b0fb2f44fd","datavalue":{"value":{"amount":"+0.90471834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635792$DA966E98-4AF8-4C1E-96FB-8972A3E90CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f3353c1ae3f967a4392cd0239f263cad20652f6","datavalue":{"value":{"entity-type":"item","numeric-id":4421723,"id":"Q4421723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5063edfe2b9f5c1035d069f3e8e6394626b59a","datavalue":{"value":{"amount":"+0.8839606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635792$9D9D2C80-E897-4ED7-80BC-7A5DA2C4C6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86fecb60380498eb4216fefc39042c5fe44a66e5","datavalue":{"value":{"entity-type":"item","numeric-id":5716824,"id":"Q5716824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae21866be98db5f947c8349f068b9768d979908","datavalue":{"value":{"amount":"+0.88244206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635792$E425A6E9-95AC-4E1C-B817-F6980D9A1C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c1b19998579e54c1a5ee695a3845f5865f48db","datavalue":{"value":{"entity-type":"item","numeric-id":804305,"id":"Q804305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c784e55e2e5d22529324c2a15f53883519a8c94","datavalue":{"value":{"amount":"+0.87500423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635792$C768E574-3AC1-499A-88B4-69DAD2AAE97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"072b4ee97dae8d883786cefd433404f07a85c8c4","datavalue":{"value":{"entity-type":"item","numeric-id":4850339,"id":"Q4850339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f771550494299faa41a67c07261298086310e4a1","datavalue":{"value":{"amount":"+0.87342274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635792$BC09D093-C5C1-4C7D-A429-439636264272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea1b700e2b0ec284302ab966969f2d1d14b8993","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311acfc5582c4b752b52d7cd5cdcfc4c0e48d42e","datavalue":{"value":{"amount":"+0.8711697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635792$07FD1BB7-B6D1-4A77-BE58-7AB96B8FB23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd051e08cfd70a851b8c22660709cacc729a770","datavalue":{"value":{"entity-type":"item","numeric-id":3033335,"id":"Q3033335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f624058de65a4433d63a0ab70c0890a0f596aa9a","datavalue":{"value":{"amount":"+0.8707045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635792$E538EADD-5FF1-4AF2-8012-8A34CF8DD06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fff58c96958d8778de3b3b977332ac3ab2223191","datavalue":{"value":{"entity-type":"item","numeric-id":4496251,"id":"Q4496251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd1960689d867b2ae1fa8057840769beab0a74f","datavalue":{"value":{"amount":"+0.8701473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635792$D3D8E24C-09B5-46A0-B6D9-AEDA75476420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce1960109ac480c35a78d8315d0fa147a1b992e","datavalue":{"value":{"entity-type":"item","numeric-id":5941098,"id":"Q5941098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a2d8c5de06dd59eb455a46bd541bbda80c6eec","datavalue":{"value":{"amount":"+0.8690998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635792$34771349-C360-4076-A392-4E5D809267CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f70dac8f81f0dea52ac54c53baeb543889ff364","datavalue":{"value":{"entity-type":"item","numeric-id":2729230,"id":"Q2729230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f103739efedd1d9a8d08905f2b2c3b84f7439164","datavalue":{"value":{"amount":"+0.8679732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635792$07D0A9F0-9039-4186-9F57-7DBFE5C1DA98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635792"}}}}}