{"entities":{"Q1907766":{"pageid":1918508,"ns":120,"title":"Item:Q1907766","lastrevid":69258396,"modified":"2026-04-13T05:48:32Z","type":"item","id":"Q1907766","labels":{"en":{"language":"en","value":"Determinization of logical specifications of automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 844524"}},"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":"Q1907766$75EB694F-B7AB-4450-8530-02AE29A2A874","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b9431cdea4d2deb71e1525d45ac6f621c25be64","datavalue":{"value":{"text":"Determinization of logical specifications of automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1907766$0216A9F6-4BB6-4DBB-BD60-97873D4A4FDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45e3c21dabd98d170e6afc980b4c982c4c7c0f85","datavalue":{"value":"0844.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1907766$7843446D-FCF3-4440-B395-DF53D57BEF86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fdb9e02d2eadaf9b89b37d0123d310e2864c400","datavalue":{"value":"10.1007/BF02366789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1907766$5FC3E448-7AE7-44D1-B0BE-38CC3E39C0F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1907766$A3D6F7A7-7D50-4D92-9D22-08D8769AB34C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb3fd24908ce68799244ebdfe7a5876886c122fb","datavalue":{"value":{"time":"+1996-03-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":"Q1907766$677521EC-6952-4ED9-822C-6BEC75B8E234","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1907766$34DE9942-7772-4618-B41B-D1146EE65D99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6315388a2e389785e391e81bf921e87782a604b4","datavalue":{"value":"844524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1907766$A0E2D220-F924-440C-BFD8-883FC8AE5B6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6719da59b13d33182e0b79087235b1bf5cb676df","datavalue":{"value":"nondeterministic cyclic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1907766$39403D86-8980-4508-B2B9-A78619179C73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1907766$4BB649EB-9D50-467A-812E-FAB845BA764A","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":"Q1907766$3E4B107F-FC1F-4507-BC0F-2713EAC1B3C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d36155adb2d2abe3dee965446f2f034a21406ce","datavalue":{"value":{"entity-type":"item","numeric-id":1905143,"id":"Q1905143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1907766$D3E532D6-69AE-4A1B-8927-8E122FBE682C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a41e1f80402766e0c90dd241d09699cef6a332a","datavalue":{"value":{"entity-type":"item","numeric-id":1905221,"id":"Q1905221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1907766$7CBAA820-F6ED-4640-BAE4-8C0BB8BFA3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3e875e3ba038b614b938597c7f8aa588deb2aa","datavalue":{"value":{"entity-type":"item","numeric-id":1816030,"id":"Q1816030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1907766$5FB78366-9CC1-47A3-8854-D092B1C71B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1907766$4EA62B0B-9EB3-4FF9-819D-1822A99A55E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b4a8c8614ed687e458cc0562a5186008d74e2bf","datavalue":{"value":"https://doi.org/10.1007/bf02366789","type":"string"},"datatype":"url"},"type":"statement","id":"Q1907766$38146FA5-75B3-4258-9285-5EB08AAC8F25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6463bea36e46d63d95d0fb7295d22b79974cfe85","datavalue":{"value":"W2004081451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1907766$34130641-6CED-48DF-A147-A8DDCF467F5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a2e4040f15fac9ba43303c781dd015c92a8aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1922337,"id":"Q1922337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c998d8f5991f6d5218d2d5668241916a979239","datavalue":{"value":{"amount":"+0.8248813152313232","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":"Q1907766$154EF8B1-360F-4711-871A-54999304D0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7334eef47d28fa70df0b6db03af8542cf4c2d7f6","datavalue":{"value":{"entity-type":"item","numeric-id":334231,"id":"Q334231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b776f62e2fbc6b246ed1f41dc95f772d0026510","datavalue":{"value":{"amount":"+0.8244064450263977","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":"Q1907766$8396F9B3-6196-4B0E-B308-B9F0EC1B9C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eedbdb1d2f8b9693f9b3605b7afaf9aae39c463d","datavalue":{"value":{"entity-type":"item","numeric-id":1816006,"id":"Q1816006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f743a0f0d52dba16fd4047591639381667602b","datavalue":{"value":{"amount":"+0.7963138818740845","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":"Q1907766$EA3F0971-7978-4752-9C8D-C3BCE337E845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81b34f94dba38d3509e273a16a87718db3807de","datavalue":{"value":{"entity-type":"item","numeric-id":5942109,"id":"Q5942109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f743a0f0d52dba16fd4047591639381667602b","datavalue":{"value":{"amount":"+0.7963138818740845","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":"Q1907766$2A566D21-B4DD-41EC-A09B-0A78432996FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0051bfea31d61099bc5548d9f70bdadac31dffd1","datavalue":{"value":{"entity-type":"item","numeric-id":4282505,"id":"Q4282505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39525a5247b89c1295b4b62e774342fecefd4f31","datavalue":{"value":{"amount":"+0.7722021341323853","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":"Q1907766$A1D08793-3809-4E4F-B6B4-A30F60937C82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Determinization of logical specifications of automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Determinization_of_logical_specifications_of_automata"}}}}}