{"entities":{"Q386011":{"pageid":387778,"ns":120,"title":"Item:Q386011","lastrevid":61448187,"modified":"2026-04-10T23:26:18Z","type":"item","id":"Q386011","labels":{"en":{"language":"en","value":"Abstract probabilistic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238027"}},"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":"Q386011$5BCC633A-0006-4CC9-91C5-C74B0F9BD40A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fb390e14619817c829b2787d7363e6c650be62f","datavalue":{"value":{"text":"Abstract probabilistic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386011$5EE64A0E-FD13-44A0-8C5F-05387FCE7021","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f7b8f2eb3ab92292f9c2c7e643ab825a451efab","datavalue":{"value":"1296.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386011$BB7BB61C-AEA7-4176-9878-2CE327C32660","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a716993ce7ffcf19373e97e44f91ca996eb0c09a","datavalue":{"value":{"entity-type":"item","numeric-id":386008,"id":"Q386008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$F1EB8FD5-1EB8-4073-95D5-AF9B9712BBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$4476845A-8AD5-4CB2-ABB4-BB49F67D955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$E19772B6-F66E-44F3-ABBB-F8289AAC6232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"534bc8e4a7eaf3d5a6c00cafdfb60e4f4981a9d0","datavalue":{"value":{"entity-type":"item","numeric-id":386009,"id":"Q386009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$F1A968E6-1B70-4A34-B307-E28CCE9EC5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e914f56465f6480a2ef46b02f1dd75e17ee3762","datavalue":{"value":{"entity-type":"item","numeric-id":386010,"id":"Q386010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$B2141C38-5887-42B7-99CA-3184F743BDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d53e9570d442a569b789880085f203ff32389ae","datavalue":{"value":{"entity-type":"item","numeric-id":338616,"id":"Q338616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$9D93C992-F1CA-487F-BAB8-5023A597B97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$4D2E6D86-02F6-4D1E-8C23-F365FE2C3CB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$39013DDD-59EC-4480-9762-0833F93558A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386011$901B8947-8E44-4D17-B3CF-081F99BCB829","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386011$0B549100-5F44-4771-B5A0-20FEE7550FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386011$41274A1D-7FF2-4465-8FAE-977766237141","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"134ff61df84a8b0f92d4d1a78998a3ff3718856c","datavalue":{"value":"6238027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386011$9EE0E7EB-ED0F-4572-AECE-D64E53CF2CB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q386011$2AB9062B-7F25-4112-9316-AEECA8FDA4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q386011$64EF29F3-0223-4347-8389-C31A33297B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q386011$70D76E4B-8E72-4139-9A90-8F2C26B3D978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1be68ca3b7d850a566f2d04f341616b9c992b9","datavalue":{"value":"interface automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q386011$25874D98-827C-47D4-A000-35F8E9CACF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q386011$EE84691D-0734-4F34-B3EE-167BB2F5AFEB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bd7e72feaf32de50aff7a74ed830d58edb5355cf","datavalue":{"value":"Q57800969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386011$7E2A5B79-384E-4C21-9CFE-15D203D242A9","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":"Q386011$20BBEE5A-23A7-4812-B5E6-176E7E03D168","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c08650806619130723002d6dbc6cfbfabc378bdd","datavalue":{"value":"https://doi.org/10.1016/j.ic.2013.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q386011$55A86A39-91FC-4F42-99F4-E7B28AF06619","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e63716dde3b73f7d96b57d9de46ffb33dc8b1d8","datavalue":{"value":"W2163161023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386011$AA21D64E-925F-48FF-B71A-181B03CB8BEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d0aa6242a5d301cf61b9c51e558ab254634476","datavalue":{"value":{"entity-type":"item","numeric-id":3075492,"id":"Q3075492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$E72AD326-AC08-402C-8784-E3F1B5252B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$4208585B-640F-4BEB-8419-6709A9B0133E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$62914BEF-1222-44E6-BC21-6689215DD635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2366dd37d544fe56ffa25ad7fd7629a072348b","datavalue":{"value":{"entity-type":"item","numeric-id":5756588,"id":"Q5756588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$0B5BD903-A688-483D-8E9A-3EF928E2A7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a5b891cd9d989bfb84e7d114268daa13d09acd","datavalue":{"value":{"entity-type":"item","numeric-id":5392299,"id":"Q5392299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$AAADF0D3-0874-40CE-A869-E662590D23EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e2ff3238024c9d4e0622cc7af43a6eece9606d","datavalue":{"value":{"entity-type":"item","numeric-id":854167,"id":"Q854167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$C375769C-D578-4DC1-AC46-1DE6CF600C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e91f3368bb5fa6dcb0dd2d49ca955c8414f92f","datavalue":{"value":{"entity-type":"item","numeric-id":1020557,"id":"Q1020557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$465F3A7A-C8BF-43B5-8566-6554D1BEF7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ee182ed547c34efddf0b14b92016a0567e7200","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$7AA66035-7FE5-4F40-BE4E-F12E55C8631E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf02e0e12f9221abdc711425832159142f80fb9f","datavalue":{"value":{"entity-type":"item","numeric-id":3546349,"id":"Q3546349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$5A298F97-5185-4E0B-8421-795C405AC6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eeec6f235d21a7744312a54a3904016dbe38db","datavalue":{"value":{"entity-type":"item","numeric-id":5899037,"id":"Q5899037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$67F2AA10-FA7D-4516-9114-E89EDE4E2B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d4d8827841b1c3b0c758009101cd6fe41aab8a","datavalue":{"value":{"entity-type":"item","numeric-id":554215,"id":"Q554215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$6E025EE0-5DDF-4189-80B4-B748A5E1DB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f46bda96acb7a6d18b7778a9c5a10698273b72","datavalue":{"value":{"entity-type":"item","numeric-id":3004586,"id":"Q3004586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$4563EDD4-7F46-4C30-9CB6-DD9DEDD1C889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$7FED53FB-06E6-4B1C-B2D8-FCB8CC7C71A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f651d182f00465d4f95048fd3f3595ea9d743f9","datavalue":{"value":{"entity-type":"item","numeric-id":3393402,"id":"Q3393402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$0173563B-3D5E-424F-A805-A70AE6D1A4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"392863b139e29c8eb41e9bab67000bdc80e8a6bd","datavalue":{"value":{"entity-type":"item","numeric-id":843096,"id":"Q843096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$0740E028-339E-44EB-ACE0-2F14D143836C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410c6a7274af919e63106aa23edd28b09f082e59","datavalue":{"value":{"entity-type":"item","numeric-id":3648832,"id":"Q3648832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386011$DC736EDF-24E4-4431-8E66-40B56209DF68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49e7c03ff892a6b481b6ba820b7b7fef99136d41","datavalue":{"value":"10.1016/J.IC.2013.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386011$4DDDEB7F-B7C3-482D-925E-E5EE1F4FDCA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0add54a764ac02f2329798cc005bc54762c5966d","datavalue":{"value":{"entity-type":"item","numeric-id":3075492,"id":"Q3075492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2885f421f6406f7adff50216840a2872b9750d","datavalue":{"value":{"amount":"+0.9977864623069764","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":"Q386011$BF972189-1610-4248-822D-65C13C81720B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17cc23d813d805cbb94b279e5235f222e228826","datavalue":{"value":{"entity-type":"item","numeric-id":2436515,"id":"Q2436515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23161953643fbb3159372407fb31c675a285f6b0","datavalue":{"value":{"amount":"+0.912292182445526","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":"Q386011$E1A0E23B-8082-4F0C-AFD6-4184193BCCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab58252298837bc3715f2560ef1552e484102e16","datavalue":{"value":{"entity-type":"item","numeric-id":3455842,"id":"Q3455842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c606e420a3f65d5e99df2a07af264a3c4217ee0","datavalue":{"value":{"amount":"+0.9082873463630676","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":"Q386011$44C56DB6-4B4F-4EF3-A456-1DCB24D61C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da30be3119feeb4fe0cb945cb7d65eaf2f8edef","datavalue":{"value":{"entity-type":"item","numeric-id":2915179,"id":"Q2915179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e348e0146250bedd09d0954dfb3c352f35b70155","datavalue":{"value":{"amount":"+0.856093168258667","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":"Q386011$37404214-3CE5-40B5-B329-6945A59AB82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df96e6ed9808eaded7178e677c26568974f176e","datavalue":{"value":{"entity-type":"item","numeric-id":2878759,"id":"Q2878759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eca73be96ce7a70b5a62d517cc4585925f420cd","datavalue":{"value":{"amount":"+0.8147771954536438","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":"Q386011$5A8CAABE-3533-4A64-8FF3-B61A11D244A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract probabilistic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_probabilistic_automata"}}}}}