{"entities":{"Q4535076":{"pageid":6564668,"ns":120,"title":"Item:Q4535076","lastrevid":40782208,"modified":"2025-04-04T16:26:52Z","type":"item","id":"Q4535076","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1754648"}},"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":"Q4535076$0B35056B-122D-4287-B28C-BC7EFA1751C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71dea961d57c7c82cfbf86aa8f316dccb3c573c8","datavalue":{"value":"0986.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535076$CFDBC73D-50B8-4B0C-986B-33D7CC42F02F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535076$6E10257E-BFEE-4876-B6DA-4D70E608140A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535076$54DB46E9-28A5-4D57-999E-DD93CB5BA431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8432f88f23f21535a388b135123ce41d5ada4709","datavalue":{"value":{"entity-type":"item","numeric-id":897933,"id":"Q897933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535076$EED83568-7C3A-4CFB-8667-35EB1AF33C6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61236299fa791b99e4b27b6369e8c14dcf94677d","datavalue":{"value":{"time":"+2002-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4535076$AB9D3D97-FE14-41C3-B80C-0C922A541A06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99864946163d5319c3fa23c8b90a655dfa71dd63","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2076/20760963","type":"string"},"datatype":"url"},"type":"statement","id":"Q4535076$2E5216FF-6B34-40DA-9BBF-FBF3EFF8FDF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535076$DC5802A3-0A6E-4A22-B564-AA8D20ECCD82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7db3ade4580738cde2aedfc57520759488b21cd","datavalue":{"value":"1754648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535076$A79A66DC-A858-4CAA-93DA-B3AF83C9B083","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535076$EFA9A634-731C-48BA-8DD7-5D135220A12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535076$FCF11129-052A-4530-9E9B-4D9E44C80813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535076$5771B1DC-8D61-40A3-AC9B-4FE8622969B5","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":"Q4535076$EE068F01-1B50-4598-B516-9F528DD975E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361faf9b38cc4068b7fa6147cf6ea9dcae84f13b","datavalue":{"value":{"entity-type":"item","numeric-id":598315,"id":"Q598315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0138df17cef17207a68a51a37959feae9e868a","datavalue":{"value":{"amount":"+0.86109704","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":"Q4535076$5FCD9541-6E4D-440B-A7EB-FE0DB77F5ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672d995dd3428eb07ed30b7429a38292a5821170","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9244f51c1c0cceabcb80d6ff0abc27bd928cb872","datavalue":{"value":{"amount":"+0.8533481","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":"Q4535076$F705AF22-BA95-459F-816D-A0D71EA4DD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ac105ce3172a3ea2919fdfcd7f106a4b9e2e84","datavalue":{"value":{"entity-type":"item","numeric-id":2871861,"id":"Q2871861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36b541680d0ffc87f66e72121125ea100f2224e","datavalue":{"value":{"amount":"+0.8522294","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":"Q4535076$2F4812DD-D94D-4E46-8E1B-E69CBFDCEDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d6a57f4ef8f1f42a8473ad417440a81dc02339","datavalue":{"value":{"entity-type":"item","numeric-id":4329526,"id":"Q4329526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b41530328187011d4683fc750d54d06057e2eaf","datavalue":{"value":{"amount":"+0.8472144","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":"Q4535076$0CC10FA8-3F28-4C9B-8309-EA27F37B6FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d353193d645f492418de14fa5d803186eb43d85","datavalue":{"value":{"entity-type":"item","numeric-id":609765,"id":"Q609765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88db6e64b537f9088bc54ca4a90af027cd06a14","datavalue":{"value":{"amount":"+0.8447137","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":"Q4535076$339E42C6-9BEA-4FC7-9EFE-5322C63BC3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a966dca1734e14d9f765c601af15b849514cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5316376,"id":"Q5316376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211fb776a2878663f8f45a40b041e26880e25ebd","datavalue":{"value":{"amount":"+0.8394903","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":"Q4535076$C7CA6D57-6123-475E-BFB2-FD7D4BC44C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b578dd4060c4e04a2895d69d7d83e2f1311b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5742701,"id":"Q5742701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a806edb85fd43a70b37295ed2a44b7707f8d346","datavalue":{"value":{"amount":"+0.8390505","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":"Q4535076$32829DFC-2608-4D57-805E-9B45CAB6F96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7dc9418057f06a53b63781288396607ce78fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4609965,"id":"Q4609965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0913c42480c5e56e2a5e7f650d346a095cd6c89c","datavalue":{"value":{"amount":"+0.8385327","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":"Q4535076$562408E2-48FF-4DC8-9416-3AFD9C83D725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b503b2b8a4831236a9d535f0a14aebc9d42548f","datavalue":{"value":{"entity-type":"item","numeric-id":1183375,"id":"Q1183375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1523a3448ed1243a41a830601ea5e463ee0655d7","datavalue":{"value":{"amount":"+0.838025","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":"Q4535076$26427FB2-9645-4C91-890E-9DA03CCB02CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4535076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4535076"}}}}}