{"entities":{"Q4012884":{"pageid":6042680,"ns":120,"title":"Item:Q4012884","lastrevid":55180102,"modified":"2026-02-04T12:17:59Z","type":"item","id":"Q4012884","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65536"}},"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":"Q4012884$539CA5C2-D785-49DA-A9F9-CC425C2E0FA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05d8b56ece3ca6eb72c9f67d854b95d20f2472e9","datavalue":{"value":"0753.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012884$92588687-035A-45A9-83E7-B250EFDA4421","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e7882536af51bf6c5753ff9b9d81493dcc804d","datavalue":{"value":{"entity-type":"item","numeric-id":1575922,"id":"Q1575922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012884$FCCBC058-9AB3-426B-8818-4234E0F18F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012884$18A35181-14EA-4AAF-AE11-7850B77479F1","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":"Q4012884$838F0E45-13DF-4B86-B95B-F95934511440","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012884$FCCA08AE-A198-4DF0-97C6-BDD0711F3650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012884$D592FA45-F991-44C2-866C-5A8744EA7FBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27f38f490298f30751aa92cb29240bc543b5c134","datavalue":{"value":"65536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012884$287859E0-876C-4B43-A15B-CA32A8A72EA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cbfea87ebbe6cdb1dfa54a0ddf1c0599f94b58","datavalue":{"value":"reduction of search space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012884$66768D5F-B888-48F4-AAC3-90AC18FB81A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"918a8d970dc62902b2544e0b900e1d9742a8c300","datavalue":{"value":"system for proof-search in the \\(\\lambda\\Pi\\)- calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012884$A504A56D-5624-44C7-8CA2-F76DE8D6A646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012884$1F5A6ABE-C7AD-4BB1-918E-984925F860DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012884$A3386E7A-D4CD-47A2-AC60-A1B4E6EA2AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012884$04D9CF53-4B27-4BC8-9C33-BB9BA46F7B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b848e8df312ac6dfbbd39b78f75263a2bf0462e","datavalue":{"value":"intrinsic well-typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012884$75302090-8E57-4278-983A-C8F7DACEBEB9","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":"Q4012884$FCF0A559-E5BE-4AE2-B0F5-8663BE47F74F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27da39c224984c42dd01ffb42f69f521aac50eac","datavalue":{"value":{"entity-type":"item","numeric-id":1891931,"id":"Q1891931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1540f8c2e2d32921890a35ba53ba7f547485266c","datavalue":{"value":{"amount":"+0.8408960103988647","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":"Q4012884$70F9FCE4-F814-41F8-A0AF-4A2D9898B0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8293d39b4e139795d4cbfc0c1170fc2b9210bed3","datavalue":{"value":{"entity-type":"item","numeric-id":6488534,"id":"Q6488534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b51a0b48f6b4d071f43902873b7e714bd342e1","datavalue":{"value":{"amount":"+0.8408380150794983","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":"Q4012884$D654AE2B-F5F8-4080-B50B-6ECD2965ED9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50cbdc575efc2e86b8657f67be12801500a23718","datavalue":{"value":{"amount":"+0.8405738472938538","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":"Q4012884$69487961-314D-4F35-B335-B41B22DDEA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaae8b02556144ce3ed7738674e0ec95ed9ff1f9","datavalue":{"value":{"entity-type":"item","numeric-id":4223032,"id":"Q4223032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d1d2be0a8ebb34d16aebaf8ce33a12d0a4ded9","datavalue":{"value":{"amount":"+0.8171606063842773","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":"Q4012884$0EEDDFE5-856E-4CBC-A09B-2C1159E1E45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97ad471e6172b61acd1f2b10b8e40a3cfe9a5bc","datavalue":{"value":{"entity-type":"item","numeric-id":3003307,"id":"Q3003307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51854ab8893a22e6d0da1653c132ab8c54c607f8","datavalue":{"value":{"amount":"+0.7824262976646423","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":"Q4012884$8A9016EB-B919-4D1F-8AD3-977B926051DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012884"}}}}}