{"entities":{"Q6174416":{"pageid":13309304,"ns":120,"title":"Item:Q6174416","lastrevid":40881170,"modified":"2025-04-13T17:30:05Z","type":"item","id":"Q6174416","labels":{"en":{"language":"en","value":"Compatibility of refining and controlling plant automata with bisimulation quotients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728634"}},"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":"Q6174416$662B741C-2603-41A3-B727-9BF9568B8C45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1478c1fc7f4e240155019cd944e6c8515db16e79","datavalue":{"value":{"text":"Compatibility of refining and controlling plant automata with bisimulation quotients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174416$D1670CC2-A7CF-4B8C-936A-183428CD0F31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e3fdc308be30cad9a669a3dcdaad87a52400e97","datavalue":{"value":"10.1007/978-3-031-28083-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174416$9E8692E2-FD14-4248-AF9A-A883F9A43D05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6603d5a122c81c71a14e46850256e2bf242289da","datavalue":{"value":{"entity-type":"item","numeric-id":406439,"id":"Q406439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$11947F73-9EA8-4CD8-8C84-D9D4C6EBF074","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$DA331F52-BAC9-4058-80A2-E300C897031F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174416$B034E909-6381-4A67-98FC-7DD514846082","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174416$7987FA26-CA3D-4A85-9ED0-1E8C9BB5DFD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ae16dfa7042a427281faef036b9e25485d90617","datavalue":{"value":"7728634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174416$F5CE4047-4B27-4894-AEAC-5AC0075179F0","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":"Q6174416$F71A72FA-753B-4F8A-9364-0C6F30023607","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9cedc78ca37bc848b8c8997137c0712cb3df266","datavalue":{"value":"https://doi.org/10.1007/978-3-031-28083-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174416$25016ECE-C10A-48C4-AF44-11F3A960CC2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c9f9ada18cf22ad93695258e4a57ab64cf272c9","datavalue":{"value":"W4323527402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174416$5D302DC6-47DA-4551-B220-6B80EDA9F2DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6a05bfa93ebf49a1240ba76bf83f6f73ecf227","datavalue":{"value":{"entity-type":"item","numeric-id":1996422,"id":"Q1996422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$16186A16-B1D6-4D15-860E-C32372040256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$2C407037-6677-467D-A1E6-CCD347FC5FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$F43789E0-9205-44FA-B1FC-19538F9102DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb7ac09947d44381b2d66deeb9687eb2ac78b7f","datavalue":{"value":{"entity-type":"item","numeric-id":3007576,"id":"Q3007576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$8C1DA4AF-CCA1-4BFE-883B-F3261A1FCA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e392c85c594868584ee6befb76b9d884b1a45a3a","datavalue":{"value":{"entity-type":"item","numeric-id":3651513,"id":"Q3651513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$3BB8F7E7-A899-44D6-A6B2-AC586894B0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d497fefa30a105a35b20d8c7a70f4310b79c4c43","datavalue":{"value":{"entity-type":"item","numeric-id":3067468,"id":"Q3067468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$01B132E9-2FC0-4714-9AFC-A7D06453FF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$372F4D52-E481-4D9F-81CA-F4899E295F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f266f11d0364bdec27a15e27ebdf3a6e748a68","datavalue":{"value":{"entity-type":"item","numeric-id":3264483,"id":"Q3264483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$1F5560B0-40B6-48C9-90ED-362C48551740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$0837D0BD-86AE-418A-B7CC-A5C517C7866B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c5c50666947331e6627a00bf159a6a4deda17b","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$8A6E4502-DEB6-4F51-A092-D0A16ADEC843","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":"Q6174416$3A5FA2A4-232F-4740-913D-DD57563AA20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$7790EFEC-049C-4410-8AE0-9883BDC10BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53ccf5c768c89bd8aaa93c923fb9227f53a702f","datavalue":{"value":{"entity-type":"item","numeric-id":3521995,"id":"Q3521995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$C70FC476-1C1B-4E9D-9B8A-E3C43E8EBF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82699cb84a25061cfa9ec15aad508aa7c27a3d5a","datavalue":{"value":{"entity-type":"item","numeric-id":4202958,"id":"Q4202958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$B839D25B-4F05-4BAA-850D-31004E4F3319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdaf54329ae69f58811a91fbba85e809b1dc67f0","datavalue":{"value":{"entity-type":"item","numeric-id":4302302,"id":"Q4302302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$35139644-C37D-4167-8532-A8B99858A2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a234b55835d1866f8fdae99bbe8216e3ea17a46","datavalue":{"value":{"entity-type":"item","numeric-id":3507553,"id":"Q3507553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174416$D36FDFAF-A3AA-4B0D-80AF-788E4F73097B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f4ac3b5b380edd239e3d713e8314e29a2b82b","datavalue":{"value":{"entity-type":"item","numeric-id":2519735,"id":"Q2519735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f496dbdb77bd2a4906062feb85d3fff739a665b","datavalue":{"value":{"amount":"+0.86225146","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":"Q6174416$8CE787C4-EFCE-4181-AC5B-1B2F35A6FC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f76316f3247ea62623bae2cf0c4801cb7b09127","datavalue":{"value":{"entity-type":"item","numeric-id":2566293,"id":"Q2566293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423e19087c4e0e1a6320cbd017edf4a9579649da","datavalue":{"value":{"amount":"+0.8574275","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":"Q6174416$66BFC505-D154-4177-9E9A-6B217A898F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8634064e9ccdfe921954b1f1dcc86274241a0e56","datavalue":{"value":{"entity-type":"item","numeric-id":2842819,"id":"Q2842819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6745bbf55760ba78e7d63053c4aba4d51af9f20d","datavalue":{"value":{"amount":"+0.85616636","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":"Q6174416$FB5F7756-75E0-47EC-95B0-FBF2FAC08997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30686e4b96dbdea5912a334eab698ec8c93f1b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1966507,"id":"Q1966507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639fe6918ec315d54c7de70b030574425d59f742","datavalue":{"value":{"amount":"+0.8527517","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":"Q6174416$CF25FE61-DB67-4611-B4B0-8871DAD6D1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6539227f1a572e3645e352c1875e4ae7e534e4de","datavalue":{"value":{"entity-type":"item","numeric-id":1273548,"id":"Q1273548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52521958942b297a53ed815ac74a351116d0c24","datavalue":{"value":{"amount":"+0.84748346","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":"Q6174416$B15EFFE9-F85E-4D8D-AE00-B37C0FE957D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4457c43e78286dde6f78d95204033b2cb15e313e","datavalue":{"value":{"entity-type":"item","numeric-id":1822987,"id":"Q1822987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7462824c99d16b815961d4db13278078a89538b1","datavalue":{"value":{"amount":"+0.8463068","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":"Q6174416$E7014889-9CA3-4232-B6D3-1A617E32CA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cba559925e3b7d64b2f0d517fb93792c2f1133a","datavalue":{"value":{"entity-type":"item","numeric-id":4602534,"id":"Q4602534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e32ada0dc631f75a0c4f87fe578fe4096bf839","datavalue":{"value":{"amount":"+0.8460715","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":"Q6174416$A27847D2-8487-488E-BF33-33CB0B60015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04695aece85a94a2a66fe51ee52d0cff39d3cdd","datavalue":{"value":{"entity-type":"item","numeric-id":693690,"id":"Q693690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e59a7d0c679760a29547a2bd5550ce9c231980","datavalue":{"value":{"amount":"+0.8438964","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":"Q6174416$B6F5D734-CFC4-4923-A8D3-81F04523D530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f373e01cca5ea2c701cf8122919a57c753a7c6cc","datavalue":{"value":{"entity-type":"item","numeric-id":3651513,"id":"Q3651513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6cefa13b57ebff8bf94e41a82aa86c58785d4c7","datavalue":{"value":{"amount":"+0.8420395","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":"Q6174416$063E6033-4FF1-4D19-AC22-E1877E9A2389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09c72504d3349369c03acd60cbb1e47be2c2cb1","datavalue":{"value":{"entity-type":"item","numeric-id":5281829,"id":"Q5281829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"735409c4f4217f7a5ac9910b8dbd320be9d8aa0a","datavalue":{"value":{"amount":"+0.840603","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":"Q6174416$F61E248B-E061-4A0A-8FD3-ADCD7F524E0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174416"}}}}}