{"entities":{"Q3522930":{"pageid":5552834,"ns":120,"title":"Item:Q3522930","lastrevid":50446064,"modified":"2026-01-14T01:59:44Z","type":"item","id":"Q3522930","labels":{"en":{"language":"en","value":"Sigref \u2013 A Symbolic Bisimulation Tool Box"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321080"}},"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":"Q3522930$7B902D89-6019-4BFC-8397-E55EBD7BB2CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c182fa3933092e05279f29adfa193805cc9d6ff","datavalue":{"value":{"text":"Sigref \u2013 A Symbolic Bisimulation Tool Box","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522930$B642011E-7C19-417A-87B0-2687C88D74BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69468877fd31fc04b67f678183b7f69fc925811e","datavalue":{"value":"1161.68631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522930$747B0DDD-16D4-4784-87AF-ED830A53B002","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e2a1380cb5dd508c9c1819b295f22524326cea1","datavalue":{"value":"10.1007/11901914_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522930$EF984925-EC47-43E3-A74B-1A17F0310FCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c827a3a38a662dea5f87c90599612538f5739678","datavalue":{"value":{"entity-type":"item","numeric-id":402121,"id":"Q402121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522930$826EBB00-C6DB-45D6-B283-DD1C34FEA932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d118098d92196493c0a2dbf660f2391be37ad35b","datavalue":{"value":{"entity-type":"item","numeric-id":2864379,"id":"Q2864379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522930$BDC11B8F-0925-4429-9692-65A03A95B7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522930$F8C96CF0-936E-4A52-B1B3-092A6A4F1AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c775fe065f546245a955f232aabf6a363ff3f6ed","datavalue":{"value":{"entity-type":"item","numeric-id":3522929,"id":"Q3522929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522930$1D071566-2006-469D-A77D-1E67530B06E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522930$C1ABB09D-C34D-4039-8DCA-59BC1FC49866","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522930$B8F187AC-9433-4705-B4F7-804D7E44E502","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522930$DF70F0C8-BDA1-4316-A9DC-6715284C6C15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"129cb5f53828cf3e7ac704402870be1e794542f6","datavalue":{"value":"https://research.utwente.nl/en/publications/sigref--a-symbolic-bisimulation-tool-box(ec3f39f5-2aad-4fcc-9248-8891601d3ca6).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522930$CE660B55-4DF9-4216-A4ED-78A6D84468D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522930$ED946497-35E1-4619-AFFD-E261433D4373","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d2665f975cf57cda31666eab9bab30aae594924","datavalue":{"value":"5321080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522930$81CAFA8F-9E6B-4F01-8B6F-FEE8E4108875","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522930$8F6C9C7E-3381-4DBB-89CF-910649FC4A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522930$E1B9FB05-BEB5-4AEA-95B0-6B50581FA440","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":"Q3522930$076FCAE4-AB83-4D76-A1A5-2B7FFAAF3475","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34d662c4df4454d04aea9042085a045a6dc2f5a9","datavalue":{"value":"W2130820909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522930$E0377D8D-F77D-44EA-9B01-600F35AF7D51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a885d51b9de53e37924e8f0ce14d0a59bb5546a","datavalue":{"value":{"entity-type":"item","numeric-id":2842000,"id":"Q2842000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4dd3f4fbe79524518d2677054a7b8afdb29c22c","datavalue":{"value":{"amount":"+0.8154568672180176","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":"Q3522930$1BFA03BE-17F6-4149-8742-1702F50B8AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2077e2051709465de2aeb7448e1d6ac9912bec","datavalue":{"value":{"amount":"+0.8107475638389587","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":"Q3522930$68638F90-98B6-457C-A9F7-0DE0CB859E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273f30ae6b2f6499f48fdd8678c06435f52e70b7","datavalue":{"value":{"entity-type":"item","numeric-id":4916208,"id":"Q4916208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b21254d3158fd27445148234764a79b4b6553e","datavalue":{"value":{"amount":"+0.8001422882080078","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":"Q3522930$9D46F525-9A5B-4DA2-A0EE-BFF8FFCD1656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03bbbebfbdbd14491d7ffdd034cc1b28ee81820c","datavalue":{"value":{"entity-type":"item","numeric-id":3172876,"id":"Q3172876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be0c1e150f55de8ffbe308c7beab52f5c0983db","datavalue":{"value":{"amount":"+0.7920069694519043","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":"Q3522930$5991AAAA-1FF2-468C-948E-3A05CC2973A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e324874e25ff984bc895b138773ac64e28785bb","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082cd63470a04773929d4bbc6c6ddbc0a5a8e1be","datavalue":{"value":{"amount":"+0.7801069021224976","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":"Q3522930$27AEEF0B-40A4-499C-BDE2-561AE7C19CA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522930"}}}}}