{"entities":{"Q4647583":{"pageid":6677164,"ns":120,"title":"Item:Q4647583","lastrevid":36462006,"modified":"2024-07-17T19:54:28Z","type":"item","id":"Q4647583","labels":{"en":{"language":"en","value":"Context-relative syntactic categories and the formalization of mathematical text"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002056"}},"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":"Q4647583$B6907E7D-F39D-43EF-B015-F21D0E905A86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee2224bef1ad3ce655cfa009e628cd35adc9f7bc","datavalue":{"value":{"text":"Context-relative syntactic categories and the formalization of mathematical text","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647583$13196C0A-2244-4B74-BD78-9CE90A3E9850","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"650c6531c984b74c2539fa4afcbe4900c4afc2e0","datavalue":{"value":"1434.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647583$98BBFAC8-8B47-4682-B2F4-ECCE73BB8123","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1468ce986e075846ad2b0f48732961b96a5ed6f","datavalue":{"value":"10.1007/3-540-61780-9_73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647583$D002956A-E8F9-4783-981C-27DADF46EF6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54635aa2d064d6d84820484aa2bf0ffd6395634e","datavalue":{"value":{"entity-type":"item","numeric-id":1280046,"id":"Q1280046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647583$EE1A5C71-C133-4D83-A85B-534C59102408","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647583$42F2CBEF-4842-44F7-A01B-72371AF85DCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647583$A0E9E165-8128-4A06-A947-FF8D47B37F9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647583$7EB13A68-C8B3-42ED-A54D-59BCEE95EC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647583$492E3BBA-EDE9-43C0-BBAA-5C43BC7967C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647583$37F0B20B-DF2E-450F-9BD7-98CAAFC09D67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c8d31635bdb282ec24b08da8dd9c4a1d2722ec5","datavalue":{"value":"7002056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647583$EFE66E5A-5EAC-478A-9337-6591A2FE7CC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd0fced5800b31fcf0d82c97048fbfbd47eb26f","datavalue":{"value":"noun phrase","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647583$ECD46EE6-C14A-42E2-8429-66DB0A001865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647583$08A04A49-B3F3-4EAA-9006-D66A449357E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3ee877f4d85c5477aad176fab2ef76ba2bf153","datavalue":{"value":"syntactic category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647583$255DDC70-FEC6-437D-BF3A-FD7DB8F68A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0569e5775857cb8fa2d43cdddcf628262c2b7d37","datavalue":{"value":"syntax tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647583$BFD0E05F-6301-487B-862E-43E83A64655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6cb1b3f3aae6e8f791fbe4d52a6b7aca650dedb","datavalue":{"value":"mathematical text","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647583$7AA48EF3-6AF9-4F3D-A099-CB1131BF390B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647583$67BEE03F-3052-407F-A5CA-1DC96AF22651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647583$E5818CE4-8820-4546-9CBD-7F786CA6949F","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":"Q4647583$A2F8DC9C-4439-431B-A793-40D07BBDFF05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96544f697467c10401eaed3c087bf47f2e6ada5f","datavalue":{"value":"https://doi.org/10.1007/3-540-61780-9_73","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647583$3E9BDA3A-A834-4347-9900-DF586A988C9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abf09e8fec701861f95071ff59674de23ff37a35","datavalue":{"value":"W1590985701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647583$0F7B2843-53EB-4389-9B23-D57A706C8587","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647583$6B3CE245-3023-4200-B031-FA28C74EFED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef054f5b8a74420f4d60df29930a20acceb1e00","datavalue":{"value":{"entity-type":"item","numeric-id":3024829,"id":"Q3024829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647583$4BB6F966-B0B3-49F7-8852-22E5DAD145A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647583$60A6F14C-8197-4232-96ED-B22B0DBB7248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647583$0D8CC149-CA79-4545-A63A-3340131EFAE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647583"}}}}}