{"entities":{"Q820493":{"pageid":822341,"ns":120,"title":"Item:Q820493","lastrevid":64580868,"modified":"2026-04-11T20:51:19Z","type":"item","id":"Q820493","labels":{"en":{"language":"en","value":"Hybrid extensions of the minimal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7401182"}},"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":"Q820493$6127643F-F57F-4C5D-9309-BC6C21DC9C99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ffd808d332d43f8024e992ecfa4cb45d1555b03","datavalue":{"value":{"text":"Hybrid extensions of the minimal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q820493$74D78D77-3E63-43A1-948D-35FBAD0E0839","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"120e14df9ed52d2cf040ddf5da0b654be0f71da7","datavalue":{"value":"10.1134/S0037446621050104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820493$A3E4B353-D5E2-4AE5-9D4D-F5244B304A7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$BDEC02DB-0DAE-4FED-AB57-26084EEAA6A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"389dc4b72755fc3de7f7a9780587dd8ee31dbd69","datavalue":{"value":{"time":"+2021-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q820493$8BC1245C-CF77-493B-85B1-AE05D45F7989","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820493$30789EFB-EA63-4349-9189-2C7DD1422052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820493$4D6A2CE0-D876-4C0F-9BC2-524B89434ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820493$D14479C3-0445-4210-9D89-4F347ACC9415","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5ad26e999e52d63a41c201a2d5e71f8a7f800ff","datavalue":{"value":"7401182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820493$5A6F8898-90A1-48E4-A54B-9A38795B7025","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q820493$80F0D38C-73B6-4B7C-BF64-244AE5DBF8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8b82297e1ed5394a18fb7077e0753cc45b7a78","datavalue":{"value":"Johansson's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q820493$6779BE4E-F48B-415D-BB75-D2E33088BD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q820493$F2E236C3-5A79-4DFF-8032-B3F0520E557A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805202d3db179196d7d3a1be1053fbb5a463a669","datavalue":{"value":"algorithmic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q820493$87C9D2C7-DD66-4D53-B230-750F1A8DB208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q820493$9F8BB131-006D-44BC-BAE2-FAE9B17ABC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3b7435bc984306275d7a3bbde09d4c81695e05","datavalue":{"value":"recognizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q820493$19A06E82-2B0D-4546-97F4-FFB3D508BA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"545b55926c14fb0197e7c28b32bca6cb0fcf7c84","datavalue":{"value":"perceptible formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q820493$2882ACE5-F1E0-4DFE-8774-27EBE31BA27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d2259bab5cbb250b83e3a4264e65fbdece159","datavalue":{"value":"interpolation properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q820493$33BBFF4A-3008-496D-8BC3-DABC1441EDC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$AD07C1AB-AAD6-48B9-A854-1307C332AAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc98d936db46c33f702afb90a4de40ed305eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2003245,"id":"Q2003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$AAA21270-BC6C-4754-A87F-6F227D366682","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":"Q820493$6E1AE7D5-FE64-46BA-BF46-FEB0114F55EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$BCA43A62-DE8A-44F7-93B6-AE451D871F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f43a4694176dfc2a2e577f4126adfd4eb657f6a","datavalue":{"value":{"entity-type":"item","numeric-id":2200986,"id":"Q2200986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$D5312230-B811-404D-96F4-A2493E7AA75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc1b66416e18542f53f888ff4b3cb8b2c1c8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5764366,"id":"Q5764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$A9F40CAD-4E28-45DA-AB8B-9FD15736960A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0a4977072d6f8937dcd17ad8c09aaa7c5ff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":887647,"id":"Q887647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$C72B728D-0B34-4CF7-B21F-2CDE310A9E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76ecd91067334967b0d7de67c1bf2a2ecd86ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1703280,"id":"Q1703280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$2591A0BE-F159-4C6D-AA34-9AFF72621852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$74684CB2-8F56-44ED-8A94-E3EB4E9FA5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$E1A3EB6D-41C9-445E-BA7E-F0949D8CF42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0362777c178853d7e80e500731313475ff05600","datavalue":{"value":{"entity-type":"item","numeric-id":5465446,"id":"Q5465446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$55CD85FF-D6BA-4EAC-AE7E-B7E323A67118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8098fb4d00cd350f77f5906966fbf818f3c3a64c","datavalue":{"value":{"entity-type":"item","numeric-id":695764,"id":"Q695764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$10CE0AF8-34F5-4A7F-A309-144B88EBE99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17763a898dc957bec5af152a939bc9a715eab224","datavalue":{"value":{"entity-type":"item","numeric-id":1260029,"id":"Q1260029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$E1DF4CBB-DF7E-47DA-BAE8-797A493B2D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22882db29752b4575c345d3c696c4ab856acb443","datavalue":{"value":{"entity-type":"item","numeric-id":1591374,"id":"Q1591374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$86E4D4C3-8993-477F-B400-ED814A9BCB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfc35f925f6d5c884b1d0d79906d162784c29f","datavalue":{"value":{"entity-type":"item","numeric-id":4451641,"id":"Q4451641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$3932D3B5-D879-41E2-9310-9A34399B8D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1ecffd0ee57330d62a68e358b27ee52a78bcc0","datavalue":{"value":{"entity-type":"item","numeric-id":694247,"id":"Q694247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$93B717C5-77D8-4B24-877F-87AE922DEF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cbdeb4357eacd43ce941d9156e0511648b05c7d","datavalue":{"value":{"entity-type":"item","numeric-id":384403,"id":"Q384403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$597DC024-96FC-4C91-A8F8-E0CF64B01C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe448008da013d2f8dec3493a15a9c63b8876ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4532125,"id":"Q4532125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820493$C51D1E4F-01F0-4042-9375-859B4B75EE6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55be499a4073438836c76521e0914765a869b676","datavalue":{"value":"https://doi.org/10.1134/s0037446621050104","type":"string"},"datatype":"url"},"type":"statement","id":"Q820493$4361F56B-C128-49A8-B291-7134AE41F00B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"177897980000dd3c55f696070e4b8b6a62e1fb00","datavalue":{"value":"W3203620407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820493$0CCB7159-C78E-4316-A8AB-19AAD33631F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97122732ce00d91cd8975e958d7eba3a51dfef49","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9d3962701b22764d052f1e50382e9cdd53d2ad","datavalue":{"value":{"amount":"+0.8317108750343323","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":"Q820493$920AB655-3D51-4987-86D0-E8454066007C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b4876a56e69a2952925d517566ad862af5cea3","datavalue":{"value":{"entity-type":"item","numeric-id":1617985,"id":"Q1617985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524e337bf46ba5fed81cc20d8f6db0069b8204a1","datavalue":{"value":{"amount":"+0.8298869132995605","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":"Q820493$743529C9-1A2E-4861-A5E1-4D416C29D5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef4167a811cb83dbdc683fc72d9fe40b45b5b4cf","datavalue":{"value":{"entity-type":"item","numeric-id":5419894,"id":"Q5419894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd9e7ce3556b73e20b05497c170eff2ffd1392e","datavalue":{"value":{"amount":"+0.8231484293937683","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":"Q820493$A81EBF7D-B4BD-4D62-9F16-4A20FD9394F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e01bfd266a2094df0dacb664d9364cc8db85395","datavalue":{"value":{"entity-type":"item","numeric-id":4440575,"id":"Q4440575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e770d74dcc66610bd4c3b67043b7a18ed604d53","datavalue":{"value":{"amount":"+0.820422351360321","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":"Q820493$33D1C159-3404-4D60-AC68-7F679C2705A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a34138529dda1867108103abef12e96bc7067c","datavalue":{"value":{"entity-type":"item","numeric-id":891973,"id":"Q891973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7133375865ab034484bed4e778ae8445a240ee","datavalue":{"value":{"amount":"+0.8013777136802673","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":"Q820493$7BC49DD8-A593-45F1-B662-A19CC0B065E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid extensions of the minimal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_extensions_of_the_minimal_logic"}}}}}