{"entities":{"Q6056642":{"pageid":13190797,"ns":120,"title":"Item:Q6056642","lastrevid":57213780,"modified":"2026-03-27T12:07:41Z","type":"item","id":"Q6056642","labels":{"en":{"language":"en","value":"Verification Modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7757158"}},"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":"Q6056642$E93661C9-A27A-4E5A-8006-49DA650C1767","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e67c2bd8be86f46511276169c0c3e033c2b445ae","datavalue":{"value":{"text":"Verification Modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6056642$E0F957F6-2BED-4846-9B9B-016973F593D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$EEC34768-DFA7-4C9E-A7A8-9D48458A8AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$1FB14F33-3A74-4B9B-AB20-67C49BEA35EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f362d073bbe8a8d138f2af9af0d2a06b61a58c","datavalue":{"value":{"entity-type":"item","numeric-id":479824,"id":"Q479824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$D0C54FBD-4AE9-4B40-8202-4F7FC017721C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$7042F0AE-DABC-436E-B74A-1374128F00FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$D6D8A18D-6D45-46F2-A7A3-9ADDB7A64D59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$4CA53CD2-FCF5-4595-8392-14276CC446D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da929975ec5139a8b7639861874884ab9bcb31a0","datavalue":{"value":{"time":"+2023-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6056642$944422A9-4897-4E97-BD40-3396CE47587C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6056642$7C65F437-4D28-43C1-A07A-4A1228BE7112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"031fd6349e89fed4e3bf515da1a08648386f6d5c","datavalue":{"value":"7757158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6056642$2C021A1A-FB1F-44AB-B7C9-C901EB871CC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d88be5bae93137f441c1b5b4c29bce447c3754","datavalue":{"value":"infinite-state transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6056642$9A6F75CE-0E73-49E3-9316-9A018CF9FFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6056642$2A88FCFC-28A0-4586-9183-F1480BEF3EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6056642$A235A878-C64A-415F-AC5C-F1F3DF8C115F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6056642$A149A34D-5C11-4ADF-B923-7DBFFAE52606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fbbcfa08b81bce26408ec94a954889c2c35640","datavalue":{"value":"implicit predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6056642$531FF304-0222-40A4-9173-1A9867755306","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":"Q6056642$205BF2A0-6DDE-4F50-938A-13A1F8404016","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$1B685B62-ABFB-4EA7-88CB-8F7F8F17274D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$52599188-AD6B-4F3B-9C73-9B196389A054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$8DC0A076-D4B6-4C4E-9F91-37FFD304939E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$6CCA069B-933B-4047-8E59-87D374A207FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$65B9BF85-023A-482D-B215-14A5FBB4BFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$802E31EC-C01E-4AB0-8008-B86AB18BF694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1645d5977fcbb346c223f2e9f46edf7dc223d58","datavalue":{"value":{"entity-type":"item","numeric-id":4691738,"id":"Q4691738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$6B71AC53-ABFC-481D-872F-B717CE740356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"675683968dc28118a062ab99ffebd45f865003db","datavalue":{"value":{"entity-type":"item","numeric-id":4633542,"id":"Q4633542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$7D2168E8-0C56-496E-8E90-EAF8B9C8A707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf8b6e18996c1c93b57fd465ad2e73279ea01a0","datavalue":{"value":{"entity-type":"item","numeric-id":2234061,"id":"Q2234061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$FAA322E9-C45C-417D-88BD-BFC094A3FB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f1389185b8ab34683e98fc2d06016e4d27db90","datavalue":{"value":{"entity-type":"item","numeric-id":2147176,"id":"Q2147176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$0DA5DDB5-F17B-4DF0-9D77-7C95706AB7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$1F49FEB2-6083-4951-8DF6-41EC4ACA2A8D","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":"Q6056642$0A98D762-76BF-44BE-AADC-C6D315BC8E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"becb8f0bba5d4c24dcf93caae708296a137662bb","datavalue":{"value":{"entity-type":"item","numeric-id":2026377,"id":"Q2026377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$C747F7D5-C12E-49BE-A94B-A8010B0BCAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dac70a6b00479edca7b4d02444fab761ca4f30ce","datavalue":{"value":{"entity-type":"item","numeric-id":2234096,"id":"Q2234096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$29F05AC5-1F91-4871-BF3C-521FCFF2F816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$B9246C02-C754-4D6E-B510-CC69A8B3AD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$B9AD4018-A23E-4769-80A7-E3D7422EE1F2","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":"Q6056642$66B7176C-5EC5-47D6-8137-DE3C0BE45AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$B8C3141F-E617-4FE8-97DF-9BC312336A70","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":"Q6056642$0418E771-4B96-4616-BAC4-0B79856911E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61526d41c9e2eb25867c790a13228b1a677160be","datavalue":{"value":{"entity-type":"item","numeric-id":2182731,"id":"Q2182731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$A1BED7E0-AB87-4B57-B184-C502D7ECB8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da6ded218db8e1aba2fc38982f0c41333c8292d","datavalue":{"value":{"entity-type":"item","numeric-id":4809077,"id":"Q4809077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$C4E40B88-BC5B-4A3C-B5B6-F7A355F4E723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a88480fe65be056db65097d1e9220f806bbeb6","datavalue":{"value":{"entity-type":"item","numeric-id":4649395,"id":"Q4649395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$C0F0E19A-80A2-44CA-BE74-14BD374A54C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$5F9C86FE-1066-4B4C-8CDC-F57580D01986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f2de53b1bf73e880cd8935ca36395fbd675bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5900675,"id":"Q5900675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$C2B1ED5B-EC1C-4D23-AE13-9B9FC8EE15FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0f213655a27ca4d7353f3cda0dcb121b2e9257","datavalue":{"value":{"entity-type":"item","numeric-id":5310686,"id":"Q5310686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$52BC5196-F79A-485B-8BDE-A84CF1976EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$B6FCE2ED-CA0A-4D06-A7CD-90E88C452344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$4FD05E52-65DE-4989-AFED-0A699D38D870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf17d7e8ba4c1ec3bdb69ab7c554b7d69f4507f","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$D6AA4A5F-71FD-4450-B54F-0FE160634EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf13bad04489d2d1715f98da876ead76a4a1200b","datavalue":{"value":{"entity-type":"item","numeric-id":5716541,"id":"Q5716541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$1B2979B6-3C57-4A03-8DCF-B82A95F766F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dac129a159e5019d1399be30aa2aedbb8b57223","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$E664DDC8-C1ED-4AA0-9FCA-47D33F2760EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$CDC96587-2E2B-4C81-A279-CB5AA0B0DD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$78823B0F-2049-422F-B217-63E2E8C68746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$68092A2A-2A64-48B3-A56D-402B544749FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302fba4972f027bccf62618a4d6131134324ec74","datavalue":{"value":{"entity-type":"item","numeric-id":4472235,"id":"Q4472235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$5156E3D5-2C81-4695-B614-402A19D40A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$A5FECF45-781F-41F4-8546-C837775E5507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77121ca06023666fb3b31fe1611bc7b34ff56df","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$85E76EA3-36EB-4ECB-83C9-2FD459528DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$15B79905-C55D-4EEC-82C8-504E79243B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93883db00833e89e855c8e92c4e962692b3eeca8","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$3832E05F-E945-4E26-AE27-C3EBA7AD024E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e31460d03447356beb6dcb816454c7cb3b6e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$BCFD1C0C-FF09-444C-B507-21CEE2C28A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca50b56de23777ce618ce7b9747f11712b65365d","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$0F7F1BE0-81FE-4D21-8BF9-FF1EA51C7F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"976f83cf00771841ee20ca89b904a2d7a0517e1f","datavalue":{"value":{"entity-type":"item","numeric-id":479826,"id":"Q479826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$15FE3344-7AF5-4D49-BB6D-EEDF04AE5036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0aecd52300cb8eeaae83eed718478fe9ec434","datavalue":{"value":{"entity-type":"item","numeric-id":2105460,"id":"Q2105460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$160063B8-776D-4E0B-BD6A-77ABDA5F3382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2382c5c030ab0f86cd18743b01785306e281bf","datavalue":{"value":{"entity-type":"item","numeric-id":2055851,"id":"Q2055851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6056642$DE1F5FB4-9837-407F-9BB9-4871010B6B1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd4d2ed2a24de5b580028c362420ad9d05164376","datavalue":{"value":"10.1007/S10703-023-00434-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6056642$CCE16711-011E-4722-A23E-9640D600EC9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59972a24a2faae5f1254387787aa9ff36c90e3e","datavalue":{"value":{"entity-type":"item","numeric-id":1329200,"id":"Q1329200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986c05f18fe2bc065585cf44447a1774a474e497","datavalue":{"value":{"amount":"+0.8981756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6056642$33B2B590-2D50-4C90-BB12-69E85BD18233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ce4f9299c3a2986c53414825322ca224e21b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c984887ab205f9901b0829a6e488fed3beb4dd9","datavalue":{"value":{"amount":"+0.8973585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6056642$F31FCC72-7901-4EFE-B23E-955488C3D205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925afcd37d501359acb17fbde86e53e5f3c5cba9","datavalue":{"value":{"entity-type":"item","numeric-id":2055853,"id":"Q2055853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ff5b3f874c7499dadd847413e5bce68e01407ea","datavalue":{"value":{"amount":"+0.8816004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6056642$1A020AF6-CC3E-485C-A908-6534EA6246E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc117c5a2ae76e68481a50d229f4da7bb0a589a0","datavalue":{"value":{"entity-type":"item","numeric-id":3498425,"id":"Q3498425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab12096c540af666cb2d558a2103ba59fbab4b81","datavalue":{"value":{"amount":"+0.8779035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6056642$A3C07D36-4278-4436-AC1F-DEA5449D354C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107c509c827589280206681f81dfd6a2a3d078a8","datavalue":{"value":{"entity-type":"item","numeric-id":5168511,"id":"Q5168511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc652ac8a704cde1f76e4d5d0062592f352b98d","datavalue":{"value":{"amount":"+0.8773749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6056642$CFC00C53-D625-40D7-B12B-9EF229687D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5937e7faee34f50d3eb4b9e3f05c1a28f9062d6","datavalue":{"value":{"entity-type":"item","numeric-id":4625145,"id":"Q4625145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c3e8dd53a6ab9c6658062b8b63287c258b329a","datavalue":{"value":{"amount":"+0.8772781","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6056642$5BC3CE37-D6F7-4092-B497-C45CD57F2BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3828216304ac3dac258dc15c986d15b114dd5fd","datavalue":{"value":{"entity-type":"item","numeric-id":4988864,"id":"Q4988864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e112cdcfbdf1585dd082b9d6328aaf09febd9396","datavalue":{"value":{"amount":"+0.8690455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6056642$5768BA93-4DAA-4532-95A4-B0C31A17B432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31692980790302da348a59a3d2ed3ce6349363b","datavalue":{"value":{"entity-type":"item","numeric-id":3395261,"id":"Q3395261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babf3c194ed11f799f3d027ca62e9fda6f30aae0","datavalue":{"value":{"amount":"+0.86424136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6056642$9086E01B-05B5-4A7F-9438-6D3CC417A1A6","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":"Q6056642$CD9A8E57-7291-4C4A-8EBB-FBF821DB14F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6056642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6056642"}}}}}