{"entities":{"Q4012876":{"pageid":6042672,"ns":120,"title":"Item:Q4012876","lastrevid":55180078,"modified":"2026-02-04T12:17:38Z","type":"item","id":"Q4012876","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65528"}},"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":"Q4012876$0D7374B0-4293-4CE7-A655-873C8399B1F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db71e18c2b9eada63023eb420e498d6e3c2bceb5","datavalue":{"value":"0754.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012876$A3EBD806-D62F-4B7C-8608-6DC7247B3EC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c815c41e465f4878bd238b300cc994da6be7937","datavalue":{"value":{"entity-type":"item","numeric-id":831146,"id":"Q831146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012876$8D3A4EFA-C78D-4880-9146-C144ABA7F8A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012876$95A8D51E-C468-4311-907B-1BEA8B560BFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012876$12C2378F-C4FC-4C58-B3B6-F12AE0FB3A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012876$1454E1A0-5061-44D6-BF51-F6096C50ACAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012876$227529BE-4386-4001-8715-E72F28322282","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46e5fccea4d8ca12bf1ad88815bdb07dec06dd0d","datavalue":{"value":"65528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012876$18A2CD37-79B5-43FC-87CB-A0F17F9AAB75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012876$DDCF5139-575A-4994-BE79-EBCCF487B8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012876$FD4AA18A-D574-4825-A833-87B364D00D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"032622a05e87a7c0b2bf8f1250a0b98ba48be2ad","datavalue":{"value":"Automath languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012876$ADC1A28B-9B8C-4A30-A857-9B546462A4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012876$95E2D65C-2685-415C-8261-0500C380D9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b314fe2c8f5c3a8cc130a434d0edf6ff873ce90b","datavalue":{"value":"language DEVA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012876$4ECAC6A3-6C23-4253-BE56-7E24E3649B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3018cc06086259c6587546e2eca53d426a1c63a0","datavalue":{"value":"software developments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012876$82EAD018-9B4D-4CA7-AEEE-AC048DAD253E","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":"Q4012876$FBFF48A5-95EF-417D-AD43-7F45AD4B2D5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96bdde0e04d3b4baa15d4fd4619574de26c75ec","datavalue":{"value":{"entity-type":"item","numeric-id":688825,"id":"Q688825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba0dafb60281f7c3b4610b2d05698e2e5bf27b4","datavalue":{"value":{"amount":"+0.7640841007232666","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":"Q4012876$7E923B52-8AD2-4929-97BF-5CD1A63652D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bd9f2f511e82abc41ce1f38ff8727559e8b7d0","datavalue":{"value":{"entity-type":"item","numeric-id":1201296,"id":"Q1201296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba0dafb60281f7c3b4610b2d05698e2e5bf27b4","datavalue":{"value":{"amount":"+0.7640841007232666","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":"Q4012876$EC7EAF09-33FB-4377-B665-B42126E35E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae336951bd8b77091010ee971cf0baac8f009f25","datavalue":{"value":{"entity-type":"item","numeric-id":3773318,"id":"Q3773318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71fc79321bbbead1bb9dd827f23c4f3cba71064b","datavalue":{"value":{"amount":"+0.745480477809906","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":"Q4012876$57E8995B-1B36-46B3-A338-43B8E6B8282F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee74266aa068ad456c78b78d721eb7b8e695d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4000379,"id":"Q4000379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6cf4eee15b1e379274049a8a3be23a39c64f682","datavalue":{"value":{"amount":"+0.7192285656929016","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":"Q4012876$53C1DF31-F59A-4ECE-8A05-F98F2C5D4822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b75401591112ef26b183f41386bfac897e7ae75","datavalue":{"value":{"entity-type":"item","numeric-id":690318,"id":"Q690318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782e6c81b71309d3f0009d1f31453683b2aa8229","datavalue":{"value":{"amount":"+0.7186816334724426","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":"Q4012876$9A70994F-A29A-457B-B926-2E9AD187AB94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012876"}}}}}