{"entities":{"Q1806134":{"pageid":1816876,"ns":120,"title":"Item:Q1806134","lastrevid":69184032,"modified":"2026-04-13T05:19:51Z","type":"item","id":"Q1806134","labels":{"en":{"language":"en","value":"E3: A logic for reasoning equationally in the presence of partiality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1356328"}},"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":"Q1806134$9E2BDD4B-6FB1-44F1-9BC7-171198E38A44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"450f4509aa0d628444a7c8d2c7c64ff350b827fb","datavalue":{"value":{"text":"E3: A logic for reasoning equationally in the presence of partiality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1806134$60757C86-51E2-4AD6-BB00-CF916583269C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a544391ee2e8531a14b34b4216f4e34cb654b503","datavalue":{"value":"0939.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806134$B50E4E93-6DD8-4AC4-AC7B-59C1A7971119","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9c42518f0750733a2edab2da82f22c1ff476199","datavalue":{"value":"10.1016/S0167-6423(98)00019-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806134$8468583C-1AD4-4C47-9A59-D8161228633F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb891ece4818441cde8911c125cbd2b830b8c8e","datavalue":{"value":{"entity-type":"item","numeric-id":199021,"id":"Q199021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1806134$34B3133B-CC5D-4C2F-9003-A6286A390CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"268e3f8d458f6fe8ad377d2f6241c33ca0647f22","datavalue":{"value":{"entity-type":"item","numeric-id":199022,"id":"Q199022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1806134$4D26E09C-69FB-49A3-8D8E-8C56AA57C621","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1806134$0A2E5C06-87BF-4EEF-B787-5D792AF42081","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a4d6512efa0fa89e17e38eada884c6f32c9ae33","datavalue":{"value":{"time":"+1999-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1806134$710AC30A-FA22-4926-B017-619C31056C70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806134$1EEB7FA1-83D4-46A6-8050-642E74755905","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fdc0187a0b71b50b5ecbb39f6a93ebafdc0a64c","datavalue":{"value":"1356328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806134$97BC6EC1-9D8E-4278-8CB8-E93053F4A8AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"075e8431ef99ef8cd2b901984d743c22ceb697fe","datavalue":{"value":"partial expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1806134$5E938091-6AFB-4436-8BD3-9A6C33D8BB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1806134$93480C54-4D69-4E1E-9BD2-4B7950FBCB0E","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":"Q1806134$3B143596-8C9D-4EB9-B4A7-0805236852C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4e2643c8d219f6a262b2a94612ddef7a7ab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":1261311,"id":"Q1261311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821041175f8f0755ac2d75485a7d9032aa63cc6e","datavalue":{"value":{"amount":"+0.803130030632019","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":"Q1806134$89110736-208B-494A-BF5E-AB04C5BE8954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e0626ad621832850e5d217bae1fe537e13df7a","datavalue":{"value":{"entity-type":"item","numeric-id":3835445,"id":"Q3835445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67eeabba7109482d36dbd4481860464f75628f13","datavalue":{"value":{"amount":"+0.7980153560638428","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":"Q1806134$A1017E7B-DFAB-4E5A-958F-C3D84F4EB9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa783f8e2a3db598a7a75f1cad6355aae76226c1","datavalue":{"value":{"entity-type":"item","numeric-id":3032234,"id":"Q3032234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13ac98cf2d511d171a7b4c6ceb2cd293393d922","datavalue":{"value":{"amount":"+0.7924005389213562","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":"Q1806134$2DC5EAD3-C531-4453-89C4-59F4C0D47510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d3a255266f36191915db130af5af18c5f18eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1271855,"id":"Q1271855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677a56328585f94a39f6605ac3a2be11ac8cbcc6","datavalue":{"value":{"amount":"+0.7882963418960571","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":"Q1806134$2A82C8EF-817F-43B9-95B0-190A43CD51EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"E3: A logic for reasoning equationally in the presence of partiality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/E3:_A_logic_for_reasoning_equationally_in_the_presence_of_partiality"}}}}}