{"entities":{"Q6561653":{"pageid":14172808,"ns":120,"title":"Item:Q6561653","lastrevid":42349597,"modified":"2025-06-12T08:53:40Z","type":"item","id":"Q6561653","labels":{"en":{"language":"en","value":"Infinitary logic with infinite sequents: syntactic investigations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7871036"}},"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":"Q6561653$72A698C2-BEB3-43DF-AA24-FCCF3469611F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"890afd18a4ce45d3f6adeac351c23ba7678ce98f","datavalue":{"value":{"text":"Infinitary logic with infinite sequents: syntactic investigations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6561653$33BFA2B9-A551-4E90-A10E-EB5A0A25792C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7eb22a3904380777df510def911bb4e3eb3352","datavalue":{"value":{"entity-type":"item","numeric-id":2106872,"id":"Q2106872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$41206E9A-CFB5-427E-BCB3-B6107D932433","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$E188CED8-E058-4AE7-8227-66098D311635","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"810cbb80b3532059cbf7c621b480d82d1f9f012b","datavalue":{"value":{"time":"+2024-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6561653$73D521C4-567F-41C8-88A6-9BAC7B631ED3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561653$DC8E564A-B65F-41FC-B0DC-70EE07EFDE0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ac1d47ddcaf6da0b4829a284160ec7149d6eca","datavalue":{"value":"7871036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561653$83DA3729-3FCD-4FE4-B82A-B709EA3EB30D","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":"Q6561653$88871293-E69F-4234-AE24-3DBA85BB329E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$66C46115-44F5-415B-9B6D-BF998E01DFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$5E05715C-6315-4195-A39F-FDB7A0560CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b241ab4e5c49c6c8b78c67f0b011644270d52184","datavalue":{"value":{"entity-type":"item","numeric-id":1229706,"id":"Q1229706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$96E07440-E067-4D55-B727-148122121301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46736230d88d05e5b8f61438842f638bb8c737f6","datavalue":{"value":{"entity-type":"item","numeric-id":5509674,"id":"Q5509674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$B2BBF954-D64C-4B4B-BBD1-C81B2D56EC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a64bf456ad1948fdc9d07726fbca9c098187a1","datavalue":{"value":{"entity-type":"item","numeric-id":3305558,"id":"Q3305558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$15F51FF5-662F-4C55-9AAB-FE0367ABD2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$5715710E-9A45-47B4-A824-97B7203456DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44eb7165f018b924a4a91407d35942417fab5a2d","datavalue":{"value":{"entity-type":"item","numeric-id":2987743,"id":"Q2987743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$89BE78B0-03B4-407C-ACBF-9C4FE061FCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2923ba93ab6aebdd9ed791f622b2fbb5d51f9aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4192043,"id":"Q4192043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$F039E11D-911B-45B6-9118-471E7478ED37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b7d8ee2543a66d1fe24791786dc53895335a13","datavalue":{"value":{"entity-type":"item","numeric-id":2027291,"id":"Q2027291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$66C07A43-92C3-4ED1-B134-2FB1DB6ED793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$E298BB9F-6937-4DB0-9BD7-3C12DAA3C68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c760059e7dedbb8b7864d59fb746fef23ead35","datavalue":{"value":{"entity-type":"item","numeric-id":930618,"id":"Q930618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$CCC3DC30-F53B-4043-9410-5925A1022AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$49B89880-4C7D-4A3C-9C8C-C936F41EA9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9cc68683a5fa4ad4d2a9876bc4c9d7783e4ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2106873,"id":"Q2106873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$F133B1DB-EFA3-4FA5-9326-3B452C7B0D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68cc09804f121295a28b362fb5ddfa4e78aab0f","datavalue":{"value":{"entity-type":"item","numeric-id":5163982,"id":"Q5163982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$AF76F9BA-447B-42DF-882B-0F79CD3A1183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0728edb6820491c8c81336230ccfa3d3dac218","datavalue":{"value":{"entity-type":"item","numeric-id":6156417,"id":"Q6156417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561653$AA436B5C-486C-4A2A-BD99-9B7C3FC4EB8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"695e0c7399b5c10b9455fe78d2fa8751a820d8eb","datavalue":{"value":"10.1002/MALQ.202300011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561653$E91FDF9A-6522-4FA7-88A3-CA5005487676","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6561653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6561653"}}}}}