{"entities":{"Q4560265":{"pageid":6589856,"ns":120,"title":"Item:Q4560265","lastrevid":58271169,"modified":"2026-04-04T12:31:45Z","type":"item","id":"Q4560265","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6991660"}},"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":"Q4560265$49AFC895-3C24-4F2D-BE05-A00FBB1C6B06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c912275c55e0d92b470012ab03402fcf14ea06f3","datavalue":{"value":"1402.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560265$F7B479DC-8661-46C1-AF64-0A17A09659D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23de4e42d26c5ff113394f059a29a12c73855bdd","datavalue":{"value":{"entity-type":"item","numeric-id":1798945,"id":"Q1798945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560265$44670F76-E114-4FAA-A14A-D564E06AD8EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96254ecf16768214b618c057c6fdab7cc9632b89","datavalue":{"value":{"time":"+2018-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4560265$6BD673E8-7139-4E25-ACD5-8525FF1875AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cff55040dfadea3369ba557280b52758f07638e","datavalue":{"value":"https://arxiv.org/abs/1503.05496","type":"string"},"datatype":"url"},"type":"statement","id":"Q4560265$7282D8CB-AD73-4F5E-B067-FBE6E162ED3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"00e2b3414ea5d82129dfa439bb6f5b5b442999ba","datavalue":{"value":"https://dmtcs.episciences.org/4927/pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4560265$6D5C6A3F-66B1-4D32-8BB9-3A0049F0FFC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560265$5CDA0616-ADB6-43D0-8A83-7E7BC26A2B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560265$7353A25E-CD78-4E4C-AE2C-7CED3A363D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560265$31B2098C-54BA-4198-9475-92D143EF3194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560265$31A8B631-76CC-46CC-8D39-835E76240124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560265$22F47748-B4FA-4803-8571-AE9B5A3DE6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560265$7A543193-E1BC-420F-B3B3-FD1FD011BC5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0145b036e256332a081cf14c9e82278509318269","datavalue":{"value":"6991660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560265$CC713F04-0C54-4700-AA32-9A9F8D3E6BF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bcf6ef313c81380a963fa5d9c036f751f485","datavalue":{"value":"computational effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560265$A31D8AD2-027B-4543-A1FE-65DFE0F43C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3e9b5ddda6a1bcdbf4d71d695c5746114fb1d5","datavalue":{"value":"state","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560265$1DC3053E-3B33-472C-B950-C30F659971AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16260849d15e6a1f1a5e5b052c5f4dea3365792c","datavalue":{"value":"exceptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560265$2E22CFAF-350B-4221-B2B5-0EB83937F71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b2463dfc04439aaf184269658b25a99a225b4b","datavalue":{"value":"program equivalence proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560265$E2FC9B73-50AD-46F4-812F-539657E9C2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5fc9591ec630192bd93cdc305a305de8785084f","datavalue":{"value":"decorated logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560265$A0ADB7F3-3CF7-4487-9427-169D04F1DDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560265$1DB13A2F-0F8E-422F-BA73-15F738DB60ED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560265$1775389B-D3D0-4F43-8C0A-468F66479111","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":"Q4560265$EC651E67-1976-4A89-AFCF-D3BD55F2F09C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82cbd1b6ddcd96dbbf124aa0d98bd40d6f89fbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4931291,"id":"Q4931291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3addc95a0fc5a51d22bb1a1c873924f838141b73","datavalue":{"value":{"amount":"+0.8290218","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":"Q4560265$03E381CA-A72B-4CB1-BC6C-C0991956689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02325702ebad2802daa67fa38bc2cb83341ce3c3","datavalue":{"value":{"entity-type":"item","numeric-id":3983044,"id":"Q3983044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543e02394f1aa350f4b59c49b6ee903496230420","datavalue":{"value":{"amount":"+0.8277445","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":"Q4560265$E3E6251F-85A7-48C1-B5A6-05E04DAF65BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8ee0beed74b489015ae957756b5ba3557b1363","datavalue":{"value":{"entity-type":"item","numeric-id":3011970,"id":"Q3011970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca0f6a2da12c995b353e006e838efe3bd3b5df6","datavalue":{"value":{"amount":"+0.8035483","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":"Q4560265$DECB174A-24A5-4534-BE32-8535F3CC12E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b5938b569f2cf8c84ac5fe15d3b3d31e31860","datavalue":{"value":{"entity-type":"item","numeric-id":686642,"id":"Q686642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20185b3eed4a7689d3a6d5b5c98a999271cc7319","datavalue":{"value":{"amount":"+0.7999405","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":"Q4560265$B53E8B6C-EBA6-4B28-BAFE-43B9F0CBF58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b6c58e17b8b94c71269db4e305be35fbbdc3676","datavalue":{"value":{"entity-type":"item","numeric-id":4323006,"id":"Q4323006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6124484590a4dd287840039ff1b72f9fb1c912","datavalue":{"value":{"amount":"+0.79628044","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":"Q4560265$7E0415A4-ABC0-4A8E-829F-E33FB9C68418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abed2a0af9feea5ebd7dd9779346eb63a70f7dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5688920,"id":"Q5688920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e2042ac3aa9a6b3c6294f37a9216bcfcadc176","datavalue":{"value":{"amount":"+0.79482734","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":"Q4560265$44139F6D-7C2A-4C16-A447-82FB712EC78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7223b983011c9fd679feee854963c6147ea7b8b","datavalue":{"value":{"entity-type":"item","numeric-id":5178909,"id":"Q5178909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3508114f0694016dea0111ffda36a499a05d0c","datavalue":{"value":{"amount":"+0.79431474","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":"Q4560265$5E437211-F26C-4B60-AEFC-E4A9167125F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6961f42b0e586ec5f5db21fa2d898ad09097791b","datavalue":{"value":{"entity-type":"item","numeric-id":387994,"id":"Q387994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac71028156eab2fb13e73d882455af57f4a8193","datavalue":{"value":{"amount":"+0.79310954","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":"Q4560265$059E3A89-112A-414D-95A4-0414362349C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4560265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4560265"}}}}}