{"entities":{"Q2364699":{"pageid":2375442,"ns":120,"title":"Item:Q2364699","lastrevid":52864754,"modified":"2026-01-23T16:23:57Z","type":"item","id":"Q2364699","labels":{"en":{"language":"en","value":"Automatically proving equivalence by type-safe reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751333"}},"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":"Q2364699$1AD4BBF4-A7B5-44B9-8FD4-CC24378E9665","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c39d9b4bd8581721ccaed53bb93f0a43cca18278","datavalue":{"value":{"text":"Automatically proving equivalence by type-safe reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364699$6D2AFF98-E10C-4397-8DEC-0E794ABA9429","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37e41d9667e88c3e615f06e479092e6b781dfbd0","datavalue":{"value":"1367.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364699$A6CBA26E-F81E-40B5-961B-2BC045792AD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b31bc9d173ec46ff2677fe55e6ac08b85837c82a","datavalue":{"value":"10.1007/978-3-319-62075-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364699$FDFBE54E-B557-4959-A2F2-CAC1E2D4FF20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6684c510d86dc189c133c03107965d256bdac956","datavalue":{"value":{"entity-type":"item","numeric-id":2364697,"id":"Q2364697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$FB3B29F8-7FD0-47A8-9241-48704949A408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d31e496bca92cc6ce2d8d2fbd9fe1acfa896bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2364698,"id":"Q2364698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$E642764E-3D89-47AD-A97A-3B4D6B2CFFAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364699$87EB4B0B-C6DE-4563-973A-5EF675CABFA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3bba96b9fec23f3c2152879436f3314260c88c2","datavalue":{"value":"http://hdl.handle.net/10023/11247","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364699$7D6E3E1E-319F-4B5B-B1EE-B8E5E90A4D9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364699$7882646F-9590-419D-A151-0E01A5304E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364699$9B0A7C57-BA70-44F1-8BDF-ECCC4FF1BB62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47c8f13f4387a3abe9088224cf164a663543ee22","datavalue":{"value":"6751333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364699$312B6F3F-2EA5-4C43-BFEF-911DF6B3702A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d62798ced101241ac0d5e46110e32d69e73a0c1a","datavalue":{"value":"proof automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364699$B99F4DEF-941B-46A1-9E41-A3FDF13B4F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364699$E23EBE1D-39A8-4C21-95E5-8EE37AA188CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364699$3E769480-6533-4742-B51D-0F8E20F29860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95b67bc981090b288e40939345a46ef449359586","datavalue":{"value":"proof by reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364699$47DBA743-7CFE-4E9C-BC1D-C37E023C7B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f8af94777570a4ac5c96108ace661f19133496c","datavalue":{"value":"correct-by-construction software","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364699$DCC70815-5978-4E0B-8B14-0044D07AA3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce0de1cb1ca0e73576c5875f1b97fd45f911e85","datavalue":{"value":"type-driven development","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364699$3D210A1E-0D8D-42DC-9787-5D6FC6597A39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e603d7c91a5659a0e67ae5a0b1fc4700fb0830e5","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$9A93153B-7170-4D9C-AEAD-03D4CBE4D6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$A47033FC-1349-4949-A26D-A1DAC4EFB782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f20857e79be9881c5d7a06583454f1cf2611e9","datavalue":{"value":{"entity-type":"item","numeric-id":24994,"id":"Q24994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$098EB07D-6A6B-49A3-83AD-9C820C1E7CD6","rank":"normal"},{"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":"Q2364699$793DC730-578E-4082-B5BB-F013FE495313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b770a87ca9a9c88e8d7293f2ff0eb880186c71f","datavalue":{"value":{"entity-type":"item","numeric-id":21669,"id":"Q21669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$5E0CAE16-700A-43DE-897D-012B44A6ABAE","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":"Q2364699$73637D0B-B11B-4747-9C22-AD63B940A0D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9ed14669a340e90e38b968936f1873ca722f111","datavalue":{"value":"W2728028396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364699$EEF7571E-5D14-481C-8A0A-94F2F11F13C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$5EDD8BF5-62D3-4737-AB87-DA7396B8E55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af6faeaa96bc7cdaf3630e5a348ae8661139c01","datavalue":{"value":{"entity-type":"item","numeric-id":5398331,"id":"Q5398331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$58B862F6-5191-493C-A5DB-EC7FD19217A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e48d3823bf5a23bc0eab1e395aa1104e859aac36","datavalue":{"value":{"entity-type":"item","numeric-id":2907324,"id":"Q2907324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$465EC4DA-C96B-4CD4-A14B-375547670C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$9F88E1E3-3F7E-4112-B2C1-C3176255E2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf59eb87eae2db6618e4e9f1f46bb6efdbbbdd8","datavalue":{"value":{"entity-type":"item","numeric-id":2844812,"id":"Q2844812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$3FE5CA3D-2557-48FE-9831-60C7CDD96867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0007f6e6ddb56daad1917f282410760fb5b79ae6","datavalue":{"value":{"entity-type":"item","numeric-id":2870135,"id":"Q2870135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$674A778B-43EB-49D6-B5DE-9E626D1287E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$B64C2551-C2A1-490C-84AB-0AEAF47DB6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08fad6c9d6b8523ce8acfc23ea990867496f6913","datavalue":{"value":{"entity-type":"item","numeric-id":2843004,"id":"Q2843004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$01A290BD-F6CD-4744-B6B1-91CD2C4EE6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9811e0f445518a60fcf8a88a2ec5cd76d23ab843","datavalue":{"value":{"entity-type":"item","numeric-id":5477649,"id":"Q5477649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$AA5436CC-A411-4A38-9403-20C263BC7238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77095c41135cb4764d3667c129e4e23c5421ff28","datavalue":{"value":{"entity-type":"item","numeric-id":2941181,"id":"Q2941181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$8CE674C9-B963-4229-B18F-FC3720947720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4687768e52dfec6af9a679b71e797770f27e0bb","datavalue":{"value":{"entity-type":"item","numeric-id":5897605,"id":"Q5897605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$5818D499-840A-41A5-BD6F-4899DD371567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ef52d19f5b6d0d04ff93be96fe3c6d519e1794","datavalue":{"value":{"entity-type":"item","numeric-id":2879264,"id":"Q2879264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$29C220E5-6F19-44F5-8D87-8CA59FB13C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b42dd317bf0bbf239e78b0f994d050b3a8511fe5","datavalue":{"value":{"entity-type":"item","numeric-id":5244791,"id":"Q5244791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364699$DF77F504-194A-43A8-A849-F8370B5F2F5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6375d904022100cb81376160eb9f0da8c95dfdf0","datavalue":{"value":{"entity-type":"item","numeric-id":2941181,"id":"Q2941181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e66660762f083f2ccdabe7c5d4092dcd6f7465","datavalue":{"value":{"amount":"+0.7237403988838196","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":"Q2364699$307E8AEB-B9CA-4C39-899A-E9173544B924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a3953779ae87934461ed4b9de866e5a861420e","datavalue":{"value":{"entity-type":"item","numeric-id":5464663,"id":"Q5464663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7c2d3ca52174db6b0c9749ae93d34ca919b5b3","datavalue":{"value":{"amount":"+0.715758204460144","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":"Q2364699$5D6E385C-452C-4105-897B-754C359D0B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2cc059e47ae56bba7fcad04815e589048939c4","datavalue":{"value":{"entity-type":"item","numeric-id":3002482,"id":"Q3002482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fed428d5a08250bc1eb4a2d751975871b79c3b3d","datavalue":{"value":{"amount":"+0.7032128572463989","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":"Q2364699$5892D083-1663-41EE-8F9D-44DE98F952AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435c230f2e936567467c911556c7b07e730f6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2802496,"id":"Q2802496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a16bcb1769ceca231262db56ced3d3fc40e125b","datavalue":{"value":{"amount":"+0.6984590291976929","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":"Q2364699$5A8CF832-2B15-4301-9913-F6422A4ABED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968ef3c413e5fe02e2d496a820a84be2c7737a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5255080,"id":"Q5255080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c8f57e32415afc9f756e43a8a02f0db3855dad","datavalue":{"value":{"amount":"+0.6852633357048035","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":"Q2364699$6D4F0657-4FF0-4C3F-A3C1-FC1B9E8F60C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2364699"}}}}}