{"entities":{"Q4944858":{"pageid":6974440,"ns":120,"title":"Item:Q4944858","lastrevid":47466922,"modified":"2026-01-01T20:03:56Z","type":"item","id":"Q4944858","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420794"}},"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":"Q4944858$D2B275D9-CC30-443E-8C3A-DC344CFF5CF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"728ef0ee214a24430bac1a0c1e1a6ef4f65711ec","datavalue":{"value":"0942.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944858$7B7338BA-06E9-4011-939F-D8AB785086D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc10aa9892b9c4f398ab8507090d5710329f3440","datavalue":{"value":{"time":"+2000-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4944858$B949AE56-2F73-4A5F-AD84-5AFD6AA16127","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944858$E74DE182-D9E4-4808-9EAC-6CAFE02A0CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944858$5FBD07CD-0BF2-4DA0-9D3B-291BF1DE2774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944858$67E5B4E6-2597-49BD-AE15-E290101C0456","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d61e41b39b1cfb5878feb3597148ff113709568f","datavalue":{"value":"1420794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944858$9E40CA89-82BE-4975-9720-634F147BEA56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0279e8f53dc68b898e8e567f83a512779d580d6","datavalue":{"value":"interaction of notational definitions with algorithms for testing equality and unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944858$5630EC51-400C-428B-A4F0-58880CB4E878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d172923158a4038e7b50adbf92dd24d26a671f3","datavalue":{"value":"dependently typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944858$B0F666C7-8074-4AEF-AC44-197D5C7B521B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944858$CC44D8E0-EA0A-4C80-A316-F04C5E3B0349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1024ad51fb0c89617301d9b58c1789ce603d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2092486,"id":"Q2092486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944858$0A1967A5-AAC8-4324-B134-8CDE2CA417E4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944858$3F91B9FC-A436-4CF6-A203-B295740D37BE","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":"Q4944858$45493CDD-0527-4EC8-BC8E-2935EA76695E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944858$893EC69D-6F84-4EBB-BE49-1516F82BA692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944858$9D35CDD3-D481-4429-9FBD-057A29893955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944858$B06D1A05-527E-4054-927D-D97BE8272B06","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":"Q4944858$47D89940-95B2-4296-B174-6D0E1FFAA8B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8562288b9b83d32ed3c91251a0a307566d8c4127","datavalue":{"value":{"entity-type":"item","numeric-id":4223031,"id":"Q4223031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b6bef9b50f11056d4ba06d0c6ddb8105491d91","datavalue":{"value":{"amount":"+0.934091567993164","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":"Q4944858$D631833B-742D-4F52-ADEF-6B0AF012984A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"270de6527ae96c33d421a94a582ab741c9b0b3f7","datavalue":{"value":{"entity-type":"item","numeric-id":5705901,"id":"Q5705901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ec2798022a1a5ce5e8475643128a690247f0bc","datavalue":{"value":{"amount":"+0.7264633774757385","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":"Q4944858$F7A20930-3DF2-47AD-B772-B4DEBDB0DBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2842a69ce505d76f527982e81a57a0ca07074c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5286030,"id":"Q5286030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd4f883203106aa9041ef97863b545f1bd9163f","datavalue":{"value":{"amount":"+0.7218663096427917","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":"Q4944858$20E2EB0D-66CE-4000-BA1E-BEB505B5224D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ded6dc1c98bf86743d12afb475edc0ef078641","datavalue":{"value":{"entity-type":"item","numeric-id":1340967,"id":"Q1340967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd4f883203106aa9041ef97863b545f1bd9163f","datavalue":{"value":{"amount":"+0.7218663096427917","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":"Q4944858$F83A7A5B-B7A4-4DFF-93ED-471EEFD9F05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb365a5be43980699e4ccd2c54c58af74a822692","datavalue":{"value":{"entity-type":"item","numeric-id":1362142,"id":"Q1362142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e68a411300e7589ac0998e9b65771ccb85767f5","datavalue":{"value":{"amount":"+0.7129907608032227","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":"Q4944858$4152BBEC-99D4-4A3C-B049-B4D34272AE93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4944858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4944858"}}}}}