{"entities":{"Q2319976":{"pageid":2330719,"ns":120,"title":"Item:Q2319976","lastrevid":43877658,"modified":"2025-11-15T17:25:43Z","type":"item","id":"Q2319976","labels":{"en":{"language":"en","value":"Deduction normalization theorem for Sette's logic and its modifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7096707"}},"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":"Q2319976$269B49AD-8E31-4D7D-BA6F-D09637000584","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3d0b0c55cfafd902db0b664becc5a76df72b531","datavalue":{"value":{"text":"Deduction normalization theorem for Sette's logic and its modifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2319976$2A6B90E3-13E9-484E-953C-526BD83B5E11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8630e76113862853b5d90dcd89518a60897788da","datavalue":{"value":"1468.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319976$54B9CE7C-7CC8-4F1E-8E1B-79805BD9EFEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a35a4d656b70780949fdaabd77b18ee482605095","datavalue":{"value":"10.3103/S0027132219010054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319976$1C4A93EC-F360-4417-B1EA-FDF2CE40F56B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$B698FB13-DD13-4526-9EBD-28613E3357FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a464f6c7eab966071a88066cc0d05cf39328258e","datavalue":{"value":{"time":"+2019-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":"Q2319976$3E2ADA35-D1D0-44B9-96D9-E2E3817B819E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319976$F9B9D94A-4D94-4289-A3A1-14B0550D5E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319976$D5AD8B85-D2B9-4903-BA16-99C24CA22DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319976$FF0AF6C2-BB98-4E92-85F6-B288C3837F60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"047ccbb8c84e05070d29c8275f05c16196348e38","datavalue":{"value":"7096707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319976$77EF0CD6-D2DA-450D-8BD9-01283C241658","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"669cdb901f5adc2391e652d6dfa8ffc64eb0addc","datavalue":{"value":{"entity-type":"item","numeric-id":1689567,"id":"Q1689567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$C6CA8DC4-76C6-44F2-9ECA-1863639BD86D","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":"Q2319976$4D17C755-D86F-4578-9BBA-968B04161DD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"644a1ebb45e028cc30ab54ad27633d2216f1c3cc","datavalue":{"value":{"entity-type":"item","numeric-id":3419671,"id":"Q3419671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$F6FDBB97-E7EF-41A7-8872-1B059E330BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89ba6357da96927365c7ee583a2b5de1b7306cd3","datavalue":{"value":{"entity-type":"item","numeric-id":1896760,"id":"Q1896760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$D67DB362-300E-459A-A852-94CB08B161ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d49981ff2433e3a55aaa16b7a34552cb561881b","datavalue":{"value":{"entity-type":"item","numeric-id":4683207,"id":"Q4683207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$C3FD36EA-D32A-4802-9021-EE623582E7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b1fed477ac006ae57516dbfcd731bd6648663e","datavalue":{"value":{"entity-type":"item","numeric-id":4777260,"id":"Q4777260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$B986388D-DA16-4169-B6D1-2167C57BFA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3a92781638289e36926c03c49a66a56204cf18","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$9AD3655F-FF03-4A2E-903B-46190224CE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fc03544c0926733ac82390b8728edb5d6216c4","datavalue":{"value":{"entity-type":"item","numeric-id":4440793,"id":"Q4440793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$068DC295-3B39-4CDF-B9E5-C99455EFDF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"000f651f6382cdbf14665b995d8c1efe328c08dd","datavalue":{"value":{"entity-type":"item","numeric-id":3606211,"id":"Q3606211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$0FAB422D-695D-45EF-86ED-847480B01D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca78335e7d64e072ca542079ca2fa130778e237","datavalue":{"value":{"entity-type":"item","numeric-id":4750621,"id":"Q4750621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$3AA5C400-70CC-4C32-BFFB-124F6F0433DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9e851793d822f088535dad2f81de808e85b600","datavalue":{"value":{"entity-type":"item","numeric-id":3149170,"id":"Q3149170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$81B4B5C3-1DEB-4DBC-AC5F-3FE38466E07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e2e1ea5deff58196057ba3bd170a5916688977","datavalue":{"value":{"entity-type":"item","numeric-id":4699336,"id":"Q4699336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$FC8CC348-E5D3-4B44-ABC9-C12DC181CF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab6dfc16a4cc8e4e3575699ec94ec7ff320dece5","datavalue":{"value":{"entity-type":"item","numeric-id":2987739,"id":"Q2987739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$74DE97F0-B0A7-4105-9945-2655B17F0736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b92fae340605bb0d0b8bf6aacc4b23b4f68322","datavalue":{"value":{"entity-type":"item","numeric-id":2811656,"id":"Q2811656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$EE5548C3-4548-4FFB-9A21-746C62463B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$3DB2E479-03B8-4C69-B160-237819DA67D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad285cd69740c93bb69caed98345494199ba5a7","datavalue":{"value":{"entity-type":"item","numeric-id":4683206,"id":"Q4683206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$D31E9C26-69A1-4234-9688-9B4DB562B44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641c1c2b5c76b3d5e1e8ec3130a9df9d2c0fa3fd","datavalue":{"value":{"entity-type":"item","numeric-id":4683216,"id":"Q4683216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$5A143A40-43EA-4EBC-9F67-A1BBB16F284C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"becc9c248745df950c2cdcf7bbc103d42e9af3ff","datavalue":{"value":{"entity-type":"item","numeric-id":1689568,"id":"Q1689568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$CA8D15AA-E1C5-4F5A-8BD4-E4E57C1A8E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f812c001460e89bf334625f35f1a7871ee6b37","datavalue":{"value":{"entity-type":"item","numeric-id":2403575,"id":"Q2403575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$29E347CE-64BF-401F-B7DF-EF8AC1835236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34921cf354b3eaf4265794d2ab8f9f2fa174508a","datavalue":{"value":{"entity-type":"item","numeric-id":1647261,"id":"Q1647261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$E3A604D9-EC5A-4B86-88FA-FC603F46EF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b2deb022bff66d798fc31c4ceea93ea53ea604","datavalue":{"value":{"entity-type":"item","numeric-id":1607223,"id":"Q1607223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$9204099D-B5C7-434A-ADAF-60CA81487949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6baf185b0f9f31d195844d6e2371ab310c19a9","datavalue":{"value":{"entity-type":"item","numeric-id":4899968,"id":"Q4899968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$9E1FB47E-C966-45CE-98EF-497856B3DD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319976$39203E2B-88EF-4743-8FEA-9D4A57A40EFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16f1fbe0e07f75fce10af8e1461588c97b71c305","datavalue":{"value":"https://doi.org/10.3103/s0027132219010054","type":"string"},"datatype":"url"},"type":"statement","id":"Q2319976$C69CF73A-273E-4540-A9E4-3D7FE9AF43F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b315f3060d78aa87d868c069fe273d5401ac3536","datavalue":{"value":"W2941232915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319976$8916236A-DF56-46DC-9580-0D8FAC5F60D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2319976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2319976"}}}}}