{"entities":{"Q5403086":{"pageid":7432660,"ns":120,"title":"Item:Q5403086","lastrevid":41180425,"modified":"2025-04-18T18:58:59Z","type":"item","id":"Q5403086","labels":{"en":{"language":"en","value":"Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6273818"}},"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":"Q5403086$366A7750-B05C-4DC8-8CF2-7013B773F1A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e98fd8e1cf082d9ca2fdb1c80601c5dbf513d58","datavalue":{"value":{"text":"Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403086$73D810AF-E7A6-4EA8-BD8A-D7765522D37B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53e3a72a418e1459cc208ed629e655ebb3374254","datavalue":{"value":"1407.68298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403086$8DC86DE0-E386-44ED-A43A-B4F5791EA494","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9534e756ba6ec2d821944fbac9a59e79cece7494","datavalue":{"value":"10.1007/978-3-642-54624-2_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403086$5DF9A82E-3B06-4B34-8EC3-6EA8BB3B2E74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$E1AF88C6-CA7F-4985-8535-78E6FCA2673B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f99687ff908843c429ffd48d1e31213ec62ef","datavalue":{"value":{"entity-type":"item","numeric-id":520243,"id":"Q520243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$BB70C7E4-8FDA-4E05-AC60-FB2FB80F9DF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4df2f4bc2ffe4036b415b2ee5c20621445d90244","datavalue":{"value":{"entity-type":"item","numeric-id":5403065,"id":"Q5403065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$00096F4A-AF11-40C9-887C-202B1E65B845","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dffee03b61d790552fa728bec5833993c2eb4588","datavalue":{"value":{"time":"+2014-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403086$1EB1C925-B69E-4C32-AAEC-12C31D45F44C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403086$9385629B-1205-41EE-939A-6B02AEF145D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403086$A9C8C177-159A-49B3-8CF8-1C160F60DFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403086$9CD44571-DC4C-4942-9916-3389746E9BCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8529324955d99f088cc5acc7b01a21cff163fdc5","datavalue":{"value":"6273818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403086$4E999A3D-5B68-4061-A29E-0EAE962C5B4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e34da04b14ae2c20d248fa558ab44cab61beca","datavalue":{"value":"(bounded) model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403086$BC1B13A6-14EC-4D9D-989B-C90B96EBBA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d31b0b7476ae8e41dd75304ca63c96200ee6c96","datavalue":{"value":"proof score","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403086$98F550E6-0648-4D23-8A82-CDA9B74098FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97014f719b3604ce70325d33bd7b7f29727a792e","datavalue":{"value":"rewrite theory specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403086$3BC29A49-E029-4BA1-89DD-DA64CFD5A167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26a91fa3877ce4ff4e1cbc4fd7a7c11ebbd1370","datavalue":{"value":"search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403086$EB9B8C04-41EF-4B52-AED5-E28DEE87EE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403086$8D1ADDE1-668B-4E38-A0C3-01AA0B2AB084","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$62A3F620-9767-4231-97A4-66FCEC5418CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3768507efd3f2cad2943d82f93d6f9f4e20c2bf0","datavalue":{"value":{"entity-type":"item","numeric-id":37011,"id":"Q37011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$C2204D85-05AB-4E99-9677-0AF13CB7A6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$9DE5A82D-E1C7-4F71-9FD5-771D0C37ADF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b401027b08a0306d95b69c22c6e6c3ee5a370f70","datavalue":{"value":{"entity-type":"item","numeric-id":15901,"id":"Q15901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$CB22D85D-D083-49F3-B4BA-3D9B9CB958A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$A257491C-9216-462E-ACB5-CBFB6AA2FA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccc2ffd670b43e26d7109c31b58efdd4cd25790","datavalue":{"value":{"entity-type":"item","numeric-id":18336,"id":"Q18336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$BE3722E1-72B7-4F52-8694-BD6FC81907C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$F28B9EA4-1380-466E-A520-A275488AEFBE","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":"Q5403086$8C72FC1C-5C3D-451E-A9B0-50F18D279106","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6648facd39cf888122804c38946a7fac1ed4bb70","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54624-2_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403086$24824974-B385-4D08-A7C2-EAE19AF9EACF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bae26e9757c9e2e3efc1cdc87e2ace81c483c2f1","datavalue":{"value":"W2125379699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403086$FF016474-54DC-4451-B729-FB693DEBA71A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aebebff271340e86fda49ae92da856ba7cddbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4537126,"id":"Q4537126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$D1C4B86F-A598-469C-8A79-B9F3380604F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee29e8a506c504ab9034445431f767c21cf2916","datavalue":{"value":{"entity-type":"item","numeric-id":5902548,"id":"Q5902548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$0BC7F6E6-1D1E-4778-8B73-836A798A82F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0385124c36c7759bccfcea5b79c3526a5b3a67","datavalue":{"value":{"entity-type":"item","numeric-id":5757932,"id":"Q5757932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$8B305EAE-5A94-4B69-AC0B-5CABCBCB5A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0b8cbc0550b2f8905e471ff15c76bfd64ad0a0","datavalue":{"value":{"entity-type":"item","numeric-id":1575735,"id":"Q1575735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$DDA814F5-4733-4AF6-8397-68EF24A9AF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e46aebc04c4ba0e79011f44184decc8d5c2923","datavalue":{"value":{"entity-type":"item","numeric-id":4520814,"id":"Q4520814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$C0791253-C96F-430E-88BB-C0892C73D294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$64436B9E-71E4-4E26-8613-903B54AD072E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$E6DAE6C5-2E7B-4FE3-B63A-760E76790080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f8b23dca2f7fab5963a7d8e55f13d431be723a","datavalue":{"value":{"entity-type":"item","numeric-id":4501590,"id":"Q4501590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$20934CFE-E905-40F9-A3C2-2632E80B581B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4618a292456119ef22b49e2e05eece3225962c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4790352,"id":"Q4790352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$A446D5B1-38C4-459D-BA68-1D4BD124C71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d48a6c0937b7ae664e8c5c8a3e254ae210365c","datavalue":{"value":{"entity-type":"item","numeric-id":1929233,"id":"Q1929233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$3B32E6AC-1E42-42B7-9CBF-336B85080ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59af7f96900e137c6d6e54e18498746a887ef14d","datavalue":{"value":{"entity-type":"item","numeric-id":882458,"id":"Q882458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$8CD46F63-F6DA-4CBA-84BF-1AA0F6C5104A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0f38e2c79e2258aceac79f652ceeb2f0cbcade","datavalue":{"value":{"entity-type":"item","numeric-id":2816365,"id":"Q2816365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$83A2CF8D-B294-477B-8741-8C872EF18B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df1eaba4cc78ca635c8dfdc5582f9a130f426bc","datavalue":{"value":{"entity-type":"item","numeric-id":2848959,"id":"Q2848959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$8522B36B-8EB3-48BF-B523-AF5DE432BF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$776A0154-C0C6-4920-AF37-B38846ED0DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$71134F14-4BDF-43C8-BD64-819B72D8FDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$65D107BC-A007-440A-9907-052DCB62882F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$54AE37F8-12EF-4D55-8044-B1B8571B7249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3f22f1e7ec73ba657b43cbe915c5d1ad1a36dd","datavalue":{"value":{"entity-type":"item","numeric-id":944377,"id":"Q944377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$7421C986-DA12-4961-8514-92632BC3D989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55474ef7b09a7d9ac924269c7b98f7c00174578b","datavalue":{"value":{"entity-type":"item","numeric-id":3090877,"id":"Q3090877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$C7164157-C464-4F4E-8CF1-B1E2DF0C0845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f497a094cae9f220fe8ee16ff975c47f7e7dca6a","datavalue":{"value":{"entity-type":"item","numeric-id":3664457,"id":"Q3664457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$7FC39274-52C1-4B8B-AEFA-129D6675801A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e7fb512c3c2088a0e31db09a35588d6ca50ae7","datavalue":{"value":{"entity-type":"item","numeric-id":2958376,"id":"Q2958376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$85E4C5B3-C578-4B18-8F91-4C1588118228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437329fbe1874c3df0014b9270301ec7c179dd5d","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$49007D35-A729-458F-9F60-8607B83DF051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2f99768ff1da949299cef13b498d5a9c3a16a","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403086$E20E1917-90CA-4DED-8374-E4A0A04F00C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e0f3012050f4fe135eaa9629e2716245665a19","datavalue":{"value":{"entity-type":"item","numeric-id":5901568,"id":"Q5901568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef49e53220c27c7e1784946eac7845eec98b2ca","datavalue":{"value":{"amount":"+0.8685521","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":"Q5403086$0A5DF9DF-E082-40DA-A446-9838A816FAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491a229ab4ccd35f5b9174dcd6e464cba396a8b5","datavalue":{"value":{"entity-type":"item","numeric-id":4015952,"id":"Q4015952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1099e421494537374e71ff41238a8dad9544df","datavalue":{"value":{"amount":"+0.8678864","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":"Q5403086$276B5AEA-0045-4601-A1FE-A0A7756A107E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116ae40af25df1caab31ce7865056cc8623f9e19","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ef2382adb02ec0fb41d8ce476040208d03a08a","datavalue":{"value":{"amount":"+0.8672455","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":"Q5403086$D8D1E223-E108-4AB2-96AB-67C3F70F5613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e040b69366aa385ecb7819d5a979d92c0954fb","datavalue":{"value":{"entity-type":"item","numeric-id":3805955,"id":"Q3805955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb40e28c1dc5aaf029bc34bfa58afab5263c549","datavalue":{"value":{"amount":"+0.8640836","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":"Q5403086$C7631A68-6F23-4B98-A63A-48FF9B455174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ecbedcfe3626185d0bb331b094353198a89395","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb40e28c1dc5aaf029bc34bfa58afab5263c549","datavalue":{"value":{"amount":"+0.8640836","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":"Q5403086$982CE890-6256-4C8E-A195-41A318D11683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9726cc7376f9c9e17be44376106ad9280d3b83e4","datavalue":{"value":{"entity-type":"item","numeric-id":2819200,"id":"Q2819200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5b3ea0a5506d7ea8d0751c022f23eda2c32424","datavalue":{"value":{"amount":"+0.86084664","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":"Q5403086$067D900D-3FAE-4260-8D5A-64C8A07FC9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ea7c93edaa58c009afa0f45c768035fa8c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3490953,"id":"Q3490953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4aad56ab4e268a19ca980578a640d37fd139f5","datavalue":{"value":{"amount":"+0.86054033","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":"Q5403086$0C9783B4-3307-4581-8EB6-EF1205AB02D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"401b5a69c035750726db2cad7a23b4ee69136725","datavalue":{"value":{"entity-type":"item","numeric-id":4439445,"id":"Q4439445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb567457f93427d2e8e9460730b0e87e9ceb6215","datavalue":{"value":{"amount":"+0.8593304","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":"Q5403086$3B0D2A4E-8E32-4C15-B082-E861B2AAF4D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5403086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5403086"}}}}}