{"entities":{"Q1182610":{"pageid":1193359,"ns":120,"title":"Item:Q1182610","lastrevid":69819633,"modified":"2026-04-13T09:36:58Z","type":"item","id":"Q1182610","labels":{"en":{"language":"en","value":"Minimizing the number of transitions with respect to observation equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31608"}},"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":"Q1182610$772C1EFE-5199-4D24-99F8-7A3AB12ABC08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4d2c039dbabe2b28891a1f3967cc4b8525d05d7","datavalue":{"value":{"text":"Minimizing the number of transitions with respect to observation equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182610$EAE1116E-365B-430B-BCA9-9F2B28CB988D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"128eccdf05efcbe13ed0f513002135bd3638def3","datavalue":{"value":"0738.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182610$3627EAD2-4709-4173-BA13-EB03AD65DF02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92e4c634da161e377ca2815fe92d8cb9b74e0f77","datavalue":{"value":"10.1007/BF01933173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182610$255A292C-C431-4E1A-A0EC-DA5F6F3F13DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a5743673d8240336230d135541831b543d99893","datavalue":{"value":{"entity-type":"item","numeric-id":1182609,"id":"Q1182609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$52C7870E-38CB-4573-A0AA-83612963979A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$9A771651-3B93-4AB0-A56D-188B19178A3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182610$118EA724-3AFD-4557-8A17-533D26EBF78C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182610$EB7C91D2-CE92-4DC3-9411-03B931401B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182610$B62BCADA-BC7B-4352-8462-9578E436730A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182610$A8C9FDF1-31E5-4EA6-AEAF-B1548037BF9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d115086435b9be2092fd104f640a6a8897451693","datavalue":{"value":"31608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182610$14D94ED6-79D4-4408-A86B-30AFDD2B9799","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182610$9B9F9F32-C476-4A4C-ADA6-37AA93446D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b8b00b3a23da6bd1f1e4eb057095a3ec54f5c0d","datavalue":{"value":"observation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182610$F2392A4A-31E5-46D2-BA55-66E6F1C7848E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182610$3D27C50B-F7FF-402A-AE82-F14AAD6EEF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b139f7228e51306717a3522bed5c3c725026e9","datavalue":{"value":"uniqueness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182610$1ECA15C8-FC0C-4159-B907-6B961BC1F151","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":"Q1182610$A2C34680-2DB7-4A4A-9864-6D75C109CFE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$6D9CED7D-C810-4492-8DA9-E467DB3283D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$4D28B3A4-9E9D-48E7-B252-ED67D6420BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f1862f76bd7973a9b862aca6e56e1276d4a514","datavalue":{"value":{"entity-type":"item","numeric-id":1182610,"id":"Q1182610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$700E30A2-9A9A-4E9B-B933-E9BCE0F707BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$686A1662-43D6-45A9-A01A-496C77FF2F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$93AD6ED9-E4C5-4384-ABBD-3A182B929B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$656B03EE-6262-4563-8D4D-2E90DDC46B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$9D9B4AE7-4294-4CC1-BA8E-9E0BB4B0A158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29033c07d9bc27bf7787e29bcf5ac51a584f4a82","datavalue":{"value":{"entity-type":"item","numeric-id":3681914,"id":"Q3681914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$0462EEDE-22A0-48DD-B4A0-97ED3ED053B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623619071b024e7792bffe623a1f704ecbe967ae","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$7A34A53D-03D3-4FFB-B7F3-0D8F93CB8A47","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":"Q1182610$20590A63-C064-4740-816F-68F0D73E188E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182610$131A5611-5A2D-490D-82C9-ECB7FC05CE8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec6470d6e28d08af66ca489f63b2de2d99c9d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1391753,"id":"Q1391753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368a9ade5f554e5170bfbfefe06588a5ba28ad1e","datavalue":{"value":{"amount":"+0.8411908149719238","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":"Q1182610$42F9B98C-CF5E-4697-9C00-465EFF5C9E35","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":"084e20957bb005973b886c73acc1bc8b51314bd3","datavalue":{"value":{"amount":"+0.7776219248771667","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":"Q1182610$BF250924-29F7-491C-AA79-0F00EF5344A0","rank":"normal"},{"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":"c1929a7be5e95d739b4bd8ec989175fbf7a2f172","datavalue":{"value":{"amount":"+0.7774779200553894","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":"Q1182610$B48BEFEA-AC84-4C44-BECB-F5B2FF37FAE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimizing the number of transitions with respect to observation equivalence","badges":[]}}}}}