{"entities":{"Q2793522":{"pageid":2804260,"ns":120,"title":"Item:Q2793522","lastrevid":42024937,"modified":"2025-05-22T17:46:28Z","type":"item","id":"Q2793522","labels":{"en":{"language":"en","value":"The operation \\(\\otimes\\) and deductive theorem in the formal deductive system \\(\\mathcal L\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6555939"}},"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":"Q2793522$334A8A9C-5154-4379-8C06-05884F6DE1FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b101e5fd17cfbe40e316a6d1680c76d531b7c91","datavalue":{"value":"1333.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2793522$9F1A127C-136E-4490-BA7D-380F32139E52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81fedf37206b9ac5cd89bd0ba059fa8d8efa2ef6","datavalue":{"value":{"entity-type":"item","numeric-id":412071,"id":"Q412071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2793522$A07B0951-6F60-47EC-AC9E-8C413EA10625","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45aff24ffde86b5e3129aadc60f615f08b3e2600","datavalue":{"value":{"time":"+2016-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2793522$74345A08-B159-435D-A434-596020A19D9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2793522$F446DB93-299F-4D76-AF85-B61338587898","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0a639e8029b0bd9d75cecf84f5cdfecfb525e79","datavalue":{"value":"6555939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2793522$D51D1941-8858-4106-A582-D7F8B32BF4BF","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":"Q2793522$3DF1176B-4E0F-4778-B2A0-20A435DDB83C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00760212e947124f74a3aacc0aeb1efe1ce84e1d","datavalue":{"value":{"text":"The operation \\(\\otimes\\) and deductive theorem in the formal deductive system \\(\\mathcal L\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2793522$84DDE48F-CF4A-446B-8A1A-3DB7BD6D6643","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b3f5e1c55168c02d903066ccf6adaa4707fb37e","datavalue":{"value":{"entity-type":"item","numeric-id":6770951,"id":"Q6770951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2793522$C69840C7-DCEC-4D9F-A864-CE22A0178CC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2793522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2793522"}}}}}