{"entities":{"Q3395145":{"pageid":3405848,"ns":120,"title":"Item:Q3395145","lastrevid":50751356,"modified":"2026-01-15T01:09:46Z","type":"item","id":"Q3395145","labels":{"en":{"language":"en","value":"AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597927"}},"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":"Q3395145$F4DDD3BD-5FA1-4E03-89D4-BB392DF3AA6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ed9d70063421a9b47d452f901e22d78d8834c35","datavalue":{"value":{"text":"AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395145$01A5BFA8-2F3A-460B-A2A9-EE1C73FBF3E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa5884b01ea399ce2126a906fa565268f538c026","datavalue":{"value":"1191.68403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395145$3DA11993-BC32-49B8-BFEE-8320471C771B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c518f0b28d2d6e465c1f7d2b09d4ec56bc80797","datavalue":{"value":"10.1142/S0129054109006851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395145$958ADEA9-0A6C-4878-8018-3C5A7154E4E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b20f6ece5fa5cc40707815445e71b70bca478f","datavalue":{"value":{"entity-type":"item","numeric-id":671673,"id":"Q671673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$39976C77-3F1B-445D-B653-1999AD1FE6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$E05E7CF3-0FFE-4543-9F8D-AE27C1852667","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$30C1BAD6-4BFA-4E9F-9A42-408CB904FFB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a50fecf8675e1e3b5d160300ecbc650fba5c02aa","datavalue":{"value":{"time":"+2009-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395145$0649CECB-8DA2-439F-950E-1BDB8D165832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395145$5D9F289C-41C3-47EF-884B-0EC4FC753682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395145$EA0AFA51-F88C-4FF4-9E16-13D80447759D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f97639e439c5d710c6cafe4e7312b1d19f12380e","datavalue":{"value":"5597927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395145$38C162B4-3EEB-4F5B-A087-588679812C3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395145$E7AD812A-90E8-41EA-978A-6FAB77BF8FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395145$20DEFFB2-AAE7-49F0-9424-25E466B507D4","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":"Q3395145$BC14A797-575B-4121-B151-99D68531EA58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"293747add7b6babd84264d0a6ac07c6ca700ec19","datavalue":{"value":{"entity-type":"item","numeric-id":685416,"id":"Q685416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$64ECABAD-2D45-42AA-BC3C-44FF9AD47800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$0C890A5A-1E45-400E-825E-49819688ED15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$96DD5F80-3ECD-4BED-97DB-175A9BAE7DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$E2B2FBBF-CFFD-4304-AC3D-4CA21D4DF45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$9134EEEA-38AE-4E43-B90F-6014D9127715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a592cba5bd50a769a8b95145033ff13a570cf73","datavalue":{"value":{"entity-type":"item","numeric-id":5573396,"id":"Q5573396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$7B0889C7-0CFE-490B-8D41-83708BCF261A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394d3beb4a9fece0dbe9b5435363e4067e55d788","datavalue":{"value":{"entity-type":"item","numeric-id":1892893,"id":"Q1892893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$BEA750D4-A569-4436-9DA6-BC9F8E74245B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$FBAF6F32-0B47-4E7D-B2A7-9284A07E5DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1e092eb099a32d4d756ee9e4c56322cfbee0af","datavalue":{"value":{"entity-type":"item","numeric-id":3873568,"id":"Q3873568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395145$19665FDE-6841-457E-905A-69581F620793","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427e6c543004046348acd3ee3b0da1e40f46d9f0","datavalue":{"value":{"entity-type":"item","numeric-id":3602799,"id":"Q3602799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15998180dcdd343a7cca1939f859d1cd194e430a","datavalue":{"value":{"amount":"+0.9959251880645752","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":"Q3395145$A000E09E-64EF-4173-8ACC-D8B622285849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793c0d3f6db2b0e326a59803b219cdd305480f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2b2990c6109369d1ef1252df924c91072c6611","datavalue":{"value":{"amount":"+0.7700019478797913","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":"Q3395145$1C18DE36-C943-4763-A323-58B285173747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c2ca313a6cb60ede3bb494700554a7ac10a51","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491c7a5dca126f4b73592e614df574d52b0872a8","datavalue":{"value":{"amount":"+0.7204145193099976","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":"Q3395145$090E362B-6971-4BCB-9175-FD9D561A64CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cd0d021e3757dc40757116e7fc6f36ca798b43","datavalue":{"value":{"entity-type":"item","numeric-id":3525645,"id":"Q3525645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f924e1015da6f0b508cbfe29344b95434823200","datavalue":{"value":{"amount":"+0.7143215537071228","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":"Q3395145$3A2C5986-D90C-4CE1-9DAD-FB5C30C277B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c1ef5ef3158cedbd37b3808d4515703dd5aa0c","datavalue":{"value":{"entity-type":"item","numeric-id":2946604,"id":"Q2946604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721bbf8bafa18e29ce189d385adfbd40cf0db5bf","datavalue":{"value":{"amount":"+0.702637255191803","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":"Q3395145$1D428A7B-0BBE-4742-A2D5-7BAD4F3C6208","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395145"}}}}}