{"entities":{"Q3355229":{"pageid":3365934,"ns":120,"title":"Item:Q3355229","lastrevid":49518310,"modified":"2026-01-07T11:08:39Z","type":"item","id":"Q3355229","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4205977"}},"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":"Q3355229$18D6C2EF-A3A0-42BF-B4DB-03F25B6D49F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30037ab06b02f873425a78864878f3bbc6bc5066","datavalue":{"value":"0729.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3355229$0CE71048-15AD-4D05-97BB-1BA513C98CC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3355229$DBEAFA14-EEEE-4C0D-9063-9FCEA51651DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2ea14c02b03028ca3b818d6e28780112601632","datavalue":{"value":{"entity-type":"item","numeric-id":642540,"id":"Q642540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3355229$0F0B2F35-34D3-42B7-9D01-75B877C59EDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3355229$29DD866D-8D1D-4862-AC04-416D6A54064F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3355229$017E5D04-8168-428C-93BB-BA77831C2437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3355229$BF981A9C-149D-4ABD-9774-4078D0A132E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f00a5b68a9e1069c13cbb8c9ab234417374ba252","datavalue":{"value":"4205977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3355229$162C0ED4-ED41-4705-B564-0BBCB2A5FBF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33669a46e6c8e8b36873d1f752821b7694a60c9","datavalue":{"value":"parallel algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3355229$A96B51BA-D462-4960-8400-4A1A96126D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5fec8a87086aea49ced1fc8f228bfed0d1483f","datavalue":{"value":"expression evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3355229$479960AF-6B66-4371-AD92-894A05406483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3355229$BCC6C488-32D4-4C74-BFA9-6FDABAE228CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3355229$A08A33FE-A623-4CBE-ABBA-67DB2972F40D","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":"Q3355229$EE83A333-BEB1-4E28-B8DF-0C9263A33391","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e464d763620354ff210c985d620267bfcf3e734c","datavalue":{"value":{"entity-type":"item","numeric-id":3026318,"id":"Q3026318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7c0bbb175b5408079b0f040ee9695ff4c3e6fa","datavalue":{"value":{"amount":"+0.8200916647911072","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":"Q3355229$3730F17C-9441-4C9C-A12C-B96DEC2D03D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19cd651beeb83f96476d9b5cc146b279b261d722","datavalue":{"value":{"entity-type":"item","numeric-id":4236759,"id":"Q4236759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97d76b31a37285a022a908d7decddf2518e2504","datavalue":{"value":{"amount":"+0.7723140716552734","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":"Q3355229$515B99A7-97DA-4415-A0EA-A3A755A373D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371219205c7a849a7f7fcf39c6157cc6674b17e3","datavalue":{"value":{"entity-type":"item","numeric-id":3321440,"id":"Q3321440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1118c3b906d2b62848f415bcd9836dd03c49f75b","datavalue":{"value":{"amount":"+0.7700383067131042","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":"Q3355229$58779D61-6F60-4E05-9F69-D9DD6357FBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d5f5e8d56708644d046d966423c7ed7aab29e3","datavalue":{"value":{"entity-type":"item","numeric-id":3197319,"id":"Q3197319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ba8622eccf805db4b84d7ed93f426081afe8a8","datavalue":{"value":{"amount":"+0.7576497197151184","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":"Q3355229$8D09472A-E3B3-4B19-990B-A976459505CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec081bd2c3f44ea31f1ca3af28f5463d52a40e53","datavalue":{"value":{"entity-type":"item","numeric-id":1185242,"id":"Q1185242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d738074511b67039a93970fdd52fc512ad8fd31","datavalue":{"value":{"amount":"+0.7449274063110352","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":"Q3355229$6D453F74-758A-458D-9FD1-D22FCA06BC2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3355229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3355229"}}}}}