{"entities":{"Q4540390":{"pageid":6569982,"ns":120,"title":"Item:Q4540390","lastrevid":89854187,"modified":"2026-06-04T18:26:33Z","type":"item","id":"Q4540390","labels":{"en":{"language":"en","value":"Model reduction of finite-state machines by contraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1769645"}},"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":"Q4540390$A62CC241-A4AF-453C-AC64-2F5F075BCFC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a890c5d67e9d0a9a75a93b7f3c66d5c998e86226","datavalue":{"value":{"text":"Model reduction of finite-state machines by contraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4540390$BAE3C561-F0F6-454D-8E39-25B906BDDE12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3bcf8169486152cb6aa5b17ba34526f3906f317","datavalue":{"value":"0997.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540390$C9AE361C-E712-4F36-8FD4-F92519F15C25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3b6214eecc91bcfae2114a44fe0ac4d9ab6df4e","datavalue":{"value":"10.1109/9.920804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540390$950F61E7-DB89-44CE-AC76-53B74A1A1437","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"479784e7540b067b28b0c036a665848976358bb5","datavalue":{"value":{"entity-type":"item","numeric-id":172784,"id":"Q172784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4540390$F9E01E63-DCB4-44E3-8BF0-2085FD7FE360","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4540390$620171DA-75CC-4A39-9AE1-A8EB0AD21C44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d120d21261a5c22ff91d794cefe763ecdb1cf02","datavalue":{"value":{"time":"+2002-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4540390$DA87BD23-BEE2-4554-9A81-2649DC0818A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b08a9aa4093d0f992210dbb0acee8841c4aba3c","datavalue":{"value":"http://hdl.handle.net/11584/665","type":"string"},"datatype":"url"},"type":"statement","id":"Q4540390$F310196D-CD4B-4608-A2E0-187590F056DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540390$286F9D63-E606-4974-A48D-9C3A6E9B9A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bebb2f5015fb82845b748c674a6a24fd89efb27","datavalue":{"value":"93B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540390$DAF342C9-90E6-45FB-8B18-31860B808A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540390$44115210-B301-480F-AB00-E8F24E0D6D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540390$D46F9A28-650C-4C64-88EC-7715F7B9B062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"307c66478894fbc76f9ab152f3c58114503bb3f9","datavalue":{"value":"1769645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540390$800FD256-5D36-4542-8B3E-950A7EF04D47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540390$072D5894-EE74-41AB-8DA8-C595AC9272C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ff8d9100fe4023ebe9b3aaea4870e2a981efb7","datavalue":{"value":"finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4540390$D478579C-D9A2-4477-9EAD-EEFF43378011","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":"Q4540390$3FEE19C9-242A-42E3-91CA-4757F744242B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8f8d2c0f069396152c6446719f0671788bf6577","datavalue":{"value":"W2105481239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4540390$E3D46D93-3B72-4BC0-8A0B-468199A1CB12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"208d50b830579cf6784b51a0a5cd27ca6b5691f2","datavalue":{"value":{"entity-type":"item","numeric-id":4216056,"id":"Q4216056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5984ca1510c87e0d32b1929ba2e57755046087dd","datavalue":{"value":{"amount":"+0.7386394739151001","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":"Q4540390$C512FD6D-3F40-4C55-B43A-44CB2C15CC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc90718e1d413640ba01c27097cb197e031fe32","datavalue":{"value":{"entity-type":"item","numeric-id":384661,"id":"Q384661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ffed575cc17701b70865e5500cb78b47aef71d6","datavalue":{"value":{"amount":"+0.7386389970779419","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":"Q4540390$F704AC3F-FE10-440A-8A10-A5070A335B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac8a85da9cec0980c65f4785a46bcf464d98669","datavalue":{"value":{"entity-type":"item","numeric-id":955726,"id":"Q955726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e24b7a92b990b36d18e03e2bd4e381301cf8c55","datavalue":{"value":{"amount":"+0.7378512620925903","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":"Q4540390$802C12FA-9A57-44F9-8104-ED55542B7EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6291c14460cc94b905ddb94205c516634de98d43","datavalue":{"value":{"entity-type":"item","numeric-id":5943266,"id":"Q5943266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b9b2f3fe2c7d9dca0ee3a1180f72b38f208a69","datavalue":{"value":{"amount":"+0.7376389503479004","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":"Q4540390$E1F6DA3F-FFFB-4308-B019-76FFBC844A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0bcd9b98554337435eb15214dc213f5b8cfa7db","datavalue":{"value":{"entity-type":"item","numeric-id":5715345,"id":"Q5715345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b9b2f3fe2c7d9dca0ee3a1180f72b38f208a69","datavalue":{"value":{"amount":"+0.7376389503479004","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":"Q4540390$292697EE-F513-4B04-B67A-EDA9E6DF5FCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model reduction of finite-state machines by contraction","badges":[]}}}}}