{"entities":{"Q4376334":{"pageid":6405933,"ns":120,"title":"Item:Q4376334","lastrevid":47427013,"modified":"2026-01-01T17:33:16Z","type":"item","id":"Q4376334","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1116652"}},"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":"Q4376334$7F782933-2FBF-469D-A4F9-31BEBB5C4BA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0446ee8f069621ca66cc2cc5499fab1243fefc5","datavalue":{"value":"0891.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376334$73E821AA-5001-4833-999F-D8468BC60B76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efa92e80a2eabff3026e81ce7126ea4306b3160c","datavalue":{"value":{"entity-type":"item","numeric-id":309678,"id":"Q309678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376334$F4F7CD04-35BF-4A8A-B82E-5BF4ABAB73D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d55cc22f86d5a88bdff7c2024fcf06a0fd1a76","datavalue":{"value":{"time":"+1998-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376334$1162CB85-C38D-45BA-8660-BB4634EBF8A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376334$DEA0E24C-B3B4-428C-8C21-A6BD103F74B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376334$B94ED9C0-A9DE-4DCB-8EC2-D7C19D849441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376334$15419CED-070C-4A53-986C-299AC03E15AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376334$AD1E7883-D040-4D8C-939F-DB908293FAC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cb5602c0dacab13c2ca4e5ca99c8c7f8e635151","datavalue":{"value":"1116652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376334$10F89B8D-5F0D-4649-8F98-84497CB84811","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376334$084CA7EC-9F1D-42D0-BBB3-1F0DABBCB918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376334$401BDDFF-4DF4-45F4-8929-E7E8077A68D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32dbe51b92d5c92359162820102ed67303112649","datavalue":{"value":"framework for binding operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376334$2F63B5D7-ADA8-4DC2-A204-C11C444F12EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376334$373FB75B-0898-45BF-982F-410B6D99DF97","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":"Q4376334$096DA484-EE00-46DB-8DDF-C3E2AA83877A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df977f25f7ce0a2ef2fd38146e0bae6407b0853","datavalue":{"value":{"entity-type":"item","numeric-id":4594256,"id":"Q4594256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ad7b0ee46a88e82a7ce1802efb8a2344055453","datavalue":{"value":{"amount":"+0.9381423592567444","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":"Q4376334$2447E9AE-DB96-46AE-8AFF-6E672C84BF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d229532ddf32a8c0ef725993d323ddf9386f50e","datavalue":{"value":{"entity-type":"item","numeric-id":1177937,"id":"Q1177937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b7857292fe5105c1a2bb4ccd3e6d6175b2f09a","datavalue":{"value":{"amount":"+0.7400349974632263","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":"Q4376334$FF5D3C6E-63ED-43D6-9B29-FEB6C8B5B46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c48aae8fd39c8b4a66b19bb4c6c754b913540fee","datavalue":{"value":{"entity-type":"item","numeric-id":2942921,"id":"Q2942921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34158906568968041db067304d54bb12f2d2e422","datavalue":{"value":{"amount":"+0.7365980744361877","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":"Q4376334$2E0C3B34-FA1C-4976-9901-216B380FF19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fc28ff935556a5c4174aab3a7627efd13f38b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399b34acc6bb6ae2ad3331155fbb5adf69532c1a","datavalue":{"value":{"amount":"+0.7313935160636902","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":"Q4376334$D21D6129-FF79-41E9-9702-77AF231A9888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21481f4370a1a9fd4c9ec8efcec8f450ae1ad60","datavalue":{"value":{"entity-type":"item","numeric-id":5277970,"id":"Q5277970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b190451d4c203a5e510b501598c52b01b97dc7","datavalue":{"value":{"amount":"+0.7266797423362732","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":"Q4376334$5207ED5A-5077-4829-8380-BBFCE7686A01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376334"}}}}}