{"entities":{"Q4289659":{"pageid":6319260,"ns":120,"title":"Item:Q4289659","lastrevid":41744971,"modified":"2025-05-07T20:33:30Z","type":"item","id":"Q4289659","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 557977"}},"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":"Q4289659$062BC31D-422C-4FC7-B59D-17F3BAA85B0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bcdfb97e1dc8511f3f26139091f44775ee7eba3","datavalue":{"value":"0796.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289659$3D51B9FB-C93E-4E28-8E38-8E0725AE4739","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"594eddb6445f88a77e66aaf7d63c86b52ec53a66","datavalue":{"value":{"time":"+1994-04-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":"Q4289659$637C671E-395C-405E-910E-27A0C5A67169","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289659$48192C5B-8352-4ACF-BED0-19BA4C3B2533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289659$552A51E6-87AE-4584-8D5F-E9C0F8669DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289659$64EF0BFD-2771-4B8B-A45C-57D28C9E9661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289659$6FD28B61-F88B-45C0-820B-A19C9896E1F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ceb00496f4bb5f9f2106c389e0c7ae5f96c4d59d","datavalue":{"value":"557977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289659$E703DBD4-0ED4-454A-B2A8-C952914B7D6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1199a36d8dd30e90713192bb02fdd1473fb89b19","datavalue":{"value":"fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289659$DA283BC0-AF2B-49BA-9916-8DCDCFA99369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ea4d36b75ed8085284a458d9ecd7dc84428bf9","datavalue":{"value":"finite transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289659$77C806A8-44F4-4638-8C5A-02A54B6F48E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289659$9BFA96A8-15C2-43CA-B4B8-551E55F43A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"371be872fb1851b9be3849424297978a5ed8b9f6","datavalue":{"value":"states","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289659$54A318FB-E10E-45A4-8F3F-3022A997EC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289659$1B4A25B4-11B3-4E00-8BDA-CBB06830FD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289659$D6133E05-14CA-47A5-A496-A1189A65B714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f874427919faced979f3c075256fd0f6f8fbbde","datavalue":{"value":"synchronous product","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289659$9B1317BD-C13E-4A1F-ADF1-1EB3214F4C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c544822dc979ebc7974c2fd81c4f717d086d3561","datavalue":{"value":"transition system logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289659$925DBBEF-1E86-4F63-8EC6-2754D951A161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289659$1376BB4A-7FB8-4FA6-9204-6C245420D614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5b365dc4ce0da9c706f26a1865dbf7922a3fc5","datavalue":{"value":"software tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289659$863BE66D-102D-48DB-B6A5-F45242ADBBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289659$0AB3B7E5-5D64-419E-9223-C364FCED5EE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4289659$EB1BA975-AC95-444D-BA2A-8ADA52F17B12","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":"Q4289659$78ECE193-D1D4-4A35-A034-48DDDEBF2791","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bcede28f3de2392fef72fd70708ba205a6e44fd","datavalue":{"value":{"entity-type":"item","numeric-id":4244302,"id":"Q4244302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b47399134e3137afafe1a8373cd75918a1acc4a","datavalue":{"value":{"amount":"+0.7770044","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":"Q4289659$A2499056-CFAB-47EA-9BDB-A73164CD6AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d8ec0ee51457ff4e66fb3f04a397c79b962972","datavalue":{"value":{"entity-type":"item","numeric-id":3184728,"id":"Q3184728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109493a7028562d81ec15ba3608f8cda15f53f60","datavalue":{"value":{"amount":"+0.7755706","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":"Q4289659$0DE56C4B-717E-470B-8152-504259E7320D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96aa7e38b905ab4b3327beaf6333e04b8f3e528","datavalue":{"value":{"entity-type":"item","numeric-id":1758157,"id":"Q1758157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ec6b993d93b2e2ee0d92689d7bc1243169fcac","datavalue":{"value":{"amount":"+0.7699221","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":"Q4289659$E770C7E3-B778-4A04-B125-7594EAF9F2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de5cad003626a1ee7d3a35d4f10d39c6450118d","datavalue":{"value":{"entity-type":"item","numeric-id":4734770,"id":"Q4734770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d8cc466eb21e36d22306df5d6765d8aa025fda","datavalue":{"value":{"amount":"+0.7678429","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":"Q4289659$92A13469-8622-4204-AAE3-E59CB24AC99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2184e74fa72c8da6edb2c251e3fd45d47fdef11a","datavalue":{"value":{"entity-type":"item","numeric-id":4329037,"id":"Q4329037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7b8c8624538d5b49e1cddd20d195001851ea2f","datavalue":{"value":{"amount":"+0.7621366","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":"Q4289659$E7B2EBE8-3532-4BF5-9AE5-2BD1AFAAA339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3746a9473e0ca107135bb80ab5c8921124854b","datavalue":{"value":{"entity-type":"item","numeric-id":4283236,"id":"Q4283236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b532afacf56f86f2521eedb0474d56b8b0b5ae88","datavalue":{"value":{"amount":"+0.759595","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":"Q4289659$295B5CBA-0043-474A-9CF3-E606055308BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b1e1c12e1f19a3a995a0395f26deb60fd69a39","datavalue":{"value":{"entity-type":"item","numeric-id":2762308,"id":"Q2762308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2723425cab5e1d10b793b1798deca3c614e3e21","datavalue":{"value":{"amount":"+0.75938135","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":"Q4289659$7E74A151-34AE-41CE-B8BF-9FC6A6FB7594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1c5d8d38932f0d26b0a47a9cb6a9eba5128dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3811722,"id":"Q3811722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95018a60433a53d87fb1d84671dee25d4d3fd3e6","datavalue":{"value":{"amount":"+0.7577079","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":"Q4289659$5027F305-FED1-40A0-82A0-E2CAABFBD094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963bbb5d42219d700060c3d051cbfc0196e3102b","datavalue":{"value":{"entity-type":"item","numeric-id":3832059,"id":"Q3832059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95018a60433a53d87fb1d84671dee25d4d3fd3e6","datavalue":{"value":{"amount":"+0.7577079","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":"Q4289659$AA7893B0-7889-46DA-8016-EB7309901597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6d01ffc690a775fa3634fbf686b548722cefe1","datavalue":{"value":{"entity-type":"item","numeric-id":1575145,"id":"Q1575145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f41511dd4d10f7cde468644fc47a82e62e07e5","datavalue":{"value":{"amount":"+0.75721645","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":"Q4289659$75EEA9C0-4AD7-434E-9A64-AAFB5C2348EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4289659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4289659"}}}}}