{"entities":{"Q4815848":{"pageid":6845428,"ns":120,"title":"Item:Q4815848","lastrevid":74882094,"modified":"2026-04-15T00:49:08Z","type":"item","id":"Q4815848","labels":{"en":{"language":"en","value":"An intuitionistic logic with probabilistic operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2099368"}},"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":"Q4815848$8B39F381-3ABB-49A7-96B6-0F4921160581","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0d050c634800d89ec9966bdf09774849b071975","datavalue":{"value":{"text":"An intuitionistic logic with probabilistic operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4815848$92DD1689-AE05-4D6C-9BAD-CD73504FC86C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37270396f2eed4fc3e3a2ec53073b794688f4ad9","datavalue":{"value":"1048.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815848$A9706D2A-E81C-4959-9834-91078381E73F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"440983dd4909c858f3465cdeed584a3790815390","datavalue":{"value":"10.2298/PIM0373031M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815848$D5A5044B-56BD-42F7-A7CE-8BC99ABF908C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01049baa7cb1224f09687f350e395a4253a96763","datavalue":{"value":{"entity-type":"item","numeric-id":991002,"id":"Q991002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815848$5E9E8EC5-B934-4F7B-9239-C60382201EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d820429f3140e7d009f4438f62b787bd7ca023b4","datavalue":{"value":{"entity-type":"item","numeric-id":465582,"id":"Q465582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815848$A887CD92-5C79-4C5D-9608-82980EC9C94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815848$0E433900-E1E5-4103-ADC4-68380FFB1B95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"706d1fa54600330e8ce66413dad50fd3235f85ff","datavalue":{"value":{"entity-type":"item","numeric-id":2914008,"id":"Q2914008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815848$4BA557DD-84A9-4916-8342-06CF6B9B406B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2131ab0fa6a717351ae1e3ad21854c6ca6be241","datavalue":{"value":{"time":"+2004-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4815848$560C1A8D-F801-4776-9F0E-9224AE1E0A8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a2133df485f5dfe8a2c65c9ecf4593117d5de47","datavalue":{"value":"https://eudml.org/doc/123814","type":"string"},"datatype":"url"},"type":"statement","id":"Q4815848$A0DDA527-5502-41E9-8460-E118674AEC6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815848$C0C9D60B-4C3F-4258-A3DE-60C3A1D3D4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815848$5B707B5E-9C5B-4A3F-A249-9C7FC9C0DD19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c300ea1501adaa7ebaf8ea5c87ac85b958d69e7","datavalue":{"value":"2099368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815848$1C3289C8-1935-4CBA-9EC7-004F38818D77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76fa85185c0afbb35779daa1882fd371465af954","datavalue":{"value":"propositional probabilistic intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815848$E519B07E-DB27-4709-BF27-C8C6D17A7373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cac4e485a7f6768023dbcd98089e84860744a15","datavalue":{"value":"probabilistic Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815848$9737C6E0-F1BF-4942-8FDA-4D52C579E526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815848$1DB5D069-487E-4ABD-A433-DFE64DE51D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815848$653E5395-9B59-4D1C-A192-76B194C431C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815848$E300B36D-767B-4995-B94A-680ABD7CFF10","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":"Q4815848$6889DC40-7260-4467-869E-C1039B08820E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9ee8635b1a779eacc27c3a256bb3f242052dc4d","datavalue":{"value":"W2055987169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815848$96BC64A9-8163-4F7A-8FAA-4248E0294C7A","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"0efa8cdb25e3e4318a67bb216893170c315afc12","datavalue":{"value":"bafkreigaytxrcg2fqpqzjsyzjansjhy53zmxys6ld3axn5dwdjx45kguxm","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815848$E2BFD62A-59AE-469E-8325-4BA2DC3EFE4B","rank":"normal"}],"P1643":[{"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":"ec5097af535c53659418f475efc6f2a41ccd63aa","datavalue":{"value":{"amount":"+0.9382337331771852","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":"Q4815848$E5CA8BA2-DD0B-4470-8910-269C2350BBEC","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":"2efd9ea8df2e5727bab745ffbc9de7393c12f747","datavalue":{"value":{"amount":"+0.9381070137023926","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":"Q4815848$3070201F-2D24-4FAC-B95A-7B77B55328EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028010d3e92320c43e378c5447bea4997388efa8","datavalue":{"value":{"entity-type":"item","numeric-id":4860648,"id":"Q4860648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f510ec18f2b99a4c2ffc77ab582dcd32704dd4","datavalue":{"value":{"amount":"+0.934249222278595","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":"Q4815848$5F90E0E5-72B5-4E70-BE19-6ABC60F9CAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9cb38fc76b1857dc56b5ace8e4ae702a370485","datavalue":{"value":{"entity-type":"item","numeric-id":3103981,"id":"Q3103981"},"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":"Q4815848$62EAB84F-677F-487D-A2A4-EBDE2A314F87","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":"37a969ced41416d4d45c38277e7a7bb7b1a91b71","datavalue":{"value":{"amount":"+0.8425637483596802","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":"Q4815848$C343EF02-1F89-4EA8-AB34-00AC5A425BA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intuitionistic logic with probabilistic operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_intuitionistic_logic_with_probabilistic_operators"}}}}}