{"entities":{"Q4277651":{"pageid":6307252,"ns":120,"title":"Item:Q4277651","lastrevid":47227624,"modified":"2026-01-01T01:55:22Z","type":"item","id":"Q4277651","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 496003"}},"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":"Q4277651$A042C22F-EDDE-4DB4-9207-EE4184425F53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f392cebaa29a83d90b54f7f68daf727261284b0d","datavalue":{"value":"0788.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4277651$C7396BBB-FF4C-4655-A967-1311BBA20A62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4277651$F38AC2F0-7C36-4CAD-AAF2-289D4A472D2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11cb51769eb8ea335b4a3f22dc7e7979f598efe0","datavalue":{"value":{"time":"+1994-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4277651$6A919A11-BA68-40A2-90E4-0751D5EA05BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4277651$6E3F8EA4-2DC8-46FF-A5DA-B240256FA8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4277651$B4791C34-B658-4464-B5FF-4E87ABEB294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4277651$1BC11005-833B-46C2-9CE0-47F59E3F2F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4277651$4ED50FBF-33BA-4E76-9F76-741DB01BBC82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88cf703ea279df24a3894ee9ab14e8c63309cfae","datavalue":{"value":"496003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4277651$FCA1FB0C-4D86-4BAC-8940-DF1335F61A9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4277651$D57711D0-0683-4187-9174-99BFF5994E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q4277651$0AC4BFFC-A278-4952-AB63-55BD0F0E799E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f885f6aa3cbb729e45fe4e0efefaf29f82724fcd","datavalue":{"value":"inductive colimit","type":"string"},"datatype":"string"},"type":"statement","id":"Q4277651$A99F80E6-55D1-4291-AC3E-D7D96BB01F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc22ce6d7f251118302b14f9b7760549898a5049","datavalue":{"value":"bi-Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4277651$55EBCBC2-FC24-4421-AF0E-73886A3C22BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d130d4f6f17cd85cea664ae82fe113046b5bf358","datavalue":{"value":"difference operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4277651$1166ACBD-4A32-4552-AECC-79FDC60A1D62","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":"Q4277651$15D9ED00-A170-42FC-B25F-B5AC5C20AECC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9067d957c9b37fc595ce717544258695aac4b90b","datavalue":{"value":{"entity-type":"item","numeric-id":2888491,"id":"Q2888491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05effaa4179f0f20c85548c3ecab928dba1a21a","datavalue":{"value":{"amount":"+0.8247330188751221","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":"Q4277651$AFA909BC-2D0F-4D30-B79F-B74994DDC128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5021df2dbd1d204c1929395feb379e7ff50f7892","datavalue":{"value":{"entity-type":"item","numeric-id":3003327,"id":"Q3003327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ea4e4c5d04607ddfe6c8bb7c222cdcbd16f35f","datavalue":{"value":{"amount":"+0.8066459894180298","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":"Q4277651$48D968CD-41AD-42FB-BC8D-92990C1E41B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c53ca25dc47075ca76493ed402671e17a88bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5962ae192fb55e611d5732c41f9e660011b30b15","datavalue":{"value":{"amount":"+0.7899694442749023","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":"Q4277651$2AE0211B-EB3D-4812-9B7D-5AF963B7D4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331159b159a609d8f752b30f3741ed5b5bf372d6","datavalue":{"value":{"entity-type":"item","numeric-id":711563,"id":"Q711563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96601fc3b8e5b2f109ac0aedb91dadb9b166c15d","datavalue":{"value":{"amount":"+0.7750704884529114","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":"Q4277651$D216C277-7505-42B2-B531-32526BABABC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8973eb115834f72353659070adaadc92fdf3b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":4899176,"id":"Q4899176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5f3e72c70881af66bf566660952d4010a89a27","datavalue":{"value":{"amount":"+0.7669442892074585","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":"Q4277651$4FA374B4-6E01-4C14-BF6F-84F79ED08E3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4277651","badges":[]}}}}}