{"entities":{"Q3585998":{"pageid":5615902,"ns":120,"title":"Item:Q3585998","lastrevid":51070673,"modified":"2026-01-16T12:19:02Z","type":"item","id":"Q3585998","labels":{"en":{"language":"en","value":"Strict canonical constructive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779200"}},"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":"Q3585998$2622BAE5-9531-43FA-B465-54CBB378E1C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50157c6bac64e00b57be83d7ce3620f73fc80887","datavalue":{"value":{"text":"Strict Canonical Constructive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585998$8A2918A3-179F-45D9-9E5E-559462439A21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5bfcaf84f3d28b346a2165b95a92fcfa95bcbd0","datavalue":{"value":"1287.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585998$08A7E826-EC18-4D41-A52B-F521866C110A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a736420dd90eb963d6064c89e44732e7b98a01a","datavalue":{"value":"10.1007/978-3-642-15025-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585998$44FB1778-A275-4E2C-844D-95EE8B8FE123","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$73F30E03-8734-44FF-A5F5-9C1073505115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$DF7E0138-3535-4509-B627-71C758F2C3DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd169c7d233759e4f71b10b3d5a636c6803d4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3585994,"id":"Q3585994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$F8943D2D-72E7-4F13-946F-60812F2AFF58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585998$3B70D68B-8AE8-4CA3-BED9-ABC692AF9872","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585998$99911CE8-1402-4B28-97B8-60F662DA5C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585998$86EAA5FE-D56E-4919-9244-9C199B997E7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c4f1d5934f8926462a3a1bb06604e80e7da06fa","datavalue":{"value":"5779200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585998$B70A926C-8DB7-48EF-A8FC-E8EF5A9233F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585998$A79D3E7F-B492-4C7D-931C-6A70BABD94C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585998$49B06FD6-8E15-4B1C-A79F-C9FE9416F01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585998$BAE982AB-4B53-44DC-853B-2E761D7D25B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5457baa26552f25d57d3abd6dcc0d62befb3b0ee","datavalue":{"value":"nondeterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585998$36CAC274-DFAC-4544-8CD3-BFF42BA96D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585998$EC2574DD-6C50-48D1-AEA1-F530CB25147E","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":"Q3585998$A0EE9208-AD28-46A9-ADE8-6CDACD8A7A65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae7c6d7aa46110067b4c7a02e11f6ef7c6518be8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15025-8_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585998$86E4DD0D-F8D7-492F-88D2-94FC060FCC54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1acf2b31baa9d3d0f5a8d7499bbc8f95fcc65546","datavalue":{"value":"W2155262709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585998$70F4E455-2E8B-4132-A100-1D3E090AB884","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$38C1081B-76B3-4C21-B0B3-68BAD7645E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a8a36327ea86df5522203c0e0180d9b3bcc5cb","datavalue":{"value":{"entity-type":"item","numeric-id":1311413,"id":"Q1311413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$67616083-B5A4-4429-B26B-08138AC71309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf92dfbbcfacba489881178d89ab3b4aa072827","datavalue":{"value":{"entity-type":"item","numeric-id":813081,"id":"Q813081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$9520B248-A99C-4640-AAF5-18F710A59F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9067ec1a522c95d3604f66906937cd7f864f2782","datavalue":{"value":{"entity-type":"item","numeric-id":3112289,"id":"Q3112289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$56AEFABC-0826-45B1-AAC2-95F1026BF8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6fe0dcc8d657ab8cd7ace48a634be3f131663f","datavalue":{"value":{"entity-type":"item","numeric-id":3648721,"id":"Q3648721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$72E4DC23-0BDF-474F-94BB-ABF948138045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$C6DEDBE4-1B2A-4036-A9EC-3DC762DCB8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ae24754f75a802a2da40737e8cd0fedd5ca062","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$9C4CF298-41B2-42D0-95CE-2BB3D10B2234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4fedd6a2dc94fc67848f58803d64c9dc374753","datavalue":{"value":{"entity-type":"item","numeric-id":5625119,"id":"Q5625119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$4DE719AB-D2F1-4825-B8A5-2BC31A054582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6398ee602b21d03896197f5b09fe5f5f8560bc1","datavalue":{"value":{"entity-type":"item","numeric-id":817704,"id":"Q817704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$4E28D50B-21E6-492B-ACBC-A3AD4E388375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731ff9800386501b744ac092b83667376e81a9b3","datavalue":{"value":{"entity-type":"item","numeric-id":1006607,"id":"Q1006607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$420E02C9-8CEB-49E7-B27E-1A1828EC7C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70e37d6d0d23d7653c2e473872f76ff20f192492","datavalue":{"value":{"entity-type":"item","numeric-id":3397633,"id":"Q3397633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585998$F2C7DF50-FCC1-4FED-85C7-5A9E6DAE3EB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c3dceb7f95ef0e167d5027c8c0123ba04738c55","datavalue":{"value":{"entity-type":"item","numeric-id":3648721,"id":"Q3648721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bcd9c1551c79217c5acb2ba860a655ff383c46b","datavalue":{"value":{"amount":"+0.969338059425354","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":"Q3585998$5C605FA6-F3BD-4EB5-989C-9F39B79FAA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d0008f9fcafc12e31bc32b7e3d34634b46590a","datavalue":{"value":{"entity-type":"item","numeric-id":3081447,"id":"Q3081447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26d2f7379ec531eff8d5b0950c006ca6d6695ff","datavalue":{"value":{"amount":"+0.9178407788276672","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":"Q3585998$4F71FC1B-2CF0-4250-9B19-0F1CAC5C1E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4874711864e7ac0ebbdeb0eb689ea26a8804e77","datavalue":{"value":{"entity-type":"item","numeric-id":817707,"id":"Q817707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26641c7ae0f64e2954d3e515bd289aec0abeab56","datavalue":{"value":{"amount":"+0.798965334892273","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":"Q3585998$3A365AFF-575B-43CF-ACE9-64ADC970D288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36b71a8cff72ab7022ac889dabb329b023ddf9d","datavalue":{"value":{"entity-type":"item","numeric-id":4902375,"id":"Q4902375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62693e8d14aeb3524fa17c4f335a164474660d4","datavalue":{"value":{"amount":"+0.7801365256309509","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":"Q3585998$957AD520-C32B-437C-AE42-0FDA6AC6E1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db957db2630db9c00c109a386240cfa3b76cb022","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed8dd7ff634e657176903e2394f362a9732b060","datavalue":{"value":{"amount":"+0.7764543890953064","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":"Q3585998$EFF36086-6760-4F40-A205-0703D234DBA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585998"}}}}}