{"entities":{"Q4940722":{"pageid":6970304,"ns":120,"title":"Item:Q4940722","lastrevid":29056002,"modified":"2024-03-05T17:06:55Z","type":"item","id":"Q4940722","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1406806"}},"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":"Q4940722$A8A84FBB-2070-4EB7-BC8E-D3D86D563B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c1921d5b05f7a65e8f6910ffc0eae5938703c21","datavalue":{"value":"0941.03514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940722$8066D3AD-0626-4C30-BE89-B9BF2137B6B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9064e7c5b1833d7d4b89f5a4c09b74bb0655a242","datavalue":{"value":{"time":"+2000-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4940722$FD350B5B-1B9D-4C72-A617-B8EC9DB7B462","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940722$2E0F0763-182B-421A-A309-B804543826C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940722$E9CF30BC-D125-48AC-A373-6FA6D33C7AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940722$B85574B9-C61D-47EC-9DA4-9D9968FA4CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940722$6A4858B8-BBD8-4CED-935D-C6D378443E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940722$A7D0EF39-3513-40D7-A315-7C43E346025A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baf6274e72e230e04d7c4301a450f756b6ba8703","datavalue":{"value":"1406806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940722$EAD8E800-4B97-4D84-A5F5-20E4F2C190E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"289b54330d5627361f5c524049f9c1107fa454f5","datavalue":{"value":"closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940722$810900E7-A646-4373-A864-6D35383F9438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940722$457FF0D1-4A16-45E4-B562-F3D36E62B715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940722$B4E422AD-F447-4B0B-A1B0-0DECD6D49984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4922b22b6b2ede4c5116971dd78c65332bf8e4ef","datavalue":{"value":"decidability of equality of morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940722$76A65322-D9AB-42A9-9C8B-3E20CCC4B2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940722$5407864A-B23E-4BCA-B1F0-750848D57D8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b243572f25465f3ae7a32f2d3b06ae2073b8520","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4940722$FD0748DC-AC34-4706-AB2E-E182440DA5B6","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":"Q4940722$A879E116-2488-4AE2-B79C-4FC1F8832DF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4940722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4940722"}}}}}