{"entities":{"Q4645224":{"pageid":6674805,"ns":120,"title":"Item:Q4645224","lastrevid":53315696,"modified":"2026-01-24T17:25:39Z","type":"item","id":"Q4645224","labels":{"en":{"language":"en","value":"Interpolation for a sequent calculus of generalized quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999511"}},"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":"Q4645224$0FA07283-7C94-494E-9556-572EE1ECC9F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f0822653aa2c19d75fe70d05198df70449efae5","datavalue":{"value":{"text":"Interpolation for a sequent calculus of generalized quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645224$54A2F5FC-F088-412F-909E-6743D17D81BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ead8060b8a50e0ad96fad84f8783da0ed552eac","datavalue":{"value":"1415.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645224$51BB1147-A526-4562-A525-5F3E5B798373","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3cb25d3895f7d2dd4cb8ef6fe20110ae6e27778","datavalue":{"value":"10.1007/3-540-61208-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645224$D4D50BB4-3AC1-406B-A630-B9A28B5C529F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06b9d3e98376955f4f1468110c0445691894ccd","datavalue":{"value":{"entity-type":"item","numeric-id":208223,"id":"Q208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645224$093C01B0-002C-464C-9D9C-F6C3BB2A77DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645224$44A3427F-290A-40D0-9C5C-B2C4482F50B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645224$11D97B0D-9FBE-45C1-B181-AEFB0D14D18D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645224$9CD7FCD9-CF27-44A3-9706-C72418011B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645224$C7A30097-F189-486E-A229-5A5F2ABCBF71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"037bec68c383f30e2971dfe344aaf7fbd0d15b7e","datavalue":{"value":"6999511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645224$D43FD5F3-468C-424E-850A-FFABF431DA0D","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":"Q4645224$E5D358C6-A0F5-473B-B248-B96708B26F04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"726b159169fe27f93f78ef741dac4506b454a916","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645224$D4B223DF-5818-4315-8A60-F4B925EDFDB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83204f34e4f3a30927c3446a368aa8682dd12607","datavalue":{"value":"W1586947108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645224$BA71C746-D91C-41E7-9C2D-25F10B6CEDFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c276c68be8155ce8e59c386e2b02333136637960","datavalue":{"value":{"entity-type":"item","numeric-id":1909605,"id":"Q1909605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645224$292E08C9-5AD8-4AF7-AD84-4226EB2CF956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83b5d5f04d9e112746ee7211d4e60025c270090a","datavalue":{"value":{"entity-type":"item","numeric-id":5687328,"id":"Q5687328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645224$20E3EEC5-159D-4C3C-A574-3C58EC11D6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9738a54ce3d19f905a4c6043b7f3154bcf623cf","datavalue":{"value":{"entity-type":"item","numeric-id":1061731,"id":"Q1061731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645224$44747828-17B5-425C-9C12-92DBCAD2567A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae626a2a3dbd6771d18f6a7baa88280e4c92d5fd","datavalue":{"value":{"entity-type":"item","numeric-id":1909605,"id":"Q1909605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"637115c52799af680525581d3f7469434919d11a","datavalue":{"value":{"amount":"+0.8150423765182495","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":"Q4645224$9A739CC5-BC70-4709-B5AB-291B5BFE56E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa13b09b8a6a33ae3aaa56ac049b8a02a9b9b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5230075,"id":"Q5230075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"637115c52799af680525581d3f7469434919d11a","datavalue":{"value":{"amount":"+0.8150423765182495","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":"Q4645224$091A2CDF-E1F2-4A14-B957-A11126ED2D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400353f5617700af7e80bb787a2a6dcbb0cbb746","datavalue":{"value":{"entity-type":"item","numeric-id":3688380,"id":"Q3688380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125fed05587982173e1e6aac45170dfe09fdae4c","datavalue":{"value":{"amount":"+0.7714230418205261","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":"Q4645224$4765B9F0-95A1-40AB-8BA0-A1EC9FD9DC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d0b245885a867d601abe87d23ba63b6a3f7bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1824614,"id":"Q1824614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34d9617ff8f17f524e910f7a65c5a1015922543","datavalue":{"value":{"amount":"+0.7512289881706238","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":"Q4645224$2C28FCD7-A0EF-4355-8A6C-04EC7CEF4D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"befd362986e34cbcbc334be1fbbe9eaa2de54c68","datavalue":{"value":{"entity-type":"item","numeric-id":4661902,"id":"Q4661902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ddb810319ccabddc41c720481406b10ab4dd782","datavalue":{"value":{"amount":"+0.744286298751831","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":"Q4645224$CC1822DD-5AA8-493D-A215-F664B2DDF8F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645224","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645224"}}}}}