{"entities":{"Q3498453":{"pageid":5528356,"ns":120,"title":"Item:Q3498453","lastrevid":80579873,"modified":"2026-05-06T16:31:33Z","type":"item","id":"Q3498453","labels":{"en":{"language":"en","value":"Decidable Fragments of Many-Sorted Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275832"}},"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":"Q3498453$27B1567C-6F6E-4356-86A3-BC632DCD1CD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0eb53f7de685e399225f9f64d303bc4f73dbfe0","datavalue":{"value":{"text":"Decidable Fragments of Many-Sorted Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498453$3FD4B8B3-C506-4E2F-A111-C7B954A04533","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"087df0b0a0223b684a7e9d0efaba58ff12f1f7c4","datavalue":{"value":"1137.03302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498453$852FE945-8765-47A3-8AB2-D98D03074803","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cc39cb5a95b3d09224ae04feb2afb9b944eb998","datavalue":{"value":"10.1007/978-3-540-75560-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498453$2CF1C80E-70C8-4711-AABF-B7D55DE6C8B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"199b7ddb469215b53d1318fd53bce0037f9d9756","datavalue":{"value":{"entity-type":"item","numeric-id":1041586,"id":"Q1041586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$BD2F0769-EA35-42C1-BD45-10EA7725EDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$C1843635-A726-448F-8F8B-5BA19CB4F979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$AE2E9064-08D0-47A6-8E42-446F1A72EB5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$7C7ACBD5-84C8-4443-8191-A7B20EDFAD09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-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":"Q3498453$6944AFBE-4D25-4875-89C2-B63ADB0950B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498453$4F2F70CA-27B5-45D0-993A-4B65D05F64CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498453$8C925CB7-C283-46DB-AA4D-59BB7D514208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498453$7089F850-FCEB-44C3-8F6B-6DF96699AE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498453$5B24D59B-5161-4B43-BFE0-5F7B0FC06FA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df96d218437d414aa7bffd74673c83661c857a87","datavalue":{"value":"5275832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498453$9A0BD9F9-2728-48E0-BACB-92D3696A0229","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$745645B3-5F5F-4727-B1A5-781CAE0616DC","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":"Q3498453$9C71ADFC-F0BD-4738-BF4B-6DA5A13E3DAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76156bbb8bf3dd8749befde32d3f3d0334f2b885","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498453$E0B2352D-6642-450B-84D4-549C481813CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be341fef0f1030a83533a2a02182ec9b80848349","datavalue":{"value":"W2166403227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498453$6550A130-7A0D-4E20-BFF8-74A1B3ABA8E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57a5b84520a864ef17d595cc5ac2e62a5f6149f","datavalue":{"value":{"entity-type":"item","numeric-id":3498453,"id":"Q3498453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$CC398B6B-EDE4-490B-9964-BC1B1FD49593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ab547d446e56688961df139f4d0a415e90fcd0","datavalue":{"value":{"entity-type":"item","numeric-id":1606131,"id":"Q1606131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$E8A8F851-1101-4FD1-88FE-F1948D6084EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fd0d69e7d3624644483b2eb4d25ad4d37dc7f1","datavalue":{"value":{"entity-type":"item","numeric-id":5957904,"id":"Q5957904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$2A8E5515-0AF3-4265-AB37-A813F52A58B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$0BEB722F-A621-4535-9696-97B3ED9B0675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$A420AE07-B0D4-47D2-9105-A4B7A2E9EA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc87ad8b718d652fb612db8e727345bcdad12278","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$A3A3CA0C-DA64-4E91-B814-28C3F071487F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186c4ecbf8700f32cc81202dc28f277d034a67b5","datavalue":{"value":{"entity-type":"item","numeric-id":5394609,"id":"Q5394609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$26A943E4-5182-432F-8619-CEB955E478F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$12F5BE89-B6AB-4352-9274-F2DA601060AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$874F87BD-CC01-4EFC-A6B8-EA088E06FC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$C3E33B0F-DCFB-40CC-86E0-3C68EC4E3E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6614f531b00a528c3bbb605c5187237480b1b40f","datavalue":{"value":{"entity-type":"item","numeric-id":4647508,"id":"Q4647508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498453$72EF4303-F936-4082-B028-4F58B2B2CE67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fcc038c78f7a086a3f2e73a2999c05086032cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1041587,"id":"Q1041587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549cadd9b29a299635807d5afb910bae97bc91ea","datavalue":{"value":{"amount":"+0.9141072034835817","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":"Q3498453$B3F2CF85-DC1E-4513-9671-741BFF32D94F","rank":"normal"},{"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":"2feb86d0d9f01928d4e2a7f720042fdb917c4179","datavalue":{"value":{"amount":"+0.742053747177124","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":"Q3498453$667B2C0E-7D2F-4833-B7D5-11A9790E0B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5c3db24506ffc6318870206026a901a8de8338","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4cf3c86f03f229bfafd25a178b49fd70385d50","datavalue":{"value":{"amount":"+0.7315400838851929","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":"Q3498453$077E626B-92E0-42AE-BF16-F167B83E0933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ff6e54c1b50c0922974c0029a41fe5cf9ceaa2","datavalue":{"value":{"entity-type":"item","numeric-id":821564,"id":"Q821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e4a4cb4a40567bb7797227f99e152cda7c62d3","datavalue":{"value":{"amount":"+0.7199575901031494","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":"Q3498453$344181C0-6A56-4779-AACD-60566809F68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8230829ae2bd2bbae05eb4da4845af9f4e0f123","datavalue":{"value":{"entity-type":"item","numeric-id":3754601,"id":"Q3754601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0dc1f2202ec21d5c0bfc977566c1088ffed7c9","datavalue":{"value":{"amount":"+0.7094952464103699","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":"Q3498453$B35178DB-3AE5-4060-BA54-97B297D97A0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable Fragments of Many-Sorted Logic","badges":[]}}}}}