{"entities":{"Q3103981":{"pageid":3114697,"ns":120,"title":"Item:Q3103981","lastrevid":86224271,"modified":"2026-06-03T16:44:23Z","type":"item","id":"Q3103981","labels":{"en":{"language":"en","value":"Probabilistic models for intuitionistic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5989565"}},"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":"Q3103981$B2F17BCA-BAB6-4909-A96A-F6F0B0B3FD8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2337c18178e1fb79a0b859f85b98e14c29c7fe85","datavalue":{"value":{"text":"Probabilistic models for intuitionistic predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3103981$F0057067-5BE6-4506-A720-BD00035928F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f69c9f0fdbe57c64cba62b7998f2d80e16944b6","datavalue":{"value":"1250.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103981$93050C1A-41A9-4D1E-A4E8-184AB8BED225","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e7c33876f49da64580f033b95b71f550b669c2d","datavalue":{"value":{"time":"+2011-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3103981$E1566314-0391-467E-AAA1-3E0BD8120C9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103981$D2AF614A-74BA-458F-A9A9-1ADAB271517C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103981$63E4B80E-2973-4942-814B-108A40833510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103981$BB893793-742E-4183-9731-EC558A3CBD29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"271d5f5b050c7c5503f7535fbc76fd90cab77836","datavalue":{"value":"5989565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103981$BC69DB99-C946-4876-98D1-479B2F4794CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103981$69EF391D-A3AD-401C-BBC2-A3D09750C0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f3bbe80399e04a3970bd9226367f8d6425edbd","datavalue":{"value":"intuitionistic probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103981$1F246947-47FA-426E-A0F9-F42C922C3F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cf97dac4fbf0afd2ff7bbff0d7227839b85951b","datavalue":{"value":"Gaifman condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103981$6671B9B1-B034-490B-B61C-F38A5C339A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103981$12BCF573-68AD-4A02-A9D7-0E116B8C9F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1682687934024ae1b3dccad5c21cd6863d125d6f","datavalue":{"value":"weak probabilistic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103981$052B5209-CA35-4900-BD4B-256AD1D10C0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ccb0bfd6631a1549ad4fd4e04d60519169799c2","datavalue":{"value":{"entity-type":"item","numeric-id":377476,"id":"Q377476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103981$3676F027-5358-4AE5-955F-1B1DAE471378","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":"Q3103981$7230370C-A46F-4B7B-B567-BD6150D7E0C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9372909ccb92a5e8f085f58aec86896b8f50761","datavalue":{"value":"https://doi.org/10.1093/logcom/exq033","type":"string"},"datatype":"url"},"type":"statement","id":"Q3103981$E58CE19B-4F2F-4A22-A895-B85EACED4AC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d575c8abf0914349f490c4a2cd34fad635ea15f","datavalue":{"value":"W2042568299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103981$D9834621-2AF6-4EA8-8344-B27C287ED8F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed92374c8b92ada052cce9359c3b3dd3b60e3861","datavalue":{"value":"10.1093/LOGCOM/EXQ033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103981$B6276F32-A38F-4D82-95F2-F604F4D38B2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103981$C1992794-8D92-4166-874D-C6420FF9B792","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"514b5d1ed33c0f5d47ddd28df485b18549457543","datavalue":{"value":{"entity-type":"item","numeric-id":4815848,"id":"Q4815848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14b418e830d1e62f5bf140b6ac6b0ba4af1c7a4","datavalue":{"value":{"amount":"+0.8600450754165649","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":"Q3103981$EB5DA143-513B-45BE-9744-FAAD3FF37AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"720e89ea7fc167eae199dc0f1074e390ce242d50","datavalue":{"value":{"entity-type":"item","numeric-id":4419271,"id":"Q4419271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0d1af4f66099a29866afdccf7dc926f25817da","datavalue":{"value":{"amount":"+0.8553817272186279","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":"Q3103981$ECA4432B-8FD4-4D48-B47C-F2B3059AC030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429d1a1eb9c23b73576366f5f1db85359fdd0368","datavalue":{"value":{"entity-type":"item","numeric-id":6094169,"id":"Q6094169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570360bf43403a2d481a3291cdd358ee294c791d","datavalue":{"value":{"amount":"+0.8169249296188354","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":"Q3103981$192927C0-3ACB-4343-8DD9-5C7884A1AE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb03b5be58d344965a1ad6fd2970cae0f530fd1f","datavalue":{"value":{"entity-type":"item","numeric-id":5413340,"id":"Q5413340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d793270512bd55903df51da6c38b81960845c106","datavalue":{"value":{"amount":"+0.8152825832366943","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":"Q3103981$EC80DBF0-3DCE-42E5-AF1E-CF3447F4E8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14962a343d387b7a25286c7a94d7b3ad64a8d90","datavalue":{"value":{"entity-type":"item","numeric-id":4366133,"id":"Q4366133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e998a453f7601db53b42e113d793cb4b0b0d0c9f","datavalue":{"value":{"amount":"+0.813351571559906","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":"Q3103981$B7B61766-F0BE-46EC-8461-D3D7C3F962F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic models for intuitionistic predicate logic","badges":[]}}}}}