{"entities":{"Q1193742":{"pageid":1204491,"ns":120,"title":"Item:Q1193742","lastrevid":66336387,"modified":"2026-04-12T09:24:37Z","type":"item","id":"Q1193742","labels":{"en":{"language":"en","value":"Minimal state graph generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65081"}},"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":"Q1193742$B2A376CC-99D7-400A-8785-E51FC986193B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb6cd37a6dbf8643aedafc55e9d5b348758c1247","datavalue":{"value":{"text":"Minimal state graph generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193742$EAB1D93C-0512-4662-91D4-678FE8E427AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ce9c858dd622f2312e336a846dab76ceddee035","datavalue":{"value":"0769.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193742$C4CFA208-8A9F-4D3C-902C-DDBD833FD584","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52f8b1b3ee8140523bb44fa7ad46474a1fee882a","datavalue":{"value":"10.1016/0167-6423(92)90018-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193742$AB49A432-65D3-4FCA-8573-E93005D195B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193742$E27A64F4-568E-42F2-A15C-2889783E5A00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193742$796FD2A8-2B83-48EE-9D74-100D1DE26283","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193742$DB7777B7-BDE4-4294-8A7C-100BCB68FCE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193742$D5862583-0B78-4059-BA64-FA59D0637D21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a405786f7bb68876ada7bf115c162b3d92224473","datavalue":{"value":"65081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193742$5E3F7AA8-5323-498B-91FC-2BBCF47A93DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4223f68aa83ec9dbe510dfa9c9c6a609d071985","datavalue":{"value":"minimal state graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193742$F7F3FFC6-CDCB-4862-A765-3711303498A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193742$171721C0-0C85-4EE6-B8D4-A26F6F4B01CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7980fc6c1e8346b614db31a7b3f14b187fc145c5","datavalue":{"value":"control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193742$D9B90180-B11B-44B6-B282-893EEDBC8E3B","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":"Q1193742$109E0ACA-1B08-4C80-82DE-2C57D3D5E684","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92911341509e7324909f2be6a1946cf05028f73f","datavalue":{"value":"https://doi.org/10.1016/0167-6423(92)90018-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193742$48C11CEA-F366-4777-9F2D-6A9C03AFAA94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e765a45ead24f7bb33e97e0a936a9e5469dc0d7","datavalue":{"value":"W2016079448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193742$B3DEFDB2-E0F8-4A2A-A745-9425E42A5FCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9fc33ead3411de9b4d913ca432ab825307da85","datavalue":{"value":{"entity-type":"item","numeric-id":4037092,"id":"Q4037092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e2fc52f42e6dede585ccb4849c243f4fe5d705","datavalue":{"value":{"amount":"+0.950825572013855","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":"Q1193742$B982820F-A02E-43F3-80F2-C77E08C8FF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644fd57f26940d1d2922a15a27624cd6c05dc001","datavalue":{"value":{"entity-type":"item","numeric-id":4653018,"id":"Q4653018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617e5e77d6fc107b3136eb26705b5367d7e2fc56","datavalue":{"value":{"amount":"+0.950825333595276","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":"Q1193742$D1C32433-0D28-491E-BB76-8F49DEBF6376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94de5c99c326ae6d3babe173a21a16455362b3ec","datavalue":{"value":{"entity-type":"item","numeric-id":4037384,"id":"Q4037384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b349f40cfe277e471bc8ede5006865037cc3f26c","datavalue":{"value":{"amount":"+0.947448432445526","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":"Q1193742$89955201-F5B7-4221-B575-905849EE5F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c50905c45dc96d24a01ca9edac19b7a08afb27","datavalue":{"value":{"entity-type":"item","numeric-id":515678,"id":"Q515678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b349f40cfe277e471bc8ede5006865037cc3f26c","datavalue":{"value":{"amount":"+0.947448432445526","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":"Q1193742$4F35FBAB-8B04-46CD-B7BB-E04455B5DC25","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":"fc5177e1877acff9ec91d2be2ff1d9e259cc2622","datavalue":{"value":{"amount":"+0.7091629505157471","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":"Q1193742$DE04F1DF-B8A4-4874-BC07-536471FA8DC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal state graph generation","badges":[]}}}}}