{"entities":{"Q4664256":{"pageid":6693837,"ns":120,"title":"Item:Q4664256","lastrevid":48451963,"modified":"2026-01-04T20:46:24Z","type":"item","id":"Q4664256","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2152688"}},"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":"Q4664256$85F28C25-F9DE-4CB9-B79D-20029B0729B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9af7dd7b7a18628b493f9b3998db1d8cec93d1f9","datavalue":{"value":"1077.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664256$B98240FE-513C-461B-A206-49163F57A990","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a35120a6a454e23e128ae3826feb53523f2ec7d","datavalue":{"value":{"entity-type":"item","numeric-id":190318,"id":"Q190318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664256$DCCEABD2-23A2-4DE0-8732-ECEDD4443121","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69cf2a81b6ae1673a040d25ae05c9f6a7d99e6cc","datavalue":{"value":{"time":"+2005-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4664256$1EA920BB-598E-4D4F-B51F-DF129C1D5146","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664256$B826E759-5F02-4BDB-8B01-C2614C0D6F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664256$22076BDF-015D-4C8F-85DA-33E5A9565639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664256$D5425996-0234-4C98-AA51-16326B71C4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664256$1EEFF01F-1040-4628-9667-D204C9850275","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a0a729707c02142eb2c8027669914f8313e67e1","datavalue":{"value":"2152688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664256$09AA70DB-0941-4846-9E6E-AB86C995C0F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664256$8385CA18-F419-40F1-B59D-5B7235870FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664256$887ADA45-E115-437A-A7A2-4BE201D7BEB9","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":"Q4664256$6C5CA39F-0823-4A23-B534-585B1C633A09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6601f5467160084fee9681610f8666e8387e36a","datavalue":{"value":{"entity-type":"item","numeric-id":4487376,"id":"Q4487376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5d9de6090630b5fad5133851c71795639feeed","datavalue":{"value":{"amount":"+0.812324047088623","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":"Q4664256$11F80A65-2729-4710-A5FF-0CB7556DFD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cddadec26fb77636fbaa1fd42e2cdb1a6b81bbf","datavalue":{"value":{"entity-type":"item","numeric-id":1407528,"id":"Q1407528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f051aaf5074fda701f334a344f77cae7d5ada7eb","datavalue":{"value":{"amount":"+0.8028143048286438","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":"Q4664256$15238DE2-5B09-47F8-A12B-6812C793A82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4611ebba9c26ca7b6a4d796439e228b834dd1d","datavalue":{"value":{"entity-type":"item","numeric-id":4493072,"id":"Q4493072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a42d9ce87cab9fe6e768342b38248a97752b73","datavalue":{"value":{"amount":"+0.8007420301437378","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":"Q4664256$B087E1DE-78DC-4F0E-A786-7E0C4281621A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc287e25e9cdb1bda67a79e41656a1ef6c3d107a","datavalue":{"value":{"entity-type":"item","numeric-id":1423636,"id":"Q1423636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a42d9ce87cab9fe6e768342b38248a97752b73","datavalue":{"value":{"amount":"+0.8007420301437378","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":"Q4664256$36A7C5C5-D2AD-486F-8EB9-5C36FD641632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d08cb31bd72d771492e81fdc29718f0c2266517","datavalue":{"value":{"entity-type":"item","numeric-id":3726100,"id":"Q3726100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84847300816f01fee64e5aa4ec923894d742271f","datavalue":{"value":{"amount":"+0.7887791991233826","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":"Q4664256$6459A475-7290-4BB3-B928-036E514067E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4664256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4664256"}}}}}