{"entities":{"Q7323694":{"pageid":31355362,"ns":120,"title":"Item:Q7323694","lastrevid":105121960,"modified":"2026-09-17T13:18:57Z","type":"item","id":"Q7323694","labels":{"en":{"language":"en","value":"Verification of the CVM algorithm with a functional probabilistic invariant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8249911"}},"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":"Q7323694$688522FF-A71C-4E1F-AC43-50AD4FDBAC31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2aa268d135de83eac2c08250f960d7dc9398e4a0","datavalue":{"value":{"text":"Verification of the CVM algorithm with a functional probabilistic invariant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7323694$1E29E016-71A8-475D-8054-3D4CA5BE2896","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d0891fee0d2ca86155c7b3d0ba567175867d0fc","datavalue":{"value":"10.4230/LIPICS.ITP.2025.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323694$B74658F9-548C-409A-90B3-8D38270F3783","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cb36501069134594f8e682a833d889c0b6c4790","datavalue":{"value":{"entity-type":"item","numeric-id":2121063,"id":"Q2121063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$0D3F08A5-3E2D-446E-9618-9391CEAB30A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc46925c8c63d07ef12bb1aedc8aff58f720c0a5","datavalue":{"value":{"entity-type":"item","numeric-id":7323693,"id":"Q7323693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$84BA2F80-0874-4F87-AE61-EACF79B8AA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5919872b1451061adefd1a97582f33acf246c2cc","datavalue":{"value":{"entity-type":"item","numeric-id":7166142,"id":"Q7166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$636FF62C-BB78-481C-8CE3-2345D7EB6E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a6ae786fa267642e531285986729301470d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":265700,"id":"Q265700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$E935791C-95B0-4B34-B43B-7CA8B03769CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8505fc68a1c1f3753cae6e600a747c5cc24257","datavalue":{"value":{"entity-type":"item","numeric-id":1799128,"id":"Q1799128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$ED542F5E-5BA3-49C4-BFE2-B4A71E258EAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327bdfdabaae2e8cbc884e8efa23d5004f5f8802","datavalue":{"value":{"time":"+2026-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7323694$82F5F728-62D8-49D0-86AB-A7D3227B69FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323694$CDA418DB-307B-4730-AEEF-2E234E9EC49A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23633b8c5e48094d1547f734df638e69b7769a24","datavalue":{"value":"8249911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323694$3E6DC31F-DF48-4E5E-AEFB-B5CBE678E17F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$8424A3E2-41CE-40A6-B72A-C7F6C132FE22","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":"Q7323694$865F1D0F-F2E5-4E00-9154-E29BFC6B6AC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a765ede24472aa1ef1e0da8b4b93c53e38e2ad0c","datavalue":{"value":{"entity-type":"item","numeric-id":1305928,"id":"Q1305928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$74925E73-B708-4830-8D9C-4394292A09F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9208528a9398d42022a83d3910fdcc8477ab6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2784326,"id":"Q2784326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$63D84DEE-85E7-47A6-A295-DD3AF8A4B9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1370d4ef41cfc490a43b42eec581952d43ac681","datavalue":{"value":{"entity-type":"item","numeric-id":923886,"id":"Q923886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$04EC21AF-EA0F-4F17-9000-D5C9E5EBCCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc04e0e64786d32ec8491e3b514c45b7b558325","datavalue":{"value":{"entity-type":"item","numeric-id":4440423,"id":"Q4440423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$18E9450E-4243-4225-A5AB-DC51E9796ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e24f505165fe62fa16da70d2b9108c5b0bcf3d6","datavalue":{"value":{"entity-type":"item","numeric-id":3297595,"id":"Q3297595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$B9D87988-1984-4165-839E-C42B2FB2C6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524f16ffbcee76a403363a3e2b620a3d4c86391b","datavalue":{"value":{"entity-type":"item","numeric-id":6536145,"id":"Q6536145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$CDEEABF2-5F1D-47E2-A970-845676A518FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875b96201b9c7670629c5111dc963889c5541a34","datavalue":{"value":{"entity-type":"item","numeric-id":6829294,"id":"Q6829294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$6E3D3B55-AA86-4049-AEA6-CED7E9376DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7370dd51ea10b3286bcdacb82f7c7809db2343c","datavalue":{"value":{"entity-type":"item","numeric-id":6969649,"id":"Q6969649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$BF14DD32-4006-44D9-B2D9-C5DFF4828B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2596fff7a43cf9dae167e4a3260a86eb026f5650","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$FD3E02FE-1220-4561-A5F9-B6D0BC4F7663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e3a589df52b5b59a3ffc403954bc73d11c67c9","datavalue":{"value":{"entity-type":"item","numeric-id":4705326,"id":"Q4705326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$00DCD0F1-0A56-4AF0-A143-E4DEB5664FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975193bacb8a76ff06ca8120b2a0330b2e6ef627","datavalue":{"value":{"entity-type":"item","numeric-id":5919010,"id":"Q5919010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$9EB8CAB3-A073-4A25-9F9F-FA948E0D7396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9af01dc4d2d5bc93d0b1a78c6545d21232d660b4","datavalue":{"value":{"entity-type":"item","numeric-id":3576759,"id":"Q3576759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$FD3C034B-11AC-4405-8BA5-7AA30C23E4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b409c713eb261b091584b35f92681d778e69ee","datavalue":{"value":{"entity-type":"item","numeric-id":1069325,"id":"Q1069325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$A697FCD5-EF91-4119-8495-6C6092A06847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745d58229c0fb21835c844d95a6994edabc6e175","datavalue":{"value":{"entity-type":"item","numeric-id":1233445,"id":"Q1233445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$F4CB934A-53DD-4E32-8F59-317743B692E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$7D14C719-B845-4C0B-BCFA-E1A707584342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f34632eb8bab46816a16d657605b964383903b7","datavalue":{"value":{"entity-type":"item","numeric-id":2226742,"id":"Q2226742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$804EF6D0-9113-49E8-910D-C91D3F39CCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b769aba687587233fb5a63cffdf0c7f71a8288b","datavalue":{"value":{"entity-type":"item","numeric-id":4636599,"id":"Q4636599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$8D2326C0-8EF2-4DCC-989C-934FD37296B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08dd2cde602af137c52ba4f69c22bcd86e50c081","datavalue":{"value":{"entity-type":"item","numeric-id":5332577,"id":"Q5332577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$FB3D8DA5-EAEF-4681-B53F-A083A69FB836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a25a73f8590720d3d954a7ab057e2eb61413b1f","datavalue":{"value":{"entity-type":"item","numeric-id":1838002,"id":"Q1838002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$28498442-86CA-4DD1-B560-E764A52886BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584ce9313bb4e3b4c37242a2ebdc02a18965d6f9","datavalue":{"value":{"entity-type":"item","numeric-id":6572559,"id":"Q6572559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$C65AC5D8-6FB0-42A7-9015-409BCB992858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f6ba9d8da1e9b08613d5bd6e76f5a83c6105f3","datavalue":{"value":{"entity-type":"item","numeric-id":6663050,"id":"Q6663050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$16FDDA71-2D59-404A-BB4C-2BDB2ED3BA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e92e08d6e91206b4a87845981e758358a83975f","datavalue":{"value":{"entity-type":"item","numeric-id":6103023,"id":"Q6103023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$B1EEE52E-C82D-4859-87D1-4D793C6B7B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a334f4e96bc67eac9a5d7b987fa6f5d79a92b99","datavalue":{"value":{"entity-type":"item","numeric-id":2802495,"id":"Q2802495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$220AC0CC-52CD-45F0-AD37-739FA7479863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b47bcc1ab932c4282a8bc185a0d813c061b1c5","datavalue":{"value":{"entity-type":"item","numeric-id":2833177,"id":"Q2833177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$10F7DF2C-EA70-4C27-A68A-8232FA6742A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$44F63399-023B-4D4C-A181-E825D2419186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$1AA9B76B-92E4-447C-BEB9-1A434AD0B37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ea2a51f5063fe57e1806f35260e793b03a9202","datavalue":{"value":{"entity-type":"item","numeric-id":6087026,"id":"Q6087026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$94ED00AA-4CD9-4AA4-B497-3B8402785224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1df672fbbe25f8544c9b4a7e90aeef67bbbe756","datavalue":{"value":{"entity-type":"item","numeric-id":4167561,"id":"Q4167561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323694$C2C364E7-3E9A-4F8C-902D-B9A65D3550D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of the CVM algorithm with a functional probabilistic invariant","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_the_CVM_algorithm_with_a_functional_probabilistic_invariant"}}}}}