{"entities":{"Q1383466":{"pageid":1394206,"ns":120,"title":"Item:Q1383466","lastrevid":67306191,"modified":"2026-04-12T16:44:47Z","type":"item","id":"Q1383466","labels":{"en":{"language":"en","value":"Intuitionistic logic as the implement of incremental model construction for natural language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1143972"}},"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":"Q1383466$0F7EA9AE-E3D2-4F81-8F70-9108F8C777D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41fc93f6329ab2b079994e46773a184679ac29cc","datavalue":{"value":{"text":"Intuitionistic logic as the implement of incremental model construction for natural language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383466$93F063D0-0027-48FF-B697-D4D9CBB0505C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c40632a30928d23545aa59865912afa96911ac9","datavalue":{"value":"0893.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383466$0CB48E9B-9CA7-4A53-8F51-8E6002B8ED4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"010c48d962a3a40eb2f50d540e908d2e17589de2","datavalue":{"value":"10.1007/BF02946609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383466$71545EA1-5238-4E13-8304-3E2A12AB1CCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8ca735896d8fd1610d4d740dab3fd7cadda6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1380459,"id":"Q1380459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383466$233CFA9F-D3CD-41B3-A1BF-694EDFE00725","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383466$CE1ECDEB-B3C6-4331-B484-0F3B0FB4D14E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e960b6031491651e5f121916383a51a169df87cc","datavalue":{"value":{"time":"+1998-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383466$3C0AFBBC-16E6-4979-888F-97151A0C55AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383466$034051E0-0FAF-40E3-936D-EB22772F6D61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53b6479a57350081f24e566de6b6cdb434027581","datavalue":{"value":"1143972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383466$89B46249-6AB8-43C7-A4B6-7D0251CB63C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383466$8EF128B4-F24D-41D6-A901-3B7811D1F216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e687c097862ec38b29ecfc59c37f7bb4c1212110","datavalue":{"value":"intuitionistic logic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383466$D57EE4B1-6FD3-42E7-985B-51C107B8EC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2c8498b46fe7838d5e99c0ae8d65c32afe3a6d","datavalue":{"value":"incremental model construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383466$C2E9A57E-E715-4416-9505-2D5C582E6879","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":"Q1383466$C87B483E-D559-4141-A871-1E84C36D7034","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49e68ed32255258ded3f91652dc6ef8ac1954c","datavalue":{"value":{"entity-type":"item","numeric-id":4846259,"id":"Q4846259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383466$059A9128-9071-4B6F-9236-4DF5B0BFFE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2358a93286be8f533ed707b97f4163c56085c86c","datavalue":{"value":{"entity-type":"item","numeric-id":3481670,"id":"Q3481670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383466$A9B7D565-6E79-4651-AEE2-7246390D9664","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38c45d403b7014af467903c96a501bce4ca965ca","datavalue":{"value":"https://doi.org/10.1007/bf02946609","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383466$603130FD-CB7F-44DB-857A-E4AA1A6B1D17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8db5b6348552fd8dd7bb7696ba76887c746a3ce9","datavalue":{"value":"W2065043813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383466$9F45CD45-C3FC-4274-B0AA-1BFB2A3D83DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43e9aa46f514627d17dc67c944756a1c66c4e56","datavalue":{"value":{"entity-type":"item","numeric-id":3755438,"id":"Q3755438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d77312a9c5de23829335f43aa0b1f70d268b95","datavalue":{"value":{"amount":"+0.6913502216339111","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":"Q1383466$C4B5BA9B-309E-475A-B35E-77A4B4A932D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6094f65bac2d8341c8f456b0fcfa3caffe604681","datavalue":{"value":{"entity-type":"item","numeric-id":2503271,"id":"Q2503271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518c195bddfa3ae2d48faf5aa411f1003396d8f8","datavalue":{"value":{"amount":"+0.689060389995575","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":"Q1383466$417DCCFC-3EA6-4BDF-82CB-FDB0E5153EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c904189641e1051786e40bc624c23d280314b9fa","datavalue":{"value":{"entity-type":"item","numeric-id":3768880,"id":"Q3768880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95da9c3544ac62fdf5ff07e8b3487e5343eb0ce","datavalue":{"value":{"amount":"+0.6880623698234558","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":"Q1383466$8249B3D6-DB79-43C7-874F-27D9184BF8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1e424aba3e6c7452efa950d2e4341573c2ffd5","datavalue":{"value":{"entity-type":"item","numeric-id":484121,"id":"Q484121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e09aede8f80b0f981a05ab94764ebfba647256","datavalue":{"value":{"amount":"+0.6863828301429749","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":"Q1383466$8B891834-D939-4FA7-BCD6-00EEA3ADDD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7784d22046388bd2371885b097349b042aad3b0c","datavalue":{"value":{"entity-type":"item","numeric-id":3149773,"id":"Q3149773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8b2a071b10c1232b3d200d2571c2028a617a12","datavalue":{"value":{"amount":"+0.6863471865653992","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":"Q1383466$5D4673C0-ADF7-4CAD-84AD-7F657A583D4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic logic as the implement of incremental model construction for natural language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_logic_as_the_implement_of_incremental_model_construction_for_natural_language"}}}}}