{"entities":{"Q4736390":{"pageid":6765970,"ns":120,"title":"Item:Q4736390","lastrevid":48312409,"modified":"2026-01-04T08:17:42Z","type":"item","id":"Q4736390","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085167"}},"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":"Q4736390$4343636B-EEA5-43ED-A3DC-6D5805274175","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbd8b560bcbebaf575209d1477fa704c2281b7eb","datavalue":{"value":"1054.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736390$4ABB6AC7-F257-496A-A583-0305E8718862","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cf6a1b1bf3a3f61e1c00d212775b0e417475348","datavalue":{"value":{"entity-type":"item","numeric-id":1368377,"id":"Q1368377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736390$14347BD1-DB99-43F0-8F90-B84BE8236A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736390$40515FEA-C603-49CF-997C-EAEE9B19E68B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d96456414d6af50ce04ff076f3343376c47fba2e","datavalue":{"value":{"time":"+2004-08-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":"Q4736390$861DF8CF-2020-4D64-8141-7BBD0F12F0CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32ed6483a1579739bbc012c7488fda22c3d21217","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2277/22770063.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736390$0E7E7CD4-8C9D-4B63-B53B-9689930AA61C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736390$6FC92E9E-04F5-4386-BF96-41CFE10D5C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736390$A09BDEA7-E907-4E30-9499-D86CBA831F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736390$98BEDC63-1BB1-4B74-80D0-7EC60B31F108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736390$16C7169C-1444-4EFB-A86C-FA29528E84B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cc4bf10ec72d439c276ad6534391462c6f5d518","datavalue":{"value":"2085167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736390$866EEFF4-AA04-4DA1-BEDD-B13F001A09FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9de13f4c99351d1638391deaf93443a5ca20ec","datavalue":{"value":"lax modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736390$7CD090B7-2B61-4425-99B5-DA40AD41C2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736390$24F1E9D3-E116-41BB-A6D3-4A0A34833273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4f6f1ebc284c31dc4bcb934bcf27f7f094af77","datavalue":{"value":"computational type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736390$918D8C2D-D21E-4A72-9E1A-F0E8C509D4FE","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":"Q4736390$E1190D90-8209-471E-B27A-D6D6C4D5A559","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af4c20699aeb09f6d2f5139ec39c4052fa13571","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3250e1f84017fe9644b5a4a1ceab8b83c2463acd","datavalue":{"value":{"amount":"+0.740622341632843","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":"Q4736390$55A060D1-FA69-4564-BC31-5EF84FC3D985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca13e638c16cba1c2c97d16ab873d4d64ee9ca7","datavalue":{"value":{"entity-type":"item","numeric-id":1948284,"id":"Q1948284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0c3ac79c48f6308b042e010a71f3620630f3ec","datavalue":{"value":{"amount":"+0.7358629107475281","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":"Q4736390$7791AB70-17DA-46C7-8583-94FB9EBC9E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eced500058b3c9bb361c015d2054a1a57aeb91b","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61c640bf9698d6b088ba7132690c2d7a3c0da0a","datavalue":{"value":{"amount":"+0.7343727350234985","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":"Q4736390$2B944E61-ED39-4214-AFDB-DED906E8C4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c287f1d3c408d1dd56255ecb6657690dd71ba6","datavalue":{"value":{"entity-type":"item","numeric-id":5416731,"id":"Q5416731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b198dec22b1b88cc2d7da4154946e73d6549871","datavalue":{"value":{"amount":"+0.7284059524536133","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":"Q4736390$F3483390-A8E0-4A7D-85B7-7E0F531D3F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f1417ecd20332477df146b867dcab0a3e142dc","datavalue":{"value":{"entity-type":"item","numeric-id":4951170,"id":"Q4951170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5047f796ff10e84882ab478144747aa95677c4b4","datavalue":{"value":{"amount":"+0.7205667495727539","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":"Q4736390$3A07B2D0-8584-470A-B5AF-8BAC840F41DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4736390","badges":[]}}}}}