{"entities":{"Q6661749":{"pageid":14272906,"ns":120,"title":"Item:Q6661749","lastrevid":57213867,"modified":"2026-03-27T12:07:56Z","type":"item","id":"Q6661749","labels":{"en":{"language":"en","value":"Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7965959"}},"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":"Q6661749$23569EEF-236A-4735-A5FD-35DEA7BADD5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f557cb5170a2b45e214341e635eba98ac0a624b8","datavalue":{"value":{"text":"Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6661749$A42AA171-0F8D-4EEF-ABA6-ADAA5FB3DE9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc457595a8a04dfb394d942347fdc03d8362be42","datavalue":{"value":{"entity-type":"item","numeric-id":526769,"id":"Q526769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$27012D56-BD34-4BE2-8F2A-98C091A35D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cafc89a69d4324ea4f0d501a434f10ab730991dc","datavalue":{"value":{"entity-type":"item","numeric-id":286730,"id":"Q286730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$249935CA-8920-46D2-9839-7429EA8358EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$4CE82049-734A-4176-A682-197EBE7A5899","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":"Q6661749$3E76A00C-F296-41D9-AA66-BC9635ADE614","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f056a8af4460fa19ed4a426ef391be1015492c54","datavalue":{"value":{"time":"+2025-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6661749$AAA75A47-7DD1-4CBB-83D3-ED40C921644D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661749$DDAEC76D-1A5C-417A-ABA8-FF39DA65B704","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a76492d26e38ae8518e597d14f8f68e06ccbb1a6","datavalue":{"value":"7965959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661749$59A4C7C9-9F8D-4EBE-8A39-AE8E7AED63B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f7a79d75cd56fa48957959f75c9112877f81b39","datavalue":{"value":"parameterized program","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661749$AA7EBC62-851E-4122-8F3D-42A9F00383B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d247a571196324ebc9f8a3a6db013d897beb9e","datavalue":{"value":"parameterized safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661749$E205C373-2A9D-4045-97D6-E552909F3F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c89113b6b2dfbbad416a2b5778cd874234e3e503","datavalue":{"value":"parameterized termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661749$5A0E2F4D-9F4D-44DC-9C67-7B61006DFFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5af0afaac8fd7c14ae66213cb48b298e3167893","datavalue":{"value":"counter abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661749$A04BD961-CAA0-480D-8228-C9EB1088611A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cceda2ff3a58d2e9f6c1376653a3962ac745b025","datavalue":{"value":"thread-modular reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661749$EDBC6D98-64B6-45A6-867A-21C9C948A5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661749$D2E16227-52BF-48D1-BB59-575C3DC8BBC1","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":"Q6661749$5DE22909-5C2C-450C-B805-F111264C662A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe976ffbc5ddb6d304bf2111261ec7f88d9bcde","datavalue":{"value":{"entity-type":"item","numeric-id":3584923,"id":"Q3584923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$C40E8652-A514-41D6-A7A6-EFA757AAE8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$D0B17D33-973D-4B96-BC81-5F314C549427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd4df4d90c760af9721867b956568496a0fe8d4","datavalue":{"value":{"entity-type":"item","numeric-id":5166699,"id":"Q5166699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$5782CE8F-DC13-4A65-85D0-EAB5FFDD1B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a257ff0958ba2ab18651e0ae0e647b82a1a678f","datavalue":{"value":{"entity-type":"item","numeric-id":2891439,"id":"Q2891439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$A298AC61-676E-4057-8EA3-438D1D3ECC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e4e8dd05a37f48b35046d6fbf276c3c0da379c","datavalue":{"value":{"entity-type":"item","numeric-id":3296318,"id":"Q3296318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$031DC747-F516-40F8-A3E8-A7B419E74DF8","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":"Q6661749$BCE32394-28CE-4EC7-8701-882CE881AE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69e66169d13b5dd46ddd7a696b7a8a0e7742685","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$09DB966C-5AD2-43A4-8BC4-BC2A56D9F9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$7F445CFB-145D-4DDC-A070-866EFDC69D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f7b2ff21c29b868e86b16c540a19ece6dbb830","datavalue":{"value":{"entity-type":"item","numeric-id":3189807,"id":"Q3189807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$5DD11CCD-525D-4117-98C2-94E3A0D6C53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$53567026-1935-42FD-B1C5-E43914E7EE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47c3fcafeda51dbe15698ea965f85d40936223f","datavalue":{"value":{"entity-type":"item","numeric-id":5326314,"id":"Q5326314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$9266368B-88A7-411C-A466-397EFD904A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae29fa61df2f7e9b8f7b41e6d93afeb1143844","datavalue":{"value":{"entity-type":"item","numeric-id":5389070,"id":"Q5389070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$ED7DB9D1-498A-498A-B1C0-677FE4EFD4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe368fb0b8f14e62aa960d3e2359d02cf4413f8","datavalue":{"value":{"entity-type":"item","numeric-id":5408413,"id":"Q5408413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$DFF21853-6B6D-4B52-A0B5-249C745537FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50857a8f041a6c593aa9ea3f6304a3ab1d297bce","datavalue":{"value":{"entity-type":"item","numeric-id":2819827,"id":"Q2819827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$4C4BD06D-2125-4443-B48B-990AA104B7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0db601ec7bcba488c8b8b2b074b81174ee6ddb4","datavalue":{"value":{"entity-type":"item","numeric-id":4635874,"id":"Q4635874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$A142652C-DAFE-4A94-B57D-A974708AB4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$499A6EC0-6060-44F3-B6B0-B0FC13CC7647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bcf149a82f4ecdacc08e753743e430f121760d","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$CFE84273-88C0-4950-BBB8-759611A6FE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f438e15faa130357b0a55fe76c686f7f2e9e42","datavalue":{"value":{"entity-type":"item","numeric-id":5172645,"id":"Q5172645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$4838DE90-66EA-49AF-820D-0BBEC7D35BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c468c5df999a5df8b9ca61276e57be905929fe","datavalue":{"value":{"entity-type":"item","numeric-id":3541687,"id":"Q3541687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$7B482702-49A2-4BB6-9B10-89ED5AFB2F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b34230d6df626c64dad187f872ce2d2c543952","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$5A0EEE99-9CC0-4D1C-A877-6D227F539BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12c8e6968784fcf3cb8105db0edc338d9a5ec0c","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$85E7CDE3-3DF8-42A3-BCF6-AFA6FF92E19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd78d251166de965701d0b707e5b374a2655b2d0","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$1A17A856-9333-4A80-8F41-85F771FE622C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82398bbb3b4a1cdbf6ee9d069fe8d47d8819b557","datavalue":{"value":{"entity-type":"item","numeric-id":5370882,"id":"Q5370882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$4647148F-BBFB-4EA4-8243-9E120A472412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715bd9b495ec757bc4f5f54f4d99370941ab86b1","datavalue":{"value":{"entity-type":"item","numeric-id":4997235,"id":"Q4997235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$BF1F748E-047F-4A80-B5F5-7E3BCDE59192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0be6c53659cb8642df272cd13aa4516eec9a3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5228112,"id":"Q5228112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$CC2DB924-0E3E-4030-8E36-07CA2BADA7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9956e6910815632dbc48e232a4be032f7cd6b294","datavalue":{"value":{"entity-type":"item","numeric-id":3190114,"id":"Q3190114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$E0E9EEB7-2F84-41CE-87B5-3ACD0BE513DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaff131682deb6ad1bffecaae47bca13d452055a","datavalue":{"value":{"entity-type":"item","numeric-id":300418,"id":"Q300418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$8FEBC0A9-E0CB-4789-9622-1852AC70F7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$AFA568F8-9601-4852-9DCB-2C266C62B0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a51dbc9abffc0a2460ef1d45191e189ab66ec4f","datavalue":{"value":{"entity-type":"item","numeric-id":3000591,"id":"Q3000591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$AC6A494D-0FA8-4303-B4C1-7658E49C3D63","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":"Q6661749$20D9E0B8-8FC8-4F69-B8BA-01C681483F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$69460AF2-9B90-4E0C-B18A-9EC76A56D5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1dafc3f01ccb5786720a2526b847cd3aefa2af","datavalue":{"value":{"entity-type":"item","numeric-id":4804890,"id":"Q4804890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$09A3DEEC-547F-45F6-ADFD-4A715882F3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bb2f5a5ebc73f0a575f25524296d953329a9c3","datavalue":{"value":{"entity-type":"item","numeric-id":5276141,"id":"Q5276141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$E43F3D5F-8FC8-4B21-8F3F-AB3DC0003F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c215e61df3e675f4579f974e2fd1916d2d9148","datavalue":{"value":{"entity-type":"item","numeric-id":2894275,"id":"Q2894275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$6BDCCDF2-DE6F-49E1-90E0-27CE13F5FEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$B2B5C445-B574-417C-A6D3-2AFB027AF14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee2426f8427ac3eb483fb644c6841f943309647","datavalue":{"value":{"entity-type":"item","numeric-id":3656895,"id":"Q3656895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$D20A3ED1-0842-4BB8-87CE-0C0299ED8DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a9ad4d889d3380a47b465c17efa91abd3be07b","datavalue":{"value":{"entity-type":"item","numeric-id":2277249,"id":"Q2277249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$7ABEBA99-EC74-44B9-BE7D-DC0B257BA367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567fcd1c261f6a4df3dd5aad2c8976d4ea228e34","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661749$FFF9D6E4-A714-44FD-AE24-CEA1B067A1BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a512d9c6ed1392339d1e63bf2c6c008630f2d6cf","datavalue":{"value":"10.1007/S10703-023-00439-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661749$68183B1D-8FDB-4F7A-A3B5-36C9B4BFC3DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a5f40d8d1b0cbde67fb514d0002484b78c8336","datavalue":{"value":{"entity-type":"item","numeric-id":2942881,"id":"Q2942881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53701f93d7f522bfccf64dff2226204f77bff5de","datavalue":{"value":{"amount":"+0.7744489908218384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6661749$AFAE40B2-2585-4829-BCC6-76EBBBD77EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13838a8ed89f39f6a3963dda5eaa96fc96007917","datavalue":{"value":{"amount":"+0.7548722624778748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6661749$8913014B-7C3D-4497-8CBE-D2F317A3A227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069381d5222503054dc32a7239fbeb75a95e3316","datavalue":{"value":{"entity-type":"item","numeric-id":6649511,"id":"Q6649511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5ab9312a52abb31e82945bdd018c49a786b4c2","datavalue":{"value":{"amount":"+0.7545441389083862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6661749$F06064CD-2C2B-49CA-A858-09C2F0BC19F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf027ccc812b1508b19391af8f39f4a17d791c8","datavalue":{"value":{"amount":"+0.7539097666740417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6661749$A396618B-E2C0-4B3E-B438-9FA7A873173E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce38ee1ed9aadbe0e0427d9ce6fb345fba2fc4cd","datavalue":{"value":{"entity-type":"item","numeric-id":2819827,"id":"Q2819827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae564f5c261dafc9e9313861cd0534bc1abbc8c","datavalue":{"value":{"amount":"+0.7464689612388611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6661749$9C11A1A4-1DCC-4ABA-954F-DD07200BF3AE","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":"Q6661749$E934FF62-74AA-4DC5-A139-45D35A731A6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6661749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6661749"}}}}}