{"entities":{"Q1383993":{"pageid":1394733,"ns":120,"title":"Item:Q1383993","lastrevid":68767125,"modified":"2026-04-13T01:56:16Z","type":"item","id":"Q1383993","labels":{"en":{"language":"en","value":"Shortest single axioms for the equivalential calculus with CD and RCD"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1139819"}},"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":"Q1383993$221527B9-C4DA-4E91-8266-2F8170CC4AB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85170a4768cafd0fa84e9339ed4ba7682e8e6988","datavalue":{"value":{"text":"Shortest single axioms for the equivalential calculus with CD and RCD","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383993$80CC2716-D9CF-4DF9-BBF2-9AC5746D77FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b45d086b7315237937b5ef61c33d2e9f0d76555","datavalue":{"value":"0893.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383993$5C9D920F-0C2E-4961-A8FA-3692D67F6956","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2335f03ea224af4aa466b86c4a33e1239be345d6","datavalue":{"value":"10.1023/A:1005731217123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383993$BB2CD09D-E1A3-4A14-9698-7FEE80BE773A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a5b433e8e9832e9d4fe9f79148aa147bd3069a","datavalue":{"value":{"entity-type":"item","numeric-id":1383992,"id":"Q1383992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383993$17679210-63D8-46B3-8C84-A0C13B254E65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383993$F1F742F0-0910-4B3B-A7F0-CCB3DF0F6DF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72a1a598913095dde79e21dbf23a519334c405da","datavalue":{"value":{"time":"+1998-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383993$1983EC06-FAEA-4B26-AD27-851B16A56EDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383993$127A394A-35F7-4D84-A510-5E10F9545B9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5fb8a0bfd73b1518b8b025312a5f32f705a83da","datavalue":{"value":"1139819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383993$99856EDD-86CB-4965-B511-4302FB1522D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383993$D24553FB-6A83-455F-8162-4DDF8580074D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383993$290BA150-7D4E-41FE-81F2-A8E8712A2908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f5c5b64328df72cd697158855399e29d02d3b2e","datavalue":{"value":"MACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383993$E206BFBE-0BFA-41D7-990A-157236C2794F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383993$B6E72E4D-7729-486B-8FEE-5217E019EE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383993$0DF9F468-6C2F-44D2-B68A-C5E787B82399","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":"Q1383993$D223C776-6A6C-4093-9967-162B6986CD82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64a2b13ccd81908d28ebc872f16886d0ad760d5b","datavalue":{"value":"https://doi.org/10.1023/a:1005731217123","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383993$1F845712-92C5-4977-BB2D-752E2D3F30A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4d80e2b566610e5e3ff845379621e004d2ca8da","datavalue":{"value":"W1594239767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383993$B574B275-38BE-46B3-96B2-A628D49CF4F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e16e423d520bb6c4a9254a8f3468a6247a48b7e","datavalue":{"value":{"entity-type":"item","numeric-id":759491,"id":"Q759491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851e94e8bee7ff849955e37ed7498a398b9ee13f","datavalue":{"value":{"amount":"+0.8285746574401855","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":"Q1383993$728D171E-07D9-430E-B4E3-D8E94E02A5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e794b5ce335ce875546573ece0830fd42f4f6407","datavalue":{"value":{"entity-type":"item","numeric-id":1869616,"id":"Q1869616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60551c3d14b948b1afacc92a693790cf966861d","datavalue":{"value":{"amount":"+0.7887700200080872","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":"Q1383993$BCE72121-1F08-42A6-A1CF-3325A0D67438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55bef6943e56920510c26e520ab856ad845313dd","datavalue":{"value":{"entity-type":"item","numeric-id":1904397,"id":"Q1904397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e847e676a06ba8cbfb58d06da867e3d9544b1b","datavalue":{"value":{"amount":"+0.7785869240760803","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":"Q1383993$5D4DE453-E237-48F6-B443-F09E3A1D5CEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Shortest single axioms for the equivalential calculus with CD and RCD","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Shortest_single_axioms_for_the_equivalential_calculus_with_CD_and_RCD"}}}}}