{"entities":{"Q4228078":{"pageid":6257679,"ns":120,"title":"Item:Q4228078","lastrevid":46620372,"modified":"2025-12-25T06:24:48Z","type":"item","id":"Q4228078","labels":{"en":{"language":"en","value":"Reasoning about set constraints applied to tractable inference in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1248015"}},"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":"Q4228078$450D0A60-2183-44B1-83D4-AE00BF6557ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5753033ce890ba35efd33baca7e94b0693adadcf","datavalue":{"value":{"text":"Reasoning about set constraints applied to tractable inference in intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4228078$5A932D6D-AA61-41CD-ACBA-135280A7168C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06003ea5eb61bf8b49fb91761d16215fd208b62d","datavalue":{"value":"0913.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228078$0A009BB3-C47E-4935-A0B5-0845F53E676E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c66f0700585c178b6d2508945b61ca97fb02eb9d","datavalue":{"value":{"entity-type":"item","numeric-id":672136,"id":"Q672136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4228078$65FD1634-C4B0-41ED-A292-F34B8935FEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd3e34874773bfa76c6e79803e08ccc412dc7bf","datavalue":{"value":{"entity-type":"item","numeric-id":269510,"id":"Q269510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4228078$FEC47658-935D-4D7A-AF25-EE52AADE1F22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fba0cf8f85f7b1ad95f7e924756131fda6f2c74","datavalue":{"value":{"time":"+1999-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4228078$400089C9-7437-4476-B31E-64209BC1CA8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cc232c37b09e332a2fdf2de24d4a86fb746abfa","datavalue":{"value":"https://semanticscholar.org/paper/afb046572dc4f758f5ccf7879c54b4e3b5e9e4c3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4228078$C3B65CF7-03AD-4669-A51C-6841D8D40BAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228078$9C3BD64F-D884-4898-A7E7-2C41DF2795EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228078$753F55A5-5973-4452-B730-5B49447C55FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228078$006F1F42-92AD-487A-A178-8B9F797BF9FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c10311dd9dc74a1d51263676b364124554a2d38","datavalue":{"value":"1248015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228078$449BB144-446C-427C-A12B-D9607093FE19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4228078$66497CAF-A262-4692-BE41-A6DED787B8A0","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":"Q4228078$5BF1AB91-5E01-4B51-B27E-E87D0072494A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33d39c14e65a2a800e56a2709fce50e6f11b3a97","datavalue":{"value":"W2055967649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228078$7EE5DC42-3BE1-4347-8E81-EF1D8D8260AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c048877774f4cdfe275a801b3bb2df3a70810b35","datavalue":{"value":"10.1093/LOGCOM/8.6.855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228078$0F42E9D4-C528-4734-B6BE-D3D2BEAFCDB4","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":"Q4228078$952C2C2E-1114-4C61-904B-D975E97E1E1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46a7178aded797cd1ddb733278339ed18d3f6ff","datavalue":{"value":{"entity-type":"item","numeric-id":4899135,"id":"Q4899135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3447854bb8126c0e7864ec827a34a85faa55de87","datavalue":{"value":{"amount":"+0.7917013168334961","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":"Q4228078$BED69A9B-8F0B-479D-B390-DE68434EC236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e53759432799cbc7db97c1949401fc9d29504f","datavalue":{"value":{"entity-type":"item","numeric-id":4645245,"id":"Q4645245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74b90bc6b3a8f5fe64a7841f240cbf8584dfeb3","datavalue":{"value":{"amount":"+0.7569061517715454","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":"Q4228078$21546C61-D94A-4222-8BF3-89682B3DC1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3d36386d25301994c9d8622beead935a6ca46c","datavalue":{"value":{"entity-type":"item","numeric-id":5758056,"id":"Q5758056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36234501105f8dd8226fd855672dbef3a57abee","datavalue":{"value":{"amount":"+0.7485113739967346","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":"Q4228078$A937ECEF-9433-4755-9A63-53144F0FF4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4472cc91752150ef620a59d04c5248854552277","datavalue":{"value":{"entity-type":"item","numeric-id":5286164,"id":"Q5286164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4301b403d0216ac9792a7bcf07cc23ceae288e33","datavalue":{"value":{"amount":"+0.7431624531745911","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":"Q4228078$E1C5B932-DDAF-4C59-BB56-EE66A98B58B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4228078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4228078"}}}}}