{"entities":{"Q5262931":{"pageid":7292507,"ns":120,"title":"Item:Q5262931","lastrevid":91853060,"modified":"2026-06-05T00:14:17Z","type":"item","id":"Q5262931","labels":{"en":{"language":"en","value":"Probabilistic completion of nondeterministic models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457549"}},"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":"Q5262931$096E7266-AEA9-426C-95E5-03F7438AB3EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41215d2c8aeca118b5f1dccf31378bcfa151e8a0","datavalue":{"value":{"text":"Probabilistic Completion of Nondeterministic Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262931$8C48C807-E008-4446-A36A-2D17D7F25CF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37d93eaf752c04cf6ca9fa2ac3716b6991196b0e","datavalue":{"value":"1316.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262931$56E04C8E-D8A0-49FE-A621-E5CC4CF1083A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"274c4463b9f290ec1dbc3ff7abf49e8eb428ee7a","datavalue":{"value":{"entity-type":"item","numeric-id":5262930,"id":"Q5262930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$D14FFF96-8222-4061-9340-369FA2438F5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$01493527-CBDC-4FC0-867B-31D7102CB8F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262931$14140923-05E5-4BFE-A71C-60E0C42B1D50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262931$3FE83267-F059-484B-884B-F159220DC805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262931$76B6868B-CA9F-4E38-84E3-CFF114E133E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262931$0439554E-B863-4865-90DE-FA7305D763DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262931$662F1B51-1A66-4B3D-98F4-97FFB6ACA2B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c9154c7ec8c895b26f3f697430f5b76cf832e3d","datavalue":{"value":"6457549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262931$999DD357-45BB-4BD4-90E7-B3F3448ADA49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec1b04955a231b062f506c9d3067e57aa0f0735","datavalue":{"value":"combining categorical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262931$737FDD4A-6429-43B8-8B4C-BE73EE9C17A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4cec9559252d033987e173e034b659deeb7bdf","datavalue":{"value":"mixed choice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262931$527A2150-B0A1-4681-B216-AB2537BDAA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142be0928120d9c52e75575856474ab4cf9c8295","datavalue":{"value":"functorial factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262931$3CA88D68-04AD-4A86-994F-6081FC073EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542b85f7f46fc865c894124580f5bf380e504e99","datavalue":{"value":"convex completion with respect to a semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262931$4B18D198-C566-42F5-AAB8-DB976C1F6BEB","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":"Q5262931$94422DDF-5E83-470D-9109-708DD1636EC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4e8f5cce9c2369eccd851ab85319ad1826d9bea","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262931$C64BC418-6939-4913-A948-F450AE11787B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e47809e829b8dc94730d5d1d9cb599e35be356de","datavalue":{"value":"W2022168243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262931$59F25F1B-77ED-4C58-93FC-E06F3C8DE2E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$A9902C45-8C95-4579-B951-5A0732AA8366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$84A673DA-B6FD-45A2-AFE1-3931006AD11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d7be83b80600966641a1e70737014e7cef5d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4954447,"id":"Q4954447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$F22DDDAE-B827-43EA-B6E8-B2B44706A8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$8CA71646-6A78-491E-912F-17D8DC95F0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$81F3EA10-BB02-422E-BEB4-E8E2CD8B2686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d5a6f84755ad43a773b6ab5ee14f3400a8f6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4222969,"id":"Q4222969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$03467DCC-30D1-46E6-87A9-C05CB728862C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4975d1abb2d17eced8cec872019842496981d896","datavalue":{"value":{"entity-type":"item","numeric-id":371258,"id":"Q371258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$3846C615-9CE7-40B0-8144-DD605C232825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$B575567B-C113-43BC-BAB7-14CBB68E3316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9badc6ac1d95d67ed514f7a977398948dcda3edf","datavalue":{"value":{"entity-type":"item","numeric-id":4536613,"id":"Q4536613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$9CB34A21-9287-4714-955A-141DF0FC32DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88d9f48f74f421576fdade1de250a250b0bbc10","datavalue":{"value":{"entity-type":"item","numeric-id":2847403,"id":"Q2847403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$C98BA77A-A488-42A2-BFA5-F17745B890F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$748BD24B-EB4A-4524-A860-AA19287C9AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cdcd8c6e33c963f119b0f27089fc31ce7bb8c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4749207,"id":"Q4749207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$29A8D3F4-89DA-4D8F-BACD-D16063C78F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e9d76aa5250eeaf868474317875013ddf95e0d","datavalue":{"value":{"entity-type":"item","numeric-id":5492831,"id":"Q5492831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$97290D4C-7FE3-42F8-BDA9-2A5D041EC1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$AEA4300A-4F06-4FF9-AFC9-5E6F4D6235E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e1ca20a5253e40e9f7c427df5aa3a732027b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4488202,"id":"Q4488202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$BB182A86-6C36-4E10-A1B7-3FA62D430FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d219c448aa712a35ee812c047663f1dce1c75","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262931$2559A7C4-7D72-46B2-A10F-4728D951BE16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02dc361c9cc8483f5ec6cfebeaf2a03b4f058324","datavalue":{"value":"10.1016/J.ENTCS.2007.02.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262931$9A58A81A-824E-4C48-B33B-1D72B72211A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26735b3f36f3bf5caae115f6891e8dc60ae34044","datavalue":{"value":{"entity-type":"item","numeric-id":4536613,"id":"Q4536613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b15c926a2e14a36c6c5353a227de8503b7d819","datavalue":{"value":{"amount":"+0.7943684458732605","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":"Q5262931$83879DF8-5850-4B96-BE96-51DF70FC6FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bc1eb9b938b5072f19d8527b2b2976ca558067","datavalue":{"value":{"entity-type":"item","numeric-id":2980964,"id":"Q2980964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136c047dfc8b402184a2a203f9f97e112b075f53","datavalue":{"value":{"amount":"+0.7775812149047852","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":"Q5262931$30718752-EF5C-4EC6-B6A5-60D6E9634734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6601f9f69b8e65ef474598362b7b8ad634da1a68","datavalue":{"value":{"entity-type":"item","numeric-id":5360215,"id":"Q5360215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9a85ca32d09673e6ee7207af65ffe98a1e0112","datavalue":{"value":{"amount":"+0.7772035002708435","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":"Q5262931$7E49A4A1-CF8A-4FEE-A322-01745FB1C0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8fd09c758665bb88f5cae6fd2cc092dba84762","datavalue":{"value":{"entity-type":"item","numeric-id":371259,"id":"Q371259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64648cfd0169e9c2d41ac049742c0218addd8fb1","datavalue":{"value":{"amount":"+0.7712879180908203","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":"Q5262931$149C915F-F905-44C8-B8EF-9BA2200EEC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c1cf130a423b04993edc5f3fa91b228aaa56401","datavalue":{"value":{"entity-type":"item","numeric-id":5458368,"id":"Q5458368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fa1e9c748a86c669cad57d09994b59d2500d99","datavalue":{"value":{"amount":"+0.7531430721282959","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":"Q5262931$2100B763-87FF-4C9C-A5C4-B77CD3219118","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic completion of nondeterministic models","badges":[]}}}}}