{"entities":{"Q5145439":{"pageid":7175010,"ns":120,"title":"Item:Q5145439","lastrevid":53911925,"modified":"2026-01-25T22:23:58Z","type":"item","id":"Q5145439","labels":{"en":{"language":"en","value":"Programming and verifying a declarative first-order prover in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298903"}},"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":"Q5145439$19703CA8-9052-4F86-9D9C-D3C838151CE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30495bbb1efe3278fd44c810b3c4962df33723bd","datavalue":{"value":{"text":"Programming and verifying a declarative first-order prover in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145439$1E3734C1-EBB5-4606-85B7-8E0ECE46FB39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82bc70c9f8983d5fb938daadeaa791de7820ab66","datavalue":{"value":"1462.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145439$50C83F5A-A53E-4C6F-A3FC-D02273FD2098","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03b1a6ce0270c13ef4cb83d7ad05545bc8b2d2e6","datavalue":{"value":"10.3233/AIC-180764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145439$36D9A53A-29F3-4D02-B85B-CE2A7E236E3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b79947c0d72fed2327695fae87b1260f3ec3cdec","datavalue":{"value":{"entity-type":"item","numeric-id":5145437,"id":"Q5145437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$AE34784E-F002-4D1B-9B4F-1326CEECDFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92286d5547f96cc3a067bb6503ffa7c3571aeff7","datavalue":{"value":{"entity-type":"item","numeric-id":5145438,"id":"Q5145438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$BA02BE03-A992-42AD-BCF8-0E0C64739A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e62085f18fee17b0db8da8d8ee5d2427f90091","datavalue":{"value":{"entity-type":"item","numeric-id":1663241,"id":"Q1663241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$C8890D6D-324B-4086-9E73-665EED168DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b3705dab3e613fed020a57376646104168a833","datavalue":{"value":{"entity-type":"item","numeric-id":766279,"id":"Q766279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$970D2A8E-6CCA-4B24-B9C5-0FBACF9D8ECF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$17ABC79D-1A42-4AF6-A5E5-94589CACB5A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145439$170B071E-7A8E-45B8-B868-BEABDDF9A518","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145439$46DAB92C-B2EB-4390-8B51-994E0BE4C445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145439$453A1A14-0AA4-4383-8107-FBB0B7288CF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77c571226435596cfeee459408075d7116c89ad7","datavalue":{"value":"7298903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145439$4BD5117B-B330-4AFA-9042-A631AA30BD91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145439$5284DD14-B0C9-4429-B2C0-8493E6BA460C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145439$D6E98A00-26D9-4D63-9EA4-AB6D6D2331D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3150add885c1753399181348fcbfa1a4df879569","datavalue":{"value":"declarative proofs for first-order logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145439$C5484024-E8A0-44FB-8415-E20FCB4C2643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145439$B8E91290-856E-434F-B984-1474A9BB8A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0714315d88ef35e2d5fefb7b222b5871fc04608","datavalue":{"value":"LCF-style prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145439$3BF3F77E-E8DD-43E3-B3E7-7A40AEBA0192","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$89FC0062-50EA-4D64-994D-E49F8994E389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$0DA23080-4173-40A8-A536-FC7EB317BC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa867ae0c435bcbcb096bc07e273c46c14f6e7d9","datavalue":{"value":{"entity-type":"item","numeric-id":43931,"id":"Q43931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$B91503E3-BD45-4195-B89F-7F54C06E4147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$BD389E9A-FE56-450C-8041-CB981F7051B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$8BD89A1C-FD1F-4CD9-BC57-42886C13D68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3dc49212bb1ac953b456b7ee6d37c17258b97b9","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$9625AAC0-73BA-4284-8B6D-8E0E868DCB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"92ada66b7fad67177fdd185887b7c38f3272897d","datavalue":{"value":{"entity-type":"item","numeric-id":40276,"id":"Q40276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$2CD4BB14-F658-4673-8C8E-3D36C96B0499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4a9f47cfb1039b607df8414b949b308b844e18d","datavalue":{"value":{"entity-type":"item","numeric-id":40285,"id":"Q40285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$55B7EA78-23BC-4F8E-A2F4-99054006DA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$6F8F9862-7F0F-4114-82B4-4181DE1016C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$318EFDED-923B-45C3-975E-FE1EEF572CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$4700948A-DE79-4950-97BD-8B32AE2F7FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"550541b08bcfd7113a03dc69a25fcd69cb35ddef","datavalue":{"value":{"entity-type":"item","numeric-id":25224,"id":"Q25224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$7C5996D2-D4D9-4D61-AB23-4FE0E7A362DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"258db6abc88398dde5e9fdf64ccd7d61ea712a16","datavalue":{"value":{"entity-type":"item","numeric-id":40325,"id":"Q40325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$34471B09-E148-4C1C-95B6-B939687195F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a732813f4e9c25d59c68a9f433eb220e9ca1634f","datavalue":{"value":{"entity-type":"item","numeric-id":40509,"id":"Q40509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$ED92E8E6-D36B-4C18-A8B5-EC5A1C29FDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$7621C151-1500-4288-8735-83C98421102C","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":"Q5145439$A7E1286A-4437-4B03-B11A-5D71A645893E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fea6dff3d36407dad60fa8e8c9bcc1f06ec22da","datavalue":{"value":{"entity-type":"item","numeric-id":5200019,"id":"Q5200019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$9C945B6C-4987-4E1F-8E85-D419A4575056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac39b9a75827004294f51289a3c3e79253c87a2","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$D3BA934D-F1E0-430C-9F6C-CE9368492771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2da17dad5fd4641d64373f0fc66dbe3dd437187","datavalue":{"value":{"entity-type":"item","numeric-id":2829254,"id":"Q2829254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$FBE79619-D42B-440A-8C50-9E2360438F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$4DB80681-355E-456C-8CEB-4C8F978211CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7e6842e2377b2d30b229985e35fd9e45909f08","datavalue":{"value":{"entity-type":"item","numeric-id":1040001,"id":"Q1040001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$059CF187-D1F8-4DC4-8BBF-E47B86917695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$B99E3323-7EB8-4D64-B556-0C86CB108C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$9F05B4C9-34A7-4721-B839-5FCA61F2BFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e9e44d7ffa3e35b73497e32253991279784e6a","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$7B94A0E3-8812-4669-B19C-4D990D49E80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeedc506ee95714a79cfc16f82862182df8774bc","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$680A7F1A-162B-4F31-A2B9-99330678C838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$1A4DD8F6-E4C2-4081-BE65-E9775C62825F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0478213a2768e15885bd259a974294cbcf32b5e0","datavalue":{"value":{"entity-type":"item","numeric-id":4619818,"id":"Q4619818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$E4F14C31-3890-489E-ACC6-02C4714B7AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92281f917da3a00fe0192413035ae6a90371a0b1","datavalue":{"value":{"entity-type":"item","numeric-id":287361,"id":"Q287361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$EBEFA3F7-2586-4981-B0DC-9226F4FDF9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37b23b7db99d33ba41b8c893bcac4aca2de8fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4870018,"id":"Q4870018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$DB4B9B29-013F-471A-BB2F-F90AEF7ACBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9863219edf0cf338b34eac05af7eeb8c6f738697","datavalue":{"value":{"entity-type":"item","numeric-id":692371,"id":"Q692371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$0EF171D2-567A-4529-AD89-7656C7F01355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f51ee284f00df4ab26e4aab4c52fbc2a272b198","datavalue":{"value":{"entity-type":"item","numeric-id":2753598,"id":"Q2753598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$91166DD5-8014-4270-8970-1E7A8F2B9865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b883d872eefbd5f8daf82a38b9e66e81e1a15c","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$C70AFD99-5CD3-48EB-B891-8C70A9D374C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$527CC9B8-28AD-4E59-986C-4BB445E42559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$D2419670-F64F-439E-BD22-3627E5AE94FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab84f6aaf590fa756248847abc358b761eb7958","datavalue":{"value":{"entity-type":"item","numeric-id":286772,"id":"Q286772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$F51068EA-54F1-4B13-B0EF-BFCB4C9F5276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$F67403B6-2A6E-4D80-B847-ADB1808118F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203d48d7253d124888377b269b6bdabd88ab4d55","datavalue":{"value":{"entity-type":"item","numeric-id":2829269,"id":"Q2829269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$93375669-8C26-4FE3-84D6-280C82D7D190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44eeebf0235fcff88fc3bb17a20f2d20201fb8d2","datavalue":{"value":{"entity-type":"item","numeric-id":2852157,"id":"Q2852157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145439$449AFD38-90C0-40E2-8A41-63B6D2B4C07D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2128a759f430cf1beb47c605a018f869f6fc502","datavalue":{"value":"https://doi.org/10.3233/aic-180764","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145439$64CCE9A0-22F6-4C81-BB9C-20C019BCD56D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f78476199f3d0015b1cd3dcd642262ee4d4cd3e","datavalue":{"value":"W2797950816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145439$191B8A00-4CC5-4F82-B712-00AEEAA48DD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf175ca02fbfe4698f3e33445ec7cdc416b1c24","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5fca9746e7b0aad9d0fe4205d74427782980468","datavalue":{"value":{"amount":"+0.7749921679496765","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":"Q5145439$735C96A3-4900-47CF-8C51-E88EBABEC15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38394b4e8d3a3502630a463829cd1f4840ac5524","datavalue":{"value":{"entity-type":"item","numeric-id":3172879,"id":"Q3172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7a751caddeb513e20f6d34b0d7ff9bfd732eb8","datavalue":{"value":{"amount":"+0.7448544502258301","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":"Q5145439$5826D1E4-ACB8-4BF6-B33C-E3C1637582B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c21c4cd5d4993c28f29a090d2fcc426973edfae","datavalue":{"value":{"entity-type":"item","numeric-id":2280211,"id":"Q2280211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084e826a1ed022f57b9dc30b1285100b6dc62203","datavalue":{"value":{"amount":"+0.743280827999115","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":"Q5145439$A0005C93-D23A-4997-83CC-B308B098B870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b542189a171fc85ab7c4d95fcceb7c87d41da70","datavalue":{"value":{"entity-type":"item","numeric-id":4790672,"id":"Q4790672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba20a7970163c9ada0f9ade901ba7368a289914","datavalue":{"value":{"amount":"+0.7413663268089294","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":"Q5145439$51CB18A0-9C24-4BC4-8F4F-B8F2EBF56635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705cfccb5a484c9ef9db359fc2f57d981affb5f1","datavalue":{"value":{"entity-type":"item","numeric-id":2147186,"id":"Q2147186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba20a7970163c9ada0f9ade901ba7368a289914","datavalue":{"value":{"amount":"+0.7413663268089294","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":"Q5145439$9A0485EB-38B1-4229-AFFA-07F31B4C9FBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145439"}}}}}