{"entities":{"Q3922158":{"pageid":5952063,"ns":120,"title":"Item:Q3922158","lastrevid":55001170,"modified":"2026-02-02T17:03:50Z","type":"item","id":"Q3922158","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735126"}},"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":"Q3922158$7C65B2E3-1B9C-4E13-AB04-D381A5F3632B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f1cf6dcc9a77e6f275331249f713a6778e8a358","datavalue":{"value":"0468.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922158$73AB695A-5A9E-441F-A132-C166F40E9777","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922158$3E31C0FB-5870-4172-95A3-CF3F5385D21B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3922158$CE529877-DFC9-41ED-AFB1-5E0F9A0E04AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922158$633EA2A3-A649-4B43-A3DA-5BF4DE179188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922158$21075B29-50AF-461E-96C3-AFCC2C999A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922158$E15C9889-4A40-49D4-A009-6D80FD0EDA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922158$6BC508C6-CE41-4A9D-8A52-B5197A439A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922158$1D62CC97-4640-46AC-90D3-6E78D6AB9646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922158$82282232-0C4B-4F56-9593-3CFADB1F69DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0b24a95bfe48dee25a093c3dcdc68d41d4a0b0d","datavalue":{"value":"3735126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922158$A063723C-BC51-47CB-98D3-D933066573B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922158$23B2AEDA-A5CA-4615-B1C6-533821A1E5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922158$9BC97A1E-2A16-4B58-AF02-07C1D347B096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922158$A7CD4084-3374-4EBA-BE79-3858928D70D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922158$0E6B9B5C-ECC9-4725-AF92-5B04E86005CE","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":"Q3922158$743C2BAE-F1A2-4107-8573-285DA6389B7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3922158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3922158"}}}}}