{"entities":{"Q1816922":{"pageid":1827664,"ns":120,"title":"Item:Q1816922","lastrevid":46463013,"modified":"2025-12-24T20:20:24Z","type":"item","id":"Q1816922","labels":{"en":{"language":"en","value":"Compositional minimisation of finite state systems using interface specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 951640"}},"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":"Q1816922$752E36A5-C847-42E4-8018-7DAEAC77F218","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"468d9610faa83a7882c7b1a5ac0280a86de17571","datavalue":{"value":{"text":"Compositional minimisation of finite state systems using interface specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1816922$DFCAD57F-1DFD-4515-8E80-70931B2FA409","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bdf0e28d8211c203c71db3224c8585cd845e3f5","datavalue":{"value":"0860.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816922$1F8AEA53-3F9D-4902-9C39-2D328B8D5E67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"718863af7e7f6ae4554682c219e56ea9b5ce7f55","datavalue":{"value":"10.1007/BF01211911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816922$28DC0564-C3DB-4DC8-A025-29D08489D1C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c02480a6f2acb40a62f3c1a600bbd033e6ddfab","datavalue":{"value":{"entity-type":"item","numeric-id":453527,"id":"Q453527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$97D8397A-2635-4C44-8CC6-E27DDE12371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$7F746F45-0C24-4299-A3B2-FF47760F35A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$FA6BFA2F-6D39-48F5-9855-B4A6DA4353F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$533D3FC2-B950-4C90-B216-951F8E38C751","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8f57c2707c7d53eacf4022f5ee5ca93983fdb18","datavalue":{"value":{"time":"+1996-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1816922$E8584D1E-C500-4E3A-8663-0DA8741EFC5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816922$64452BB3-6455-400B-BBDB-74AF768060B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca835adfad407d2c97952fb6fe8a48df127c478a","datavalue":{"value":"951640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816922$2697A35F-6F49-4524-8CF2-369D89C7C66F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa77a4cc999709fb3eba9987a004a41312c4dfc1","datavalue":{"value":"minimal transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816922$E344C835-E25E-4CD6-80E1-C3EAAF182F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"618e6039ba008d91a464636d30429e506d7d5685","datavalue":{"value":"bisimulation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816922$A0D13BF8-6EBE-4711-8860-7C260BA2168D","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":"Q1816922$8D358E43-84A8-4558-BAD5-A7D21D7177A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$32018D41-12AB-44E2-A92A-C8AB5B2B7AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$C17443F5-64DD-4D71-B312-77FDA03A475D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02681399d280babc7e5544e40c7c321b2d1fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$C13F60E8-C7C9-48C3-B5A4-5B294E18105C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ae2e3c80b35233bea9c20d8e9c69445f93b091","datavalue":{"value":{"entity-type":"item","numeric-id":3761688,"id":"Q3761688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$54CDC40C-DABF-4A3B-BF91-E243DD2AE277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$4DC8F147-BD8D-46E8-B816-1B3EE0B315A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97415da448f0be84ca8b8e79f7fdaafc918e512","datavalue":{"value":{"entity-type":"item","numeric-id":3795197,"id":"Q3795197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$2D51174C-B765-4560-971B-1BF0AE86A55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$00397D3B-7107-4A8A-A3F5-D2D0CFFB7887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2f3735fddba1e9c6bc53f8cc8db995e1fca12","datavalue":{"value":{"entity-type":"item","numeric-id":4037386,"id":"Q4037386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$5B4FF7DB-C8E5-48C2-902C-46B97A277B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3cb8444a1d29e977028b86d5070fb2c28d7bb9","datavalue":{"value":{"entity-type":"item","numeric-id":2640340,"id":"Q2640340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816922$662EA27B-22EF-424B-B3A7-A8C8FD0FD49A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5310177235e4053ddf5470225159c394b716a789","datavalue":{"value":"https://doi.org/10.1007/bf01211911","type":"string"},"datatype":"url"},"type":"statement","id":"Q1816922$C843DECB-0F34-427B-A030-1F5B4D131251","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e33c12ed3d7680acfaac76d32bc593ed81194e40","datavalue":{"value":"W1987298286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816922$D0BCDA28-3AEC-4E1D-92C1-FAE089776599","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0b4f61a2d27aa5965500be1a1e57f22e36f8e7","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17fba0f87eec8b8f191be1b073e5852653300c8","datavalue":{"value":{"amount":"+0.8929395079612732","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":"Q1816922$D7B031EE-7A63-4734-B218-BAF8EDDDD0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07e54b7559e39c6fecdd643eda03da86fd914c8e","datavalue":{"value":{"entity-type":"item","numeric-id":4037089,"id":"Q4037089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6dd3e542b8619991df7c8f98464e26009e442c0","datavalue":{"value":{"amount":"+0.8926600813865662","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":"Q1816922$C72E111B-7B01-4847-989C-5C9E8E699B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c013e3ef81853f2ceb27a734868593d2b18a684","datavalue":{"value":{"entity-type":"item","numeric-id":3613065,"id":"Q3613065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28cb385013a9cf1aecaf4ecc94452aecc61ac289","datavalue":{"value":{"amount":"+0.7773275375366211","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":"Q1816922$62FD440B-4864-4634-BE23-891926F2B558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1816922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1816922"}}}}}