{"entities":{"Q6041346":{"pageid":13175447,"ns":120,"title":"Item:Q6041346","lastrevid":39663683,"modified":"2024-12-30T16:52:30Z","type":"item","id":"Q6041346","labels":{"en":{"language":"en","value":"ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689496"}},"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":"Q6041346$E2159EE3-FFE6-44C6-B29D-F18F18A8E198","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d78aabb40bcd940e2dc994784bdd9c89458eb0e6","datavalue":{"value":{"text":"ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041346$AFE38684-2C20-4CEA-9A14-DCF4DA315569","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1331c5ce8dde9d063e1b000b392e3eef6edac1e9","datavalue":{"value":{"entity-type":"item","numeric-id":830378,"id":"Q830378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$48014EDE-0F62-45CA-8EA7-AE7B7FE997B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"919c61ad1744ea5a8d2415f4f917b715c26a4371","datavalue":{"value":{"entity-type":"item","numeric-id":253122,"id":"Q253122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$01935C56-8652-4C59-B0E7-76C1DCA3227F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$EC927D3B-1CFD-4F68-BD98-1BC2824BF047","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041346$54B45D67-A067-4FDC-8D45-300F0C24D958","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041346$38890406-BA01-4208-B7DC-4D1CB6B71FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041346$502236D2-CE0F-40DB-BB5D-EDCECBFEEE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041346$F422F449-82CC-4A15-A7D3-EB3F1107D62C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a6cf408b63cdbc40b6784c4ed2bb93d28df84b7","datavalue":{"value":"7689496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041346$F401AE78-4188-4083-8DFE-C38D70A34F39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9d544fddcf218e1165dbc83fc3ad549262cd99e","datavalue":{"value":"quantified argument calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041346$ACBC2906-BBAE-4AAC-825F-11D4B812E61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac5dd9c95b4d8011b08ebdcea7bdac13f0b6f5f3","datavalue":{"value":"sequent calculus G3","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041346$1E2A509C-F0C4-45F0-9055-847B4473D40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c570c1f51f8584936ff02a4d904f11ae4958c17e","datavalue":{"value":"natural language quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041346$D0F4450E-07FB-4CC4-AA72-F4BBE1557202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041346$7ACDE5F6-2119-4909-A750-58708672C2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41918bac7d1c8414b9cc564a46d7231a1976ab5d","datavalue":{"value":"defining clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041346$F87F13C3-571B-49B7-A50B-773E62B4A956","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":"Q6041346$EE4B9562-4BCA-4E39-A2B5-3EED461E8236","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60fcf2eb3fd10dd149090a6f02cd1434f3f917d6","datavalue":{"value":"https://doi.org/10.1017/s175502032100006x","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041346$13E082FF-4ADF-43A2-BC1A-32B538F9CCE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67a6dc081576f18b16bddb29edcac2f9bb2eddc2","datavalue":{"value":"W3125362358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041346$BE1E4B16-8795-4582-9F08-C4306746DC40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39d319bb3bd21d2e88e10a90fc0d6f06743c7f4","datavalue":{"value":{"entity-type":"item","numeric-id":2940869,"id":"Q2940869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$360729B2-4D87-4DFB-8F6D-7908A597DD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be99e1f896a6838dd0f91ded8130808d4f1089","datavalue":{"value":{"entity-type":"item","numeric-id":4052072,"id":"Q4052072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$3262B8A8-200A-4D79-8948-795117AA0C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$75DEB3B0-2CDE-4C45-8B2C-74CA763BEC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$1C7ABD45-F6A6-4A19-8B87-7949DA365987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$5BD7C7C9-CC2A-4FD6-B93D-DC7C951AC792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$1B09A582-98EF-4954-A23B-AC27C53EA715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea15caaf9545e4a7c73bb1123e02d12a2232418","datavalue":{"value":{"entity-type":"item","numeric-id":5357329,"id":"Q5357329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$4ABB34CB-89F7-4D9B-AC4C-D2A9A6F4214E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7a7ea992f52f2dd3a397bdfbf4f0149c31fb5a","datavalue":{"value":{"entity-type":"item","numeric-id":3367327,"id":"Q3367327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$32A36443-A3D4-4D17-AC96-C1694FA210ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$DDD590DE-0150-437F-90EC-7FE1459E2F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cdd6030337d08844ed9b1765f7abd837ae16f4","datavalue":{"value":{"entity-type":"item","numeric-id":5241408,"id":"Q5241408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$3FB8ADA6-3017-4015-8674-606D39B1F164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$007A120B-8D3E-4467-BF73-1FBC88D6AADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a1c588c740fe3cbe85a8b068c195d5be3a6020","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$49E900CF-5D5B-422E-A4FB-16B87B09C09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc1eb1d887562c8000349f3cb2147bef3038e6d7","datavalue":{"value":{"entity-type":"item","numeric-id":5115855,"id":"Q5115855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$500D37B0-92F0-4514-B937-F063D944DF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75502c5ef8201d5fb35d2d76ce99f172b43261c1","datavalue":{"value":{"entity-type":"item","numeric-id":5216971,"id":"Q5216971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$2653169D-10EE-48A6-A3A1-5D5ED5C3900F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fd2421c0b9830a5368cacf5d87639027a60f94","datavalue":{"value":{"entity-type":"item","numeric-id":830379,"id":"Q830379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$EF0C17CD-3071-43DF-A034-A3287AA57A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7f8b4b3c2559c8bcb5412518f1c359dc2e0dce","datavalue":{"value":{"entity-type":"item","numeric-id":5208104,"id":"Q5208104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$B4023CC8-8935-4599-8595-502EA6F5D7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041346$B0A242A6-5D75-49A5-B543-85F197B5CBB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88e194aac0081c61307d32d858a3c439f53b6ede","datavalue":{"value":"10.1017/S175502032100006X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041346$05D8A220-E23A-4738-A0B7-658B2433DD32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6041346","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6041346"}}}}}