{"entities":{"Q4222842":{"pageid":6252443,"ns":120,"title":"Item:Q4222842","lastrevid":40793213,"modified":"2025-04-04T17:26:30Z","type":"item","id":"Q4222842","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231527"}},"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":"Q4222842$ACAB3A70-B4E6-4D86-96DB-E1084A484494","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca2f0145c4a45ecedd807b8d99e1a305a3c114fd","datavalue":{"value":"0908.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222842$AF7C84DA-0FFE-424D-A913-62F04DD53D57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d75c8972e3f2f65d76ef5c0db6d9fd21365ddf3b","datavalue":{"value":{"time":"+1998-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222842$1B38EBA8-E62B-41FE-AE94-B9645F691DF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea2d0487b7f11fa0cb361ae3c20cd97a0b12b7fd","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#pratt","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222842$36A2495F-6C4A-4DF5-B1FE-BB31FA8FE923","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222842$680E52C5-A2B6-42C5-8286-551E604EAA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222842$90162C55-20D6-4449-A9F7-4C60C1402073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222842$A01DADA0-CF31-4BA0-9E6B-8716BAA960DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5edc14540f6b995d61932440f3fd06aea99e4b80","datavalue":{"value":"1231527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222842$04F2FDF3-5FE5-4633-8FB1-3B95BB8E13F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222842$DF2F3CC5-A053-4888-8A22-2C6DB174AC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222842$419E532A-CE61-4001-B379-88C32BFFF280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222842$181ABCFA-3B53-4B0A-9C30-3169CEBA9AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222842$0D68D5BA-200E-4C40-8895-2AA1071A20B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65bd644151371d4bed0658dba6b6c5c3c2ebfe3d","datavalue":{"value":"embedding of small category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222842$5B251C58-F35C-4ADE-B935-B6E954E6C794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165ec3a4959bbab8ee0dcd738578e5dde2ad0819","datavalue":{"value":"category of Chu spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222842$5A6FB79F-8FFA-45D8-9C18-6DF4D38F60FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26ef637430c204f640ffcd8a9774ffce22f10998","datavalue":{"value":"variant of Yoneda embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222842$423887A7-EA22-4853-81A9-B11CEFA41BBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2daf04d2e542c2ae6d281c4a9ddbcc3ed8dba4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1134755,"id":"Q1134755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222842$82D9F7BC-C5C4-4655-BF87-CB075AF40A4E","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":"Q4222842$23E36133-3ADA-4A93-B3C9-86E06DD2F3B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5a298f24996e765d38d2efeed8299436b97d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87a806366accab848bd912a1a639ab20cf40763","datavalue":{"value":{"amount":"+0.907724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222842$0FB8D38F-5050-43DD-BB39-E67488FC9D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad74480f51f6a27fb78219e4b7a71f25ec115f4e","datavalue":{"value":{"entity-type":"item","numeric-id":4353717,"id":"Q4353717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5079758a7900022e1a58198be3428f58647a9c","datavalue":{"value":{"amount":"+0.898887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222842$F6117E8B-DD6F-496B-9D17-B29280BB5B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7158f86b410e39b75e90f4b1a74b58c278a3a53","datavalue":{"value":{"amount":"+0.8981443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222842$98C8044A-236B-43B9-B3F1-25853D485583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a550be80d2d6eded506a35a29b4681c9cdea70","datavalue":{"value":{"amount":"+0.8925989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222842$9095A41B-8D3F-4BF1-8CF9-AEA014833E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4784599dff4a68d969201d6d8dc029ce15146bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4330857,"id":"Q4330857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1c613296fbba86e32ee3fc5a5437c58876f69d","datavalue":{"value":{"amount":"+0.88626397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222842$85CE8C2E-4E81-4894-A027-B23910B3A38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a812c34d9ad5235ea9865c296d08ab85c67bd393","datavalue":{"value":{"entity-type":"item","numeric-id":4250365,"id":"Q4250365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100b7bdf70f9d71ade9f93a6444156126ab58367","datavalue":{"value":{"amount":"+0.8847513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222842$14FE1A8A-11C0-4317-9722-F0450D4F0850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b85fcc479fe74355b26fd43e2b0f1630ad953a","datavalue":{"value":{"entity-type":"item","numeric-id":5894004,"id":"Q5894004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d729acea1c9dc42ab78a0a7fd241335a8fd70d4","datavalue":{"value":{"amount":"+0.88433397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222842$A5EA6FFB-FA6F-4EA5-955F-9CBCF8CDACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec681975bb3b05c606436011c0387178b7a8da20","datavalue":{"value":{"entity-type":"item","numeric-id":5902142,"id":"Q5902142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d729acea1c9dc42ab78a0a7fd241335a8fd70d4","datavalue":{"value":{"amount":"+0.88433397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222842$18832A62-4F17-4E28-B754-DEC88B219B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9677ed473cfc5c8cf0f2c4565709266a7e1d552d","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12517a0bb34868482b76044fce229aff0aa159c","datavalue":{"value":{"amount":"+0.88214535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222842$919B5D36-5BC5-483C-A485-11C6B72A974A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6059d4684c2cae342107a04e61262ceec26fa","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b59acf0c4bead3f9eea2918c4b5b5db069b41c","datavalue":{"value":{"amount":"+0.8821138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4222842$0C42E13F-110B-4D2D-A326-3584B82868CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222842"}}}}}