{"entities":{"Q3082203":{"pageid":3092918,"ns":120,"title":"Item:Q3082203","lastrevid":86437832,"modified":"2026-06-03T21:01:46Z","type":"item","id":"Q3082203","labels":{"en":{"language":"en","value":"DEDUCTIVE SYSTEMS IN COMMUTATIVE PRE-LOGICS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5863642"}},"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":"Q3082203$CEAF576F-3D56-468A-B0F9-12B0CD3ABE8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e76d6023e6db14aebd034b66e86a59378edae6d","datavalue":{"value":{"text":"DEDUCTIVE SYSTEMS IN COMMUTATIVE PRE-LOGICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3082203$AB575860-2280-4F1A-A598-BF3B0ED336AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b420f4b682806675041a9010c45b3362dd16b022","datavalue":{"value":"1217.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082203$F845CB79-BF82-443D-8C5F-0829BDED67B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3af39a90e1c5b69756d711940a00dbe443941829","datavalue":{"value":"10.5831/HMJ.2010.32.4.625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082203$9F884365-44FC-45DA-B5F3-8DF420948CB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c86dcc46fa3f3288181b9dfd9b97c71298558ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2883949,"id":"Q2883949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082203$03449675-6987-462D-9BA9-F3A9FDE92699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90023c4244a11a5a2f4eccfa3a5dfc8bc0001b06","datavalue":{"value":{"entity-type":"item","numeric-id":3082202,"id":"Q3082202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082203$DE545BB1-A5E7-409E-A7B3-3BC77AF2C7D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9b43113bc0968b84e80487a51fd0d6cd0660c3ea","datavalue":{"value":{"entity-type":"item","numeric-id":2788830,"id":"Q2788830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082203$44E9A244-A3F0-4EC7-A0D4-4BE7A9315E78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"791243a770867bf9a828ca3fa60256efae5a0523","datavalue":{"value":{"time":"+2011-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3082203$74E728ED-B6A1-45A8-9F4A-F05840FA6FD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a80868a12d27883fb2ea6dffbf3003792d8d27ba","datavalue":{"value":"http://www.mathnet.or.kr/mathnet/thesis_content.php?no=402776","type":"string"},"datatype":"url"},"type":"statement","id":"Q3082203$40650A26-E92B-4C54-B966-98D4036689FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082203$C8D19418-09E6-40E8-B60D-7CE0246194EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082203$BBA968F7-CB3D-4BCC-8B58-B58E9B21FCFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90fa5fdc2100e9a28da0c52ed9e7a587c393fdaf","datavalue":{"value":"5863642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082203$CDE70F38-BF81-4B36-8D42-3EB781FDE3DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c240b4dded7d4b97fbbf0018c9808f3830fca2d9","datavalue":{"value":"pre-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082203$CB33B1C5-E99A-436C-9C87-35F0DCB12D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082203$178DDF5C-5ACB-44BD-8089-BCF87FA6FC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86fa50d5f72e6202a64996e9fe0fc60bfaba7c4d","datavalue":{"value":"terminal section","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082203$6F66C9DA-2E43-4800-9F8A-BC11C2029823","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":"Q3082203$D7AF0914-E877-406C-9B46-C82A25F680BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8e6685274699de785075e51d32452c8fb2ef7f4","datavalue":{"value":"W2021962518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082203$756F8268-D947-47F5-822C-025BD099E402","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DEDUCTIVE SYSTEMS IN COMMUTATIVE PRE-LOGICS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DEDUCTIVE_SYSTEMS_IN_COMMUTATIVE_PRE-LOGICS"}}}}}