{"entities":{"Q2186692":{"pageid":2197435,"ns":120,"title":"Item:Q2186692","lastrevid":43661922,"modified":"2025-11-05T15:42:50Z","type":"item","id":"Q2186692","labels":{"en":{"language":"en","value":"A refined interpretation of intuitionistic logic by means of atomic polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7210298"}},"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":"Q2186692$4B80E138-DF9E-4F45-8BEC-09AA6402CE17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57c20297feb644150542e0273a58f730fe6110ca","datavalue":{"value":{"text":"A refined interpretation of intuitionistic logic by means of atomic polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2186692$77D15CD8-7F03-48A1-A6BD-0560D7DB2D1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d37d6ba54f39e9535443819c1e1f02c663ab9e64","datavalue":{"value":"1479.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186692$2DA5AEDA-E6ED-4597-9510-B5AE40BD00CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$39D4DD53-1E61-4399-A3C3-0BD5840FD740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$06DDF222-F08D-48EA-9594-E628C8E4CBA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$29E6E4EE-2AD8-47FB-9F9C-621803764FD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"442d5aead941c0578ccd7c54c4f813e979fa4e3c","datavalue":{"value":{"time":"+2020-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2186692$9C9E3900-68B2-4E01-9701-06141834154E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2964843b59a2412df75ada988fb3da01d7afc594","datavalue":{"value":"http://hdl.handle.net/1822/73100","type":"string"},"datatype":"url"},"type":"statement","id":"Q2186692$4AD06D13-1011-4787-A5BE-9A026C744252","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"117c2f9c1d2f1efe55cc01d37fb72b78d124b5e7","datavalue":{"value":"The atomic system \\(F_{at}\\) is a fragment of Girard's system \\(F\\) induced by restricting to atomic instances the elimination inference rule for \\(\\forall\\) and the corresponding proof term constructor. The authors study an embedding of intuitionistic propositional calculus IPC formulated as a system with proof terms into \\(F_{at}\\) alternative to the so-called canonical embedding proposed by \\textit{F. Ferreira} [J. Philos. Log. 35, No. 1, 1--8 (2006; Zbl 1101.03014)]. The proposed translation of proofs is based, not on instantiation overflow, but instead on the admissibility of the elimination rules for disjunction and absurdity (where these connectives are defined according to the Russell-Prawitz translation). As compared to the embedding based on instantiation overflow, the alternative embedding works equally well at the levels of provability and preservation of proof identity, but it produces shorter derivations and shorter simulations of reduction sequences. Lambda-terms are employed in the technical development so that the algorithmic content is made explicit, both for the alternative and the original embeddings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186692$0987CAAB-F939-429C-AF99-0321C0377DB1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1f73afd33192153e94113807fdc62b87cbaa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$0A75D156-E60C-4291-974F-B862BC0A49A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186692$DA6CA24E-E928-48BE-8731-218699ADAE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186692$5CF6405B-5823-436B-9313-44B19D963E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186692$2EF3545D-E88B-460E-95AE-4F43A4949EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186692$F3818EFD-3CCB-44F4-9076-099F06EF382A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186692$D7610699-2B0A-4017-8961-5CFFEB09D585","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4467868c04f1e9e07d0aa08eaba472fecd305e18","datavalue":{"value":"7210298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186692$34C0C0B1-71D9-4A1E-8B8F-FE12D6CEA03F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7540e16fa0e2e8630572938f18adc15da7b819ea","datavalue":{"value":"instantiation overflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186692$AED5C05F-9A84-40CD-8C31-DECEBBD3EF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be20eb1b052ebf4a91604414a9c233588695fd3f","datavalue":{"value":"atomic system F","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186692$758AD6F6-F786-40E9-9F76-3E02EAA1ABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ee02f0ddc510a82630d2121cf8d03915cbee3f","datavalue":{"value":"permutative conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186692$73E0601B-626B-40C2-81D3-EC9E29FFBBA8","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":"Q2186692$50BCB205-A891-46E4-B172-58B016AA43F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6abda9e32dd25b751f8eb965037b55793be2e2c6","datavalue":{"value":"W2923004144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186692$B9E7A13A-A17B-45AD-B514-287D0F58D832","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"371c320a42b678b06fa6ae731a7aafbce0a3dda6","datavalue":{"value":{"entity-type":"item","numeric-id":2499285,"id":"Q2499285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$195CFF28-2FDA-4370-81CC-A8395C69F1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716e4d3b48a04539d2a9f1c959b61f267f231ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1037589,"id":"Q1037589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$760C2E4B-EFE2-4CAD-9E71-CA9705A554F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80763fc6efa7be9cdfdda78563859b368353a315","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$54B45BDD-6587-445C-9696-97D8293EF0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce08575a67ba4d97f25cafdaafbc60b3ab6282d","datavalue":{"value":{"entity-type":"item","numeric-id":4644473,"id":"Q4644473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$D5D6CFE7-83D6-4AAB-A02B-9896FB460300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f992a9041e22d0874c431db615559a4bbb5c0a3d","datavalue":{"value":{"entity-type":"item","numeric-id":2363508,"id":"Q2363508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$C2555421-C31B-48CB-88AF-0CE329016100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6c515c53cd15526b8909325376b292606ea9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3024834,"id":"Q3024834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$725017A5-4DCF-4CB6-816E-34970CB1E3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$9CF4FB52-879C-4CE6-9A77-97FA3C8D0144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9007f592c26c879cdc9d51881c070212b204dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1327386,"id":"Q1327386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$66A7A860-23B8-4982-884A-6D8D78465058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cb1095bfb6bd6ea560e43c2c009e4d62aef6cd","datavalue":{"value":{"entity-type":"item","numeric-id":3612636,"id":"Q3612636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$CE0491BC-A0E9-4835-94EA-53CA33884424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74236444b9405abe628a3c6e2a1cbab41fc3b506","datavalue":{"value":{"entity-type":"item","numeric-id":4385534,"id":"Q4385534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$0CA35611-D84F-4D37-8D1C-D8D711EB0715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$8B02279D-96FE-4FE0-8580-F22D6A8DB7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$3AC9C560-AB92-45C3-AF12-723421120236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$3592F3F7-2B4A-4883-A240-EEA92D9EEF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e9cb560f6fe7179b0d0342a57d41f62ad77c520","datavalue":{"value":{"entity-type":"item","numeric-id":3879417,"id":"Q3879417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186692$A2D5B182-5CF5-47D1-A0F9-9FB3E1F39F46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbb14476039e4d1cf65336b50c8e82c1433f0e92","datavalue":{"value":"10.1007/S11225-019-09858-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186692$622AC6B8-9AF9-4267-8B07-44FA62D26D1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e2272ff914c60a7165e491e5adf7f7ae297c0a","datavalue":{"value":{"entity-type":"item","numeric-id":897484,"id":"Q897484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ba1070bd84b007e124b6b36d281808aabda049","datavalue":{"value":{"amount":"+0.847461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2186692$9A12E92A-4B99-4171-9A85-A1B916FFAAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c751897dd9cb1d7864bb52d0b20ed027c7886e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5014064,"id":"Q5014064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5bebead62691d61f8dcd218b8ac64047638be0","datavalue":{"value":{"amount":"+0.8428384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2186692$EBED0667-DC37-4BA9-B28F-FB1168E17703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e789a02e3e8aacd02a3ba658e00f5ef757fbde","datavalue":{"value":{"entity-type":"item","numeric-id":2971275,"id":"Q2971275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb4006cf750e5f90c39eb07ab13af7560d4ebe7","datavalue":{"value":{"amount":"+0.81786174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2186692$C8642418-C127-4E4B-97A4-B4BCF2809EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03be5be5ede41374cb05f1b7e6e97ea10f92af7f","datavalue":{"value":{"entity-type":"item","numeric-id":4644473,"id":"Q4644473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81ad85f1d1d3a55ccae723716b8d647afec3a2e","datavalue":{"value":{"amount":"+0.77322364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2186692$44768214-8124-4564-9EFB-0C391545C5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2da25202cf31d51bf3b5ead736f10c3ab5e6620","datavalue":{"value":{"entity-type":"item","numeric-id":5858127,"id":"Q5858127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed36ceb5843a2df85dc573edfd7b9aed1c61cfc","datavalue":{"value":{"amount":"+0.76986367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2186692$E1CC6656-FB3D-4415-A38C-EC427371488F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168be4cfb9834c766e4967c4a968980ee4cd31d2","datavalue":{"value":{"entity-type":"item","numeric-id":2118979,"id":"Q2118979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbed678ceaf34a0f2e4dec01d0eb21076046b5f","datavalue":{"value":{"amount":"+0.76403165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2186692$9E99B13B-387A-4C67-B83F-0A4C8703B704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef442f081c9fc360f125e03e3ac575e7b4fbe05","datavalue":{"value":{"entity-type":"item","numeric-id":2957669,"id":"Q2957669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be94e2775e3c75151793e864e435304807288b07","datavalue":{"value":{"amount":"+0.76174015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2186692$5D22D088-64D6-4796-A53E-9A872F4D8E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5875ac2c5466f67d2f3ce4d63598efb6842c6522","datavalue":{"value":{"entity-type":"item","numeric-id":1799037,"id":"Q1799037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1582282fd6204bd3b49381c5f6f03a72dada91ea","datavalue":{"value":{"amount":"+0.7561506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2186692$57A670B5-7B7D-4510-8662-71DE62D3365C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31eaafe8370a24b45e6d9555152688d29a7f178","datavalue":{"value":{"entity-type":"item","numeric-id":2363508,"id":"Q2363508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5bf0a6c84c184c4e3fbd68b1b98a8662c173333","datavalue":{"value":{"amount":"+0.7534338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2186692$D23543AE-0E4D-46B8-88EB-F6F7E9BD9361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e1e731b00cfcaadc467c6578b4cd108b945ab1","datavalue":{"value":{"entity-type":"item","numeric-id":5224891,"id":"Q5224891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3daa087edca5c102bcea0c6f3083ed9e98ece51a","datavalue":{"value":{"amount":"+0.7425431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2186692$A4ACD67B-08BC-4418-B01F-3987CCE34971","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2186692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2186692"}}}}}