{"entities":{"Q6082229":{"pageid":13216536,"ns":120,"title":"Item:Q6082229","lastrevid":58674264,"modified":"2026-04-06T06:54:27Z","type":"item","id":"Q6082229","labels":{"en":{"language":"en","value":"Local Search For Satisfiability Modulo Integer Arithmetic Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7760993"}},"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":"Q6082229$F9D5BAAB-DEED-4B7C-9EE6-BBD3D52172F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b97fdecbc8113f730326b525529de1beebe98bf","datavalue":{"value":{"text":"Local Search For Satisfiability Modulo Integer Arithmetic Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6082229$AE39EFE7-931D-4BD0-A841-32B7425D7669","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afaaa3a818b384e728e2ddc43666b1e492a5bf92","datavalue":{"value":"10.1145/3597495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6082229$B78C924D-5999-4A75-8783-372FD2F97329","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6547ea2456cf7ea8c03d9dddd728f9b9295ce231","datavalue":{"value":{"entity-type":"item","numeric-id":329032,"id":"Q329032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$58F3BFE6-7037-4BB0-88F5-8C1DD56C7B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6b15e8faf8a0175ef433bfdd9a0028ee0c6929","datavalue":{"value":{"entity-type":"item","numeric-id":2241631,"id":"Q2241631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$06A2F54F-D390-410F-A510-F8A1ED987C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48164fb7cc06a11777567e087a869ebb8e693095","datavalue":{"value":{"entity-type":"item","numeric-id":2118285,"id":"Q2118285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$9EF42E0B-F583-4468-A7D6-7F0461BFA478","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$C88D3CA5-D2B0-45C4-9396-E07FBABF6CD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2042b1414b93bc40245c70d5e20b5b936393c3d9","datavalue":{"value":{"time":"+2023-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6082229$FEE99849-9C21-4491-9B65-DA6ABD838DAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1aaee3692b0a98bdc084cb5fb65b83d2cdeb2a5f","datavalue":{"value":"https://arxiv.org/abs/2211.10219","type":"string"},"datatype":"url"},"type":"statement","id":"Q6082229$74FB63FC-22B6-45A2-85F5-4BB746375A71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6082229$EAA2A00C-D05C-43B9-BF0B-84BE6A952737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6082229$E941E9DB-8DA4-4B9F-B4AD-BF0983A8B100","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"927a627f82b090288b8e401828b379a50f2c62bb","datavalue":{"value":"7760993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6082229$35379627-7787-4E71-B578-F353C9BABAF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6082229$30A7A5D0-BDBC-42C1-9A70-CAF22D6C9F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1ff5a5e657abc0a392084b74b3342d23f2f4c9","datavalue":{"value":"local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q6082229$7C8405BF-9BA1-4D5E-9494-F09665D46AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544c84302cfedb1700a79d524d694701efc10f94","datavalue":{"value":"linear Integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6082229$7FF9A552-075E-4868-99A8-1615CDB59172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a58c63b2839990deaa6b6dd16a8618c3c6242ba5","datavalue":{"value":"non-linear Integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6082229$DEF01E6D-932A-467F-94EC-949636943C12","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":"Q6082229$FABB917B-1F1B-4EED-9A32-DA73E26E6E66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98120e910ff4d7a6667ee06fbf5667f8de0d912f","datavalue":{"value":"W4377021963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6082229$13586F2A-AAD7-4C89-9031-78C5C671494D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca98daa9b6c754a2aa9f9116fc0c16578202f57","datavalue":{"value":{"entity-type":"item","numeric-id":2843318,"id":"Q2843318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$6AC60944-FDC0-4B47-BBCC-3E7CA3404BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbd10679bf2d321eb9db870479cc35412cbd39","datavalue":{"value":{"entity-type":"item","numeric-id":2104495,"id":"Q2104495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$16D92BD2-3F41-4438-A728-827D9AE2BD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$F71278F4-EA27-431B-8560-B43CA38A70DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"767027371f47351446d56e4b3b6a09eabc8be672","datavalue":{"value":{"entity-type":"item","numeric-id":5408418,"id":"Q5408418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$5C2F6987-04DF-4083-A57D-B0FF8A17C499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09206fde3d946f36f56cc0c3636d596e4c86a679","datavalue":{"value":{"entity-type":"item","numeric-id":3303892,"id":"Q3303892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$4CC7221A-67E0-4992-9927-C7B5C1A62635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a128ff2f35f084fe28a5bd7b9f67ce2132ad4d","datavalue":{"value":{"entity-type":"item","numeric-id":4972164,"id":"Q4972164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$78F7E7E7-1057-45D8-97F9-40B8122CC763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f39e8fff5ffefe6ada701aa8caf00762246f7a","datavalue":{"value":{"entity-type":"item","numeric-id":438576,"id":"Q438576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$76BADAEE-5B1C-4EE4-9781-AA3CE789CF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f69b87d5186b1c7652ae794e22c225d266af5e9","datavalue":{"value":{"entity-type":"item","numeric-id":2305409,"id":"Q2305409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$5556F0BC-2BF1-4980-8CCB-6DA29F1BD332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55415cac38e348523c355018b37d03e511f2ca11","datavalue":{"value":{"entity-type":"item","numeric-id":2817914,"id":"Q2817914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$3133EBCD-637C-42E2-9F29-265474F465F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e242557b370e70ca22794bd752775ec0bac8856","datavalue":{"value":{"entity-type":"item","numeric-id":4804887,"id":"Q4804887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$287A547D-38F8-4CC9-AF1B-DE6A702FECF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2948a7ca2fc95c59ac6396d0ce1529567a2e2bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3453204,"id":"Q3453204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$719F1172-9C43-412F-9F73-7121EBE7611E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91162444788859f6a171af43aed62b7c28c71fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3455584,"id":"Q3455584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$EEF7707E-EAA3-4E1E-BF34-3978226E6981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d319b1024154434406686dc35c9360c8866197c6","datavalue":{"value":{"entity-type":"item","numeric-id":490437,"id":"Q490437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$6865682D-7C38-4E51-8260-2A7FCDADA534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5c843166377c42a2a7c16df5c93d8199ec2f8e","datavalue":{"value":{"entity-type":"item","numeric-id":646517,"id":"Q646517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$A1A09264-F22C-4271-8B6C-56A88BD01771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$8D0CCFA6-C463-4535-A5B3-3C77989E0322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$77DF7E64-6EED-4FF9-B1D5-9551B004F9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$93E3303C-CDD7-467C-9048-6DB93021A650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b0a1a9bb534c42ea053297bebfa6cf421e4b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$4C72EF4B-D5C6-4718-843E-57A7B249921D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add66f1a8653814d2cb5bf99e1d69a81ade0c74","datavalue":{"value":{"entity-type":"item","numeric-id":5899055,"id":"Q5899055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$6FFC8AD2-C6B3-4EC8-9402-B6318D1A783A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808ae9df400fef66320eeee8278dccce350bb32d","datavalue":{"value":{"entity-type":"item","numeric-id":4247468,"id":"Q4247468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$A7A0C554-160B-47E6-91BE-F7561683173B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3014ed8593967d1b0f8f5a23078b1e5b72049db5","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$47DD8443-029F-4119-829D-7EEA954EF58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4881d6b7fb8d175bf1c046124177a852c3e5907","datavalue":{"value":{"entity-type":"item","numeric-id":3172891,"id":"Q3172891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$7E9452AA-3D41-404B-9E65-A7E63704B6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1a36e7472f35923d674c124ed06b35150e7623","datavalue":{"value":{"entity-type":"item","numeric-id":2272159,"id":"Q2272159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$D87806C9-F6AC-4D28-8296-0F42B5441F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b553a03c35228ab6866223378d507c503f6dc29","datavalue":{"value":{"entity-type":"item","numeric-id":5472387,"id":"Q5472387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$6D0ED69F-D07E-4A67-90D0-413D76CCA7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a55f3f509f5d24c1138ada657548cee43c7f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3643113,"id":"Q3643113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$437DF490-0DD7-422E-8A6D-DC314DB764F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa4c2387ad30aeefcdaa752dcaca22072d33adf","datavalue":{"value":{"entity-type":"item","numeric-id":2961575,"id":"Q2961575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$6D07B9C6-8378-4B0A-A617-68AAFF2C619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdbec6f6989c6755320b302c2eb2b66a627d5269","datavalue":{"value":{"entity-type":"item","numeric-id":5309033,"id":"Q5309033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$A0F107C2-61B6-47A2-93D1-6614CCF288DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69516d40ec97b384f70501283c3b5c722beb3b0","datavalue":{"value":{"entity-type":"item","numeric-id":2830009,"id":"Q2830009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$3BF05603-D6AF-47A9-8CA7-46F18B8E52F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24097b670c1b5718d5f88515d03b6858cbb8970","datavalue":{"value":{"entity-type":"item","numeric-id":4344221,"id":"Q4344221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$7277C8A8-0983-48F9-8AED-1289A4108ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b98eb35b62210c470543927e38c2a7520c471","datavalue":{"value":{"entity-type":"item","numeric-id":689615,"id":"Q689615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$785DCDB9-8EA2-472D-BE42-AA4473625957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddeddf292e13fd796c5c20e153357856b636f89","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$B9342391-2FF0-4A94-A752-E06E3DB74B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c060d6258d63ebf14a77434a67c0cf971997ce","datavalue":{"value":{"entity-type":"item","numeric-id":1688546,"id":"Q1688546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$AB32508F-71B3-416F-AA59-5C235A6D80B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc3632f610e97e4c79c25f69428119c0fd7ceff","datavalue":{"value":{"entity-type":"item","numeric-id":4633534,"id":"Q4633534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$3CF3CF47-D1A1-4591-AD46-E3150BEF01B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$3EFFB8B3-9558-422B-813D-EBCF4BE8724E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3219ff8350953aed12855f50a7e04d28ff461e5","datavalue":{"value":{"entity-type":"item","numeric-id":5191121,"id":"Q5191121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$99C7F670-89B5-4EB9-BF81-FCFD560E3636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac267cefe4c0b3f2d90f4b0252d3226cf35ab665","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$A9550F54-2EBA-4156-AC3F-612A22C8F412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3933980b8109f0ae19c58483ed8b9de03b9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5307949,"id":"Q5307949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$DB1D9BE0-34C1-45D9-883B-6407D3F0EE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$A179D278-E451-4AE9-90FD-18FF66AEAAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1ef4c8566673a8a5c94d00ea3fc5ee04078d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$41402BC5-6B32-481D-BD85-DF6F65C234C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$78E80228-E520-428F-94BB-48209BB1B69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c4614861cca8cffe8c73b1eab1c760ae07859d","datavalue":{"value":{"entity-type":"item","numeric-id":4804898,"id":"Q4804898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$8F3A319F-7397-4306-95CA-12235F59380D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3922ea947a1ecf0f270f081b90b78ff480340df8","datavalue":{"value":{"entity-type":"item","numeric-id":5312895,"id":"Q5312895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$ABD55F62-2180-4E41-96B2-73FD17F78E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f218dbf8dae443259a04fbcd05ab3bc66d39eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4786390,"id":"Q4786390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$B7DAF622-4B0C-4E98-AD55-CB966D22A5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d52c7527ed5ce8045cda54dd18d2e3d39d3753","datavalue":{"value":{"entity-type":"item","numeric-id":6487338,"id":"Q6487338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6082229$F4511DC3-61A3-459C-8C77-64B55FB8BDBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6082229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6082229"}}}}}