{"entities":{"Q7361189":{"pageid":31519106,"ns":120,"title":"Item:Q7361189","lastrevid":105363734,"modified":"2026-10-07T13:35:03Z","type":"item","id":"Q7361189","labels":{"en":{"language":"en","value":"ConcurrentHOL"}},"descriptions":{"en":{"language":"en","value":"AFP entry ConcurrentHOL"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a60fc228431a64f422b9f154714ae8e2e8f4f69d","datavalue":{"value":"https://isa-afp.org/entries/ConcurrentHOL.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361189$909D8248-687A-40A4-8FD7-A1DC335BC9D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0e93a36236072eb62846cd5f688ff9538edf556","datavalue":{"value":{"time":"+2024-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361189$3157F695-2947-45B8-9EDA-5CC71613787B","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"81cd49afe7b0c7730911232a5003ad6efb86ef85","datavalue":{"value":"Peter Gammie","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361189$81D6BC0D-7517-4858-911F-4D0753499383","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af00500e36992ad63231268a4d4c214e7e1e8b31","datavalue":{"value":{"text":"ConcurrentHOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361189$D5A9212C-B5F2-4784-87FD-9F6FE72F8E99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dcbdcd8a2aea52c21ce1320b630b3be780005390","datavalue":{"value":"This is a simple framework for expressing linear-time properties. It supports the usual programming constructs (including interleaving parallel composition), equational and inequational reasoning about these, compositional assume/guarantee specifications and refinement, and the mixing of specifications and programs, all shallowly embedded in Isabelle/HOL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361189$34179B3E-3145-44D4-9B40-84BDA2968AB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$E968BD92-F8C1-4A69-AD59-6FACB4B7247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e18026b3156e42d685a8b576abdb0db909fe6ac","datavalue":{"value":{"entity-type":"item","numeric-id":3569039,"id":"Q3569039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$5167C778-E165-434E-9662-3EB6F7E98CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972fe49b573800d519da084adb808f30aa3f6b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4885875,"id":"Q4885875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$466C7BBD-B490-4E93-9971-5A28B7B9C008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baae2c6817befcfcc49dee1f021a62ab71ba556d","datavalue":{"value":{"entity-type":"item","numeric-id":4007880,"id":"Q4007880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$5469841E-CCEC-4287-A2CE-41F236C91AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293747add7b6babd84264d0a6ac07c6ca700ec19","datavalue":{"value":{"entity-type":"item","numeric-id":685416,"id":"Q685416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$1EC985FE-8710-4F1E-8DD2-581908233A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36197f8fd279b619e4ed6eeb98e09a53a656e7","datavalue":{"value":{"entity-type":"item","numeric-id":4187288,"id":"Q4187288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$D3CC0CA0-CCAE-4E44-ACB5-A8FCABA8137D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e59ceb67217bcf487e7c373e95aa972d24ea210","datavalue":{"value":{"entity-type":"item","numeric-id":1089789,"id":"Q1089789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$D781D747-6E76-436E-91AB-38CC4E2F84B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$BEAB898C-C5FC-43ED-813A-9F88EFEEFCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$B2DAB24C-006F-4341-ACDD-43A2F2794C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dacb0d4e415fd20495b2eeaccc598a7f9073b30","datavalue":{"value":{"entity-type":"item","numeric-id":5703822,"id":"Q5703822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$C0144777-B9BE-43C3-8511-F3CC40FE9485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b8f2843a7242ba011aa6e7f33280202a937137","datavalue":{"value":{"entity-type":"item","numeric-id":4738112,"id":"Q4738112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$C776C5C3-2D2E-4A91-8168-A05B496CE151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1176d6dc531102187fc93e4f8db95105eea855","datavalue":{"value":{"entity-type":"item","numeric-id":5944217,"id":"Q5944217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$1459D155-FC25-4673-B82C-4C4D2136B4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$C962EEA2-2516-465B-8FAD-399BC42EA9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ac9eac2a61578c2e8597ae0765497583cb7b85","datavalue":{"value":{"entity-type":"item","numeric-id":1823657,"id":"Q1823657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$8210133A-DC91-480B-877F-75B6767EA0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb05a389c40e78044aeed565ba5994c2ff5e40ba","datavalue":{"value":{"entity-type":"item","numeric-id":1901688,"id":"Q1901688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$3F2AA465-E132-4FF7-BE77-36ED0E0D94D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead9660cd33cf6b597620bdfac44264e0480c8c3","datavalue":{"value":{"entity-type":"item","numeric-id":4647839,"id":"Q4647839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$BC4ED054-70F1-4486-A3BB-7820E9971E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$CAE334C8-DB37-4B35-AC86-5DD192A9BF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$A8114E71-21E7-49DB-986E-DB4E23D3D571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$5BE01094-17AD-4910-83C6-C26CC14DB84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$F5682D0C-50F0-4308-AAEB-800B8F15A5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$8E1DD942-12A8-4BB8-971A-0447B27524E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b678f135b793eedf7b80312762ba5957ebe9553","datavalue":{"value":{"entity-type":"item","numeric-id":6162114,"id":"Q6162114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$F1E7E7AB-2CAB-4CB9-A817-F618975E859C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e001b607e2db4c55a2a039de4e0e7d543078e5","datavalue":{"value":{"entity-type":"item","numeric-id":1402468,"id":"Q1402468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$A15EDFC5-A235-44DF-995B-2E69A7076008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$0259CBCA-2E36-4B75-A243-340523D0273E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062a9bd4fe13e5ea8018ad451d4c2f0edf9de514","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$F5837FF5-BB86-4EA7-B3F2-3ECF2EC93435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1c3e48bdec8274ff05000cc218a979a71db3ca","datavalue":{"value":{"entity-type":"item","numeric-id":1722781,"id":"Q1722781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$2DC061FF-F879-483B-BC81-9F05B41B685E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2889d04761e06240c487cc63b75905e4a3cf42","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$93830E85-ADB5-47D5-BFC7-BFFA7C0A0C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$ED693CA2-6CB4-4762-8FA1-7995E7F7A8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309e188ad760a88b4574ef759d6e2cb79dca59b5","datavalue":{"value":{"entity-type":"item","numeric-id":333330,"id":"Q333330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$39AAFFB2-57BA-4374-BD03-9A7DEBB12386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$5FB107FE-72DE-40E9-B086-DC37D79E33BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$EB58787E-3568-4B23-A339-FAAAD4D7D1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed24753c6cc2436c52e6d9ab3529d0f79274f","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$03E5D737-12CC-4F78-9C86-126715B19736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643c9519505ce70f954afc2ea3c543e896e9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":578901,"id":"Q578901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$D6DA57B2-260A-4144-B9F3-5DC3E067472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$4BADB18E-AF1A-4632-8C6F-517351CAD7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f250ee2327962dc3e0544f14e4180a6b464aafb","datavalue":{"value":{"entity-type":"item","numeric-id":2892770,"id":"Q2892770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$94BA6821-4A7A-4AEB-ACD7-C1E9C4297764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$3C3F16CF-4444-47E6-BB3F-B0D81CBADA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac00f446f64c2945c020517b8575af7e8ea18a0","datavalue":{"value":{"entity-type":"item","numeric-id":2418046,"id":"Q2418046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$C0354151-1625-4FD5-B8A0-998D4A545898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e969e61fd0929fd6a4041f5e3ec0b094f53487","datavalue":{"value":{"entity-type":"item","numeric-id":671674,"id":"Q671674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$69BF56EB-726F-43DE-9101-2787708370FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb23a5419227ab1ba3e9e854238f213e6a4144a5","datavalue":{"value":{"entity-type":"item","numeric-id":763473,"id":"Q763473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$785D20C1-D48C-4AE8-8BCB-F2E246823E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$72B33A71-59AA-4346-9AC6-EC00272603F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3838fcc237e9aed0bc8e49524f6fe6e8d24838d3","datavalue":{"value":{"entity-type":"item","numeric-id":5376661,"id":"Q5376661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$ABC33739-64D0-4D6E-8DE1-D12D4F2BB1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$F137F744-8429-4C3D-9A79-753A77218546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60837ee6c70a0b91b37b9870ceba361b15dd4d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$F1D03514-577D-4475-AEF9-AD884FA30EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc9d1f666deef6962c7b48ae7d55dbfd5d00f44","datavalue":{"value":{"entity-type":"item","numeric-id":7010068,"id":"Q7010068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$1434994A-DAF5-4157-A228-62F55F3728FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271e07f9c546e49eaacf117e0f5779050dbb73dc","datavalue":{"value":{"entity-type":"item","numeric-id":4934623,"id":"Q4934623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$80E85EDC-B96D-4F8D-B5E6-8DBA1B1328A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$0193BCDE-C8FF-414C-A2E4-7CDC91F06F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb543a3a2cbcaa72e575b41bb6a7e644514c866","datavalue":{"value":{"entity-type":"item","numeric-id":4535065,"id":"Q4535065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$E5C0CE95-C1E0-4E46-950C-1757A8548546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7582e86ac15a837da5a504aeed727db9664c0549","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$601384F5-81C1-438F-B2EE-39F8E0F6A41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$4172EFF5-E985-4D69-B4E9-56A859F6326C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e1512dde117c7053041d480cbd200b89172e3","datavalue":{"value":{"entity-type":"item","numeric-id":983532,"id":"Q983532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$18F5F64A-21A2-4473-A541-43EF1E39269D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc39d5c37720d430417e924db88125e90bdeec84","datavalue":{"value":{"entity-type":"item","numeric-id":2943770,"id":"Q2943770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$8017EDF0-2142-473C-8037-2A6E71C360DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc05b7ff29191db20dc48a43ae02a396f221bf9","datavalue":{"value":{"entity-type":"item","numeric-id":3758891,"id":"Q3758891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$3EAA7EFF-1B52-4C4A-83AE-0797DFD65590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$1824225E-BAFF-4A74-A41F-8ECA3A154705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$6AA51029-1964-4D59-95E2-39FF67FFA347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25282e1f0c1e0eccc5ae4ce78bc688548d8c67f5","datavalue":{"value":{"entity-type":"item","numeric-id":396975,"id":"Q396975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$62C8F18E-54BD-4D71-B0A4-F66C36363745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9669a648704aaf0e0a58ac2fa24a9320181bc945","datavalue":{"value":{"entity-type":"item","numeric-id":2946604,"id":"Q2946604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$A188D16F-9838-497E-AC7F-F67CCC6084C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917601c08dabc79ffff24f54083ae1060b0ea824","datavalue":{"value":{"entity-type":"item","numeric-id":2419910,"id":"Q2419910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$8843B14F-3816-4195-803B-AF943DD0ECF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$852B760F-F9CB-40C0-9A34-D35363D498C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$24D26E84-2A1B-4AF6-AB80-057AD9BE5BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$BB1BA3DB-B2B3-4802-AB5B-ED121561C48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac43789bf19b34ea0de8145b87637945580bca5f","datavalue":{"value":{"entity-type":"item","numeric-id":5305657,"id":"Q5305657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$CFC54AB0-548C-41C6-BB9B-68029F3949D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a478aa341d9931b9cdadf01ac11a9d5e73a92e64","datavalue":{"value":{"entity-type":"item","numeric-id":3575280,"id":"Q3575280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$67CBAC77-33E3-4623-A52C-433E0B88FF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$089F5B6D-FB90-4BD9-9D19-6F2759DC9640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3792175673592284d69b20af6976329351f787b","datavalue":{"value":{"entity-type":"item","numeric-id":3964004,"id":"Q3964004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$CC091AA0-494D-4947-B553-52EBA88C6B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd560fb02b605fd648e8f47750de6f71f5b96b05","datavalue":{"value":{"entity-type":"item","numeric-id":2250810,"id":"Q2250810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$7A8AD45E-7D49-444A-8EE4-562384132C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$0BE5C48E-E3E7-4D5E-BA77-312BAC260B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f7a002bf1488e9eda8c9de5c95b2763f569ef","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$E1051096-20F2-4F57-961C-7009418F575B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a5aa50e889fbd2a02e8c6790dc8c54b50583d6","datavalue":{"value":{"entity-type":"item","numeric-id":4226069,"id":"Q4226069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$0C2AAE05-26C3-4A73-8A60-CA17EF1D0F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbdfc65f42d21f1674991e9768085a137ad17b","datavalue":{"value":{"entity-type":"item","numeric-id":3523182,"id":"Q3523182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$7FC1B9A4-CE27-4F68-ABA8-B8E90047FFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$F0E9F80A-D51E-45B4-B177-7ECA4051E00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd14ecb8d9b01fcf432d7dcc1ccb01a23ee02c8","datavalue":{"value":{"entity-type":"item","numeric-id":1241051,"id":"Q1241051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$50AB432C-20E5-4446-B40A-F0BE974C4B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ef9fab9931aeafd0d3a3ca39a098e120e3a610","datavalue":{"value":{"entity-type":"item","numeric-id":3303910,"id":"Q3303910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$96BF294C-BB70-42C2-96B4-23F8967D5B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17695e225aa63c7d95318b417de6aa4b6f4f2367","datavalue":{"value":{"entity-type":"item","numeric-id":3661543,"id":"Q3661543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$31F6059A-8A51-49EA-A85B-A2CA5ACB1A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d937e9c2c6643bc01c50c1a9ea48dbd8c95735ef","datavalue":{"value":{"entity-type":"item","numeric-id":7010062,"id":"Q7010062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$578478A8-0013-4D02-A345-5933FD6FE59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6f096deb24dd0f5c64f9d0a1c7eb931997832c","datavalue":{"value":{"entity-type":"item","numeric-id":4470522,"id":"Q4470522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$DD791F96-0B4A-4789-B6BC-739AE8226B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$F09D199A-0E7F-407B-9F4A-EDB5694530E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb1bb6972c34ba87ead8253e3bd450b22dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$D160B528-089F-4260-98EE-23FF93021947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173b37b91a7d5f4dcd0d8468d8c035e62ec32f1c","datavalue":{"value":{"entity-type":"item","numeric-id":2603393,"id":"Q2603393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$227E03CF-990F-4A9C-AA31-DBEB0DAB30B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046e562b76ab76700607ecf4bb7f0d357987682a","datavalue":{"value":{"entity-type":"item","numeric-id":1828975,"id":"Q1828975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$D35A534E-944A-4902-8D97-590C799C87AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$C47D0F0A-4CE8-47EF-ABC7-B2F6295C9428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51598ea1a302c2baff6791805f967392fd693421","datavalue":{"value":{"entity-type":"item","numeric-id":1370158,"id":"Q1370158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$324F0B96-2968-48A6-80DD-888B5046D1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c2cb272045b67e01ef45de2dc90cc1c3088a36","datavalue":{"value":{"entity-type":"item","numeric-id":2814615,"id":"Q2814615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$EC928E6C-4F1B-4FE0-AA44-7CFBAF62CA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa80dfc69cb7be6c303c7e26d95ab3fd5950e3c","datavalue":{"value":{"entity-type":"item","numeric-id":2941165,"id":"Q2941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$F4E7C1B3-498C-46D0-BA3C-9F28EFDD14E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$280F2B8E-F6A3-4D79-BE5D-2917191A1E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be85db8689af27a4d172ec78b874ed5c2a4726a","datavalue":{"value":{"entity-type":"item","numeric-id":3558252,"id":"Q3558252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$786B5D62-98A3-4113-AC9C-8FE3E1A63C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a917c499b4053c939bc56c57f4fb73c8440306ba","datavalue":{"value":{"entity-type":"item","numeric-id":1067409,"id":"Q1067409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$2C6E0586-DF18-44E9-9CF4-4C5A9023439F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23732ac283c991e9d1d60ac7c4046d29649b2de","datavalue":{"value":{"entity-type":"item","numeric-id":3240239,"id":"Q3240239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$805C3E0D-DEDA-47D9-9338-0A20721D6049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$2E5DBBBC-48B2-48D5-955F-1048E278E0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5153c4b60e7882662a5459303d7d3db9dbe5823f","datavalue":{"value":{"entity-type":"item","numeric-id":4698369,"id":"Q4698369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$F94E8852-095D-496E-84B9-402D4E7333FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7305588f54140dc42918629b4102852466d881","datavalue":{"value":{"entity-type":"item","numeric-id":2319995,"id":"Q2319995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$77F377E7-09A5-438B-8F77-4DAC81D460F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2e9aeb250aee552f9c7acabe3d57da193b2393","datavalue":{"value":{"entity-type":"item","numeric-id":1187626,"id":"Q1187626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$E1852C50-2AD7-4161-B64E-A70E2BF5A9CF","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$CCF98CC5-10E1-421D-8177-2DBDB20249FB","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c9d73c02403c0af647a73b8da7299dbef78ebf0b","datavalue":{"value":{"entity-type":"item","numeric-id":7361764,"id":"Q7361764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$A194DECE-2041-474F-B035-F8105E36390A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"38013d195453d9de6ec304fa06493915c9a40199","datavalue":{"value":{"entity-type":"item","numeric-id":7361308,"id":"Q7361308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$FBFFFB5D-036E-4F97-BC0D-A43A40E3AB25","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"d4e45a44d8cb21e0bc3c4e18fb1edc38a1545452","datavalue":{"value":{"entity-type":"item","numeric-id":7360785,"id":"Q7360785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$D95CE3DD-B48B-459E-9727-8380C83D54ED","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361189$39DBDC3A-069A-4485-AD24-4C7C93E5738F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ConcurrentHOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ConcurrentHOL"}}}}}