{"entities":{"Q4390774":{"pageid":6420373,"ns":120,"title":"Item:Q4390774","lastrevid":46522824,"modified":"2025-12-24T23:23:36Z","type":"item","id":"Q4390774","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156787"}},"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":"Q4390774$622C0F22-E958-4749-B1FF-E1E1187BCB1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a885286556b4e2ee0f7ef57794ea7d1d2a7b0df","datavalue":{"value":"0908.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390774$2A39FE53-7206-474C-B1C8-05F324D7A5D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a5730d5a384a7dbcfc880e63ff66c9bb702395c","datavalue":{"value":{"entity-type":"item","numeric-id":1092994,"id":"Q1092994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4390774$3187B3B6-EB7E-4EA0-9BFA-1F9208E9588C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ca81668723b17b38fcd31dd2e967490600b6d1d","datavalue":{"value":{"time":"+1999-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4390774$033F183F-3C60-4F52-83CF-33FC7C018455","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390774$C1F878E8-090A-4B5B-9DAA-2EB45C528398","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"164edb7cff6c13334fa5b53be339f047da0e2700","datavalue":{"value":"1156787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390774$86D3B71E-EE42-41F8-9C72-670639F3B44A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94fff17ab327d4d113d366b1d018bbb72a943b1e","datavalue":{"value":"bimodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390774$B46BC774-775E-4728-AB9E-18A63D66AA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba36bc7be3f819b6f91f9b114de09f51c370a5f9","datavalue":{"value":"canonical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390774$C5327C0E-2A2B-4B9C-BD05-AE33D141BACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390774$63B730A7-53A6-4C1F-8A02-5411D72BC24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390774$4921FB62-4425-414B-9C60-271EC7645C79","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":"Q4390774$3577EF3E-DB3D-49A0-ADCD-501DCA8825C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"894a12f6797113df76a88a2008b25b3dfb5dd6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4242476,"id":"Q4242476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5281913bf09f6827f672fb0d66ee539c8b0fab71","datavalue":{"value":{"amount":"+0.8802456259727478","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":"Q4390774$2B688896-283C-4B23-91FD-AB0A32D3A826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"478bd232c7cdf56e4bf722d713d15ffc6183ace5","datavalue":{"value":{"entity-type":"item","numeric-id":4376052,"id":"Q4376052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f55ba78ff0b03f25f65b36c3d3964e8a62218ea","datavalue":{"value":{"amount":"+0.819984495639801","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":"Q4390774$813E88DF-6AA8-4C10-A12A-8B905C1D61D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56f645fb3bd6338e89a07cb54826ff2a1facf38","datavalue":{"value":{"entity-type":"item","numeric-id":3199393,"id":"Q3199393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017e0eaaf5e05da16b8ccab40d6662f161bf5f8e","datavalue":{"value":{"amount":"+0.8118381500244141","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":"Q4390774$90A87C20-4303-4711-907D-D54DCEA76765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73ff7da38d730d56089900ea34dfb1b06f8a6f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4361651,"id":"Q4361651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def7607830636b4a0c2ae530464c9ec5592e47f0","datavalue":{"value":{"amount":"+0.8054167628288269","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":"Q4390774$2331E0B4-7495-430C-A292-14E22617ADF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a3b9f2bff569c480b2d2f01c9211fbf9036da5","datavalue":{"value":{"entity-type":"item","numeric-id":1770622,"id":"Q1770622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5bc625ccbfbd97d2d56a7c051dfbf3513842c4c","datavalue":{"value":{"amount":"+0.7755751609802246","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":"Q4390774$FD22F499-1D20-4219-9FD1-5D4BD8D58FFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4390774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4390774"}}}}}