{"entities":{"Q3698302":{"pageid":5728208,"ns":120,"title":"Item:Q3698302","lastrevid":50329016,"modified":"2026-01-13T20:16:23Z","type":"item","id":"Q3698302","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3924132"}},"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":"Q3698302$32D1A122-9D62-4011-9FD6-BE17E107FFCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5eb29c8e4f2015a391f696b39d0bb71530565849","datavalue":{"value":"0577.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698302$2DC9AB3D-4562-41E0-AC98-58FD7CAF190F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698302$18E4EEF0-CD1F-4C55-A45D-4264FA5D259F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3698302$64C3F8A8-D446-462C-8861-1AEFB4A7942B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698302$7F1B3468-839A-4F7A-9EC9-BA52DF6201E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698302$B139962C-DE66-40DC-BDB6-5695DC7C6B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698302$FFC68BCF-A3B1-4A9B-837E-22BCD104CADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698302$2E1B0AD4-08E5-44DF-9FAB-27F74FB6ACC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e785167fea6546b579c56f3a1da1ae37972ed2c","datavalue":{"value":"3924132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698302$FF9C0C40-7397-485D-AD66-32F9FC291FA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698302$0B163EAA-DC8D-43F2-B236-F35907836299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34408424114b1d7f79c4cecaa20bed5d0faca616","datavalue":{"value":"nonstandard dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698302$4FE367AD-7693-4198-899B-495B2CC27723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f935d65a776313c2f0e8f23777ee372b412892","datavalue":{"value":"program verifying powers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698302$D7799600-6B0A-414A-9B80-629244D2862A","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":"Q3698302$80DF4178-35D2-4773-AA4F-6349676445D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beac1a2789e0b5a4281a7f96134071f404f043bc","datavalue":{"value":{"entity-type":"item","numeric-id":2759366,"id":"Q2759366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd8b23dc19058c3bf8513d90522b80b322a0c51a","datavalue":{"value":{"amount":"+0.8040099740028381","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":"Q3698302$D9E993A0-46AE-4721-B636-9AAB20DC46CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2afa8a8b8ab30110e5749895017a16fbc7603f","datavalue":{"value":{"entity-type":"item","numeric-id":3746877,"id":"Q3746877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3086ce5d5eb1595be04e382a8d96a40ffe7e37fa","datavalue":{"value":{"amount":"+0.7991273403167725","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":"Q3698302$C96F432E-357F-40A7-A6DA-833B105B416F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b2e59a3f1876b90ce4d0afbef5379583249040","datavalue":{"value":{"entity-type":"item","numeric-id":1077159,"id":"Q1077159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7edc2506c0d1174d294f05e5f3ef9eef6e43a1","datavalue":{"value":{"amount":"+0.7866544723510742","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":"Q3698302$CAEE6EC6-034D-4797-9835-57371AF6FB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce586cc7f691a30ec1aad8229a6a3d5c6c2dae9","datavalue":{"value":{"entity-type":"item","numeric-id":1825630,"id":"Q1825630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c36a93a3c0a45c3b69de70c1f38ad4bc0296394","datavalue":{"value":{"amount":"+0.7686094641685486","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":"Q3698302$9C356BCD-37D9-44D8-99E6-5219902A2C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5208fe8b65ff2bd268e086077af031e73e3c4421","datavalue":{"value":{"entity-type":"item","numeric-id":5887528,"id":"Q5887528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec67a4557907e7416a4ada4167545e1671b8d71","datavalue":{"value":{"amount":"+0.7667489051818848","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":"Q3698302$1256BC2F-8219-4F45-8662-9A14E55A6336","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3698302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3698302"}}}}}