{"entities":{"Q3698294":{"pageid":5728200,"ns":120,"title":"Item:Q3698294","lastrevid":50328731,"modified":"2026-01-13T20:16:05Z","type":"item","id":"Q3698294","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3924120"}},"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":"Q3698294$A442D60A-DEEC-4D67-9284-5EDD143DF055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f22fd04060af0a2fdd5566077fe1a3cfc22ae40f","datavalue":{"value":"0577.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698294$29FC14CE-E59C-4546-9E26-7EFEF8CF8880","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3698294$43D23FC3-0048-4F3A-8A92-38DD0D14D76F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698294$2BDA2990-30F0-4E73-B1BD-B18940227F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698294$CAF2E5F1-EAD3-46A3-B7A5-19186EB7D609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698294$1C7710F2-449A-4C55-A077-02A874A8C98A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"437c590f8671d3824fd208fa122a4fd503485943","datavalue":{"value":"3924120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698294$60C8916E-BF06-49FD-86B4-47049E68C4BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b529547f2354499c8317328364e644f24ca465","datavalue":{"value":"semantics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698294$E1A26296-A492-4098-9B62-FA59A288FFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698294$9A1CD4B1-6F85-4785-87AC-8C72A9DD4DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3719ed41893672db063f7cdecb5bcd68172db4a4","datavalue":{"value":"proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698294$4F925F32-A4CA-485C-909A-8712D43003C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c89b20a853c6d7069d5ce0e33d6525cb7b1cf01","datavalue":{"value":"iterative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698294$A461E127-7D37-4FFF-8086-29681A89EBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698294$A1895633-0C27-4CEF-8E0C-4B0A4F3D5BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855c068770704dc268fbb353db8a9a947d99ee44","datavalue":{"value":"programming constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698294$A8B0F480-1069-4470-AFDF-F0A0AD7C63F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9b649c4f0a78b7333753db80ef381b4ee309bc7","datavalue":{"value":"proofs of correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698294$38DCF1B1-9ECB-472A-B0D2-480F1EA897F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d426517d35f74127ac2700eb0061f4b10ecaa56c","datavalue":{"value":{"entity-type":"item","numeric-id":684394,"id":"Q684394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698294$5D640F34-A34F-47FA-8B8D-1B85896CCAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf8e0a1d6097cb2f9e59b0a8db1af8f459f9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1183596,"id":"Q1183596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698294$123CFED1-B864-437A-BB52-B1A40CEFFEF7","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":"Q3698294$5103ECDF-1FA6-4523-AD94-EBD1B0B78264","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998ce59b2e2182e9a17f7061382d98f6f3ee00a7","datavalue":{"value":{"entity-type":"item","numeric-id":4028343,"id":"Q4028343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5118a0eb96c14a0b2721642d2fe5d43c743cf61a","datavalue":{"value":{"amount":"+0.8244946002960205","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":"Q3698294$8E5B884D-2A37-4301-B6BD-2218202B2799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c044bffe3eb2348d535add07fb1b819854164f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5118a0eb96c14a0b2721642d2fe5d43c743cf61a","datavalue":{"value":{"amount":"+0.8244946002960205","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":"Q3698294$86EFA4E5-A21E-4D06-BDEF-0D3D8BDDB2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e746d9f33b7831b5006a96a4380f02295ac5ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4464696,"id":"Q4464696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4b5bd29abfcadbddffded619c9c63586e44e9c","datavalue":{"value":{"amount":"+0.8178435564041138","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":"Q3698294$53CB6323-EB51-480C-BFDA-59947FB25C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bb0e3d2dac119f833ac434afff99570f6a8d053","datavalue":{"value":{"entity-type":"item","numeric-id":4625158,"id":"Q4625158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603d743b4183942333de46112c0e1ae2dc3a0df6","datavalue":{"value":{"amount":"+0.7901766300201416","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":"Q3698294$76E41D57-5DE6-4DDD-B6EE-CB91C3244008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9e694b66abe890373a3c4186119901a0a4ca35","datavalue":{"value":{"entity-type":"item","numeric-id":4668854,"id":"Q4668854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04f1ad53a0dea1e5dd688a1bd0c8bde9ac387a9","datavalue":{"value":{"amount":"+0.7891184091567993","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":"Q3698294$D379A7DC-9179-43DE-8D0F-DED31D9C00DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3698294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3698294"}}}}}