{"entities":{"Q5457687":{"pageid":7487246,"ns":120,"title":"Item:Q5457687","lastrevid":40719656,"modified":"2025-04-04T11:28:29Z","type":"item","id":"Q5457687","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5263431"}},"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":"Q5457687$F00426E7-E2AE-4CEF-A938-847B5E67570A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8536582f866cc3219e33cf95756f99deadcb608","datavalue":{"value":"1134.68423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457687$DC545EA4-1F05-4C44-B6DB-7DF526EBDFB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457687$ECC945E3-6B85-458A-8D4C-7C1C95D87F7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f9febd79edc09e0529544fa9ed79527a572db90","datavalue":{"value":{"time":"+2008-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5457687$12E738BC-5DCF-491E-96B6-13ACC3C38FBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457687$842748BD-42EA-41F5-800D-798C9179346B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457687$475FDC83-5050-4A19-9D0A-33ED28339BD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06b851888d7df387da48880ac6af8f6e72f1f6b3","datavalue":{"value":"5263431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457687$B04BF7E3-36C5-4D39-B1DC-FD2FBA44D332","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457687$5DA91FF5-3913-4AF4-84B5-D980EFC99692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457687$3831890A-2EF6-4197-AE71-9027FD88F552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457687$5B7FC53A-803A-4657-A94D-A8FF80E06C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea26a37c8015e288daf5a53e054c535617ea362f","datavalue":{"value":"initial constraints deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457687$1A2D966B-BE63-43F1-9D3D-12964002CB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"724ba3f33215c3e416fe54425212394825163f70","datavalue":{"value":"initial many sorted algebra institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457687$C396F1BC-2CAB-4144-9EAA-CBC4F4905ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edae88d609c1b2a4f95c47b7de71fc4b74463a9c","datavalue":{"value":"initial order sorted algebra institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457687$8ACB6D6D-3ECE-4490-B7EF-A68A63C9E8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7864d8f4bb06e574dd07ecb33fab40564a90337e","datavalue":{"value":"initial membership algebra institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457687$392EB7B4-34DC-4F9D-963D-BE6F17F8BA37","rank":"normal"}],"P1463":[{"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":"Q5457687$AEC0B556-F3CE-42DF-A29E-5AB5B098C0FC","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":"Q5457687$3013BDD1-D8C9-43FC-A739-96F607A07046","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ef0ec61b5ebba3a7173518736b390aece440db","datavalue":{"value":{"entity-type":"item","numeric-id":3765759,"id":"Q3765759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a22ba19771b2d68c3f4f1b74c152466ed56514","datavalue":{"value":{"amount":"+0.8992305","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":"Q5457687$B6325FDB-F765-46A5-811C-5FDFDF468530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc06282cb0fc9a525420919b18192db3c6bd865d","datavalue":{"value":{"entity-type":"item","numeric-id":3345751,"id":"Q3345751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0555ca663db9d2499f2d2d2d3b73adc85ac3a323","datavalue":{"value":{"amount":"+0.8978089","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":"Q5457687$1DA6C325-FA1E-4E4C-BA08-322DB527E3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81f0140d925efb9c7f35cf9e012c60f913b6247","datavalue":{"value":{"entity-type":"item","numeric-id":4365106,"id":"Q4365106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f9687c1052015d35de5e2dd6efe7c7b8d2b76c","datavalue":{"value":{"amount":"+0.8928064","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":"Q5457687$BDAB72C1-4190-4F37-AC24-6590000443E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6e70573b32bc2e1bcdc519f53a69a26d42ee15","datavalue":{"value":{"entity-type":"item","numeric-id":685423,"id":"Q685423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80ff7443ea8df2318d0a8259935ba8672a9a577","datavalue":{"value":{"amount":"+0.8847357","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":"Q5457687$F599242B-1E68-4BBC-813A-FD848C1A5E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673aa4c384c043ef41cae63b9933cd19fca47636","datavalue":{"value":{"amount":"+0.8831714","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":"Q5457687$DDB87106-B212-4B9A-886A-7C009BE1B303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8ad64b61a3d1e8a1ce86230309328d3bec1e62","datavalue":{"value":{"entity-type":"item","numeric-id":1816284,"id":"Q1816284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ccde3595c9a427dd15a428e5ac738a3b031ff9","datavalue":{"value":{"amount":"+0.8821756","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":"Q5457687$6DB11B87-8D59-40E2-AEF5-7694FB868053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe520b881e25fb4c4c8a205177018870f594e4e9","datavalue":{"value":{"entity-type":"item","numeric-id":5394197,"id":"Q5394197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa488ab9753344491e4d6b17f8a009a4b4e01097","datavalue":{"value":{"amount":"+0.8820685","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":"Q5457687$A759741D-B0FA-4D9C-8E57-6F8240442BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e514fc82ee397e43ef358a217be5a5c0b8dee9dd","datavalue":{"value":{"entity-type":"item","numeric-id":674992,"id":"Q674992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a714a21aba2c1c30c1433906ee49eb8058aef4","datavalue":{"value":{"amount":"+0.8812345","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":"Q5457687$5D71982F-1925-4578-B4A6-A483E5E413D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3234196fd2cf2e90c6caeac901e444f0b50255b","datavalue":{"value":{"entity-type":"item","numeric-id":4729318,"id":"Q4729318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c68915b9bf7bbe7540dee676fe8e0c820f43a5","datavalue":{"value":{"amount":"+0.88038033","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":"Q5457687$52C783F8-596F-49C5-A1C9-F13F2529FC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2103e45fe1a113f2ddc8f20cdca4358850cef685","datavalue":{"value":{"entity-type":"item","numeric-id":5176547,"id":"Q5176547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e5ad830ef45eb3783749ab9b50e75eb888bb4a","datavalue":{"value":{"amount":"+0.87980783","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":"Q5457687$0F3F84F3-0517-443F-9C70-4631EE8E31B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5457687","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5457687"}}}}}