{"entities":{"Q774393":{"pageid":776242,"ns":120,"title":"Item:Q774393","lastrevid":64233537,"modified":"2026-04-11T18:30:51Z","type":"item","id":"Q774393","labels":{"en":{"language":"en","value":"Investigations in many-sorted quantor logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3165535"}},"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":"Q774393$C208DF7B-0F50-4E0F-A96D-2224AF36E59D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cdf473b743a1a42fb24542aca1109d7c8f58db5","datavalue":{"value":{"text":"Investigations in many-sorted quantor logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q774393$AE996AD0-4739-4DF9-9325-69431C2DBAB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed2c9b57363b241fa00c5a9306fe1f79ecda470e","datavalue":{"value":"0101.25001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q774393$DA3281C8-2225-424E-880A-88F4A5B8CBB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"538b771ec7fe39a3dce20adaadd5387ae56e5fe0","datavalue":{"value":"10.1007/BF01396685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q774393$8C1F89D0-3D4F-4863-A03F-633D82AEA1F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9a408cce28a89b4b7efa425e61485b7559531b4","datavalue":{"value":{"entity-type":"item","numeric-id":774392,"id":"Q774392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q774393$2B8BBA8B-6526-4A81-81C6-EDFA448F9AAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q774393$CA659A1B-AE81-4291-9B56-8B168183D1CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1151d44c801a909256f62362ee2b01f3c904af1","datavalue":{"value":{"time":"+1962-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q774393$AA1FD5AF-E907-4FA7-9F3F-AF61E4B21807","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0343ce2dbc03937eb59134d801359a56845a8f6d","datavalue":{"value":"https://eudml.org/doc/160913","type":"string"},"datatype":"url"},"type":"statement","id":"Q774393$AEAA09EF-7F2E-40C6-BA94-69823B0C0D16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q774393$BE1E785E-E089-4FB9-AC2A-04C5F7DC27BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"451b32047bcefb2b41b5b7fe9237e95c649cdf52","datavalue":{"value":"3165535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q774393$97899B09-3F4C-4123-AC22-8C67156A75F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q774393$238B789A-1A10-487D-82A8-B4CAA6011388","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"97723d34fceb2d6705760eec6c20193e6fa0c98b","datavalue":{"value":"Q57075064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q774393$9150024C-7FB2-443B-AD75-0ABCC365519B","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":"Q774393$4C075356-C164-4A54-8D30-E5A03BB67A8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q774393$6704D9B4-B06C-4F00-AF5B-F2462285BAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dfe6e11f7897399ce5461bb9ec7a8ce26f48f96","datavalue":{"value":{"entity-type":"item","numeric-id":5528633,"id":"Q5528633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q774393$496194DF-0B4C-46FF-B7A9-45352D63D329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q774393$3779E0F0-8D24-4A67-97A5-0858CE309ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecedbc486f5aef29b19c75956acdbaa1a39377bf","datavalue":{"value":{"entity-type":"item","numeric-id":3236671,"id":"Q3236671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q774393$7B8F2C03-7478-45F8-8DAA-2B2C3D1BDC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672b36c5f903c7cd7306d943251c35f2b59030b1","datavalue":{"value":{"entity-type":"item","numeric-id":2649133,"id":"Q2649133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q774393$59545219-D821-4A29-B0B5-6871AE88F310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718380434e13ecab09fa4cf3bd463d4c47181c65","datavalue":{"value":{"entity-type":"item","numeric-id":5816105,"id":"Q5816105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q774393$91811D63-BFC9-4AA4-AA77-EE4AB09F7CBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5d0c72f0acd7b6f0cf1020caf90e6c6aff5862","datavalue":{"value":{"entity-type":"item","numeric-id":4693763,"id":"Q4693763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c69c42f5e020904709297f007e31f75b595b773","datavalue":{"value":{"amount":"+0.7843133807182312","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":"Q774393$344BB87F-51B4-4FDB-A7DA-16E926CF3F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766816f4aa439bab768f8a9062b1339090f5bda9","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1224e9908a080d98ece7757d05efbb688f0b7692","datavalue":{"value":{"amount":"+0.7801723480224609","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":"Q774393$C4F10549-7B36-442E-885B-000D126D386E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38365cdebb437108054b8e7f74f47299a25c8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1363439,"id":"Q1363439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f70e0b40328edd7c755611f6deee30ee0841bc","datavalue":{"value":{"amount":"+0.7785680294036865","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":"Q774393$B100EE91-64C1-415D-BFE1-B27BD898D737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c0ea83768305a9f9770b7dedeee35b9e7a3eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3591067,"id":"Q3591067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938611c22aeff6877c2ad4918662e077de7a2c7b","datavalue":{"value":{"amount":"+0.7734947204589844","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":"Q774393$0236C973-545A-41FD-B652-AFE7B4EAF7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86b40a0866284973d5d20420bbaad6d6ec04556","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9702e3e2e2b1e122f05743901706f89289cf3bf1","datavalue":{"value":{"amount":"+0.7688800096511841","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":"Q774393$8847B4BA-23D5-4810-AF7E-3749A8D9D7B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Investigations in many-sorted quantor logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Investigations_in_many-sorted_quantor_logic"}}}}}