{"entities":{"Q3824395":{"pageid":5854301,"ns":120,"title":"Item:Q3824395","lastrevid":54267977,"modified":"2026-01-26T13:56:33Z","type":"item","id":"Q3824395","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4097351"}},"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":"Q3824395$37B775BE-2045-4CD5-B9CA-1A7BEDCB9EBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d926d70ea28a791e09c7ac8464ae39f0f5f4cc74","datavalue":{"value":"0671.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824395$10078484-9B6F-41C8-8592-E6436E3DCDFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"754d0fa1bb49600f4f02ba3ce85d71701d3732c0","datavalue":{"value":{"entity-type":"item","numeric-id":407505,"id":"Q407505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3824395$950977C1-D135-405E-BEB4-821F24C645DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3824395$FB68CCFE-EEA1-418E-8136-972875987505","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3824395$7BC3BCF1-3D61-4850-BACF-79E0ABD223BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824395$997FA467-76DA-42CA-BCB4-0F83EB83AC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824395$95392CC8-5965-48BE-8A2A-C0158E778614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824395$8968F6EA-B15B-408F-B73D-24A2B9C33455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824395$D53B9612-2D4A-43A3-A7EC-B4212C26C06A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3160cfbf4d80b69ca5cbfd983116404036d67b16","datavalue":{"value":"4097351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3824395$51D1F5E2-F835-4B03-B6F8-32FFC5DBD2D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824395$CC0FDD31-58EA-4791-A2AC-5F34014070C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2400f038a313a4b0f1ef5407932d4864ff4e95fa","datavalue":{"value":"logical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824395$B539B1AF-81CB-4053-8C75-BB96CA347944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824395$66E1A34A-DBD4-4F48-8115-AD4764E7C3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6af2203af27df3995909b9433aeb5c5137313cc6","datavalue":{"value":"semantics of specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824395$F917F713-D9A1-4BCA-A903-3F4A4368A14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d50772b3387d3392e15f43723321c5b0c8d6229","datavalue":{"value":"consequence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3824395$F91E5684-6ECB-4834-9381-4863D111822F","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":"Q3824395$BBD053E2-0F06-4F3C-9369-B5D391009D41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cc48f58d9e12c7bd4391708c6de4f7e4836ef9","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562955bf3f8867f704b0657847cc5fbc777e5233","datavalue":{"value":{"amount":"+0.7871020436286926","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":"Q3824395$7A5E94C4-66CA-467F-AFD4-40749D4FD680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d780e0003d89987bc138abea3f69d0b52710f9f","datavalue":{"value":{"entity-type":"item","numeric-id":4702594,"id":"Q4702594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c33489f0647c7d5cd4233e204cf99cd2b92311e","datavalue":{"value":{"amount":"+0.785134494304657","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":"Q3824395$5CBA3AA0-104E-4635-9B0B-649493AF81B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0951f06dafa16a6cf116bfd212d16c52fb5a90ec","datavalue":{"value":{"entity-type":"item","numeric-id":3776610,"id":"Q3776610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830cca0ab786ded1ad5eb42bba6444aa38946f23","datavalue":{"value":{"amount":"+0.7800865173339844","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":"Q3824395$B8B96578-CAA5-43C2-AF4F-181637A54089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d2a2320a9044182b64a06707cdc92100ce6b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798b27ee32a8e6c20196976b443f60e01eea1494","datavalue":{"value":{"amount":"+0.7798903584480286","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":"Q3824395$534E5671-29DD-4319-AA1D-25BA5C019987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81bf7a4bb1f94e8ef7a7d1c118b7dd9565d8345","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a936637131f5576ea5d8bc2ef51571ca67dbb3e9","datavalue":{"value":{"amount":"+0.7674522995948792","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":"Q3824395$75CB6CB6-8DC5-48B0-9778-848400C9F319","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3824395","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3824395"}}}}}