{"entities":{"Q4856950":{"pageid":6886530,"ns":120,"title":"Item:Q4856950","lastrevid":47374099,"modified":"2026-01-01T13:32:10Z","type":"item","id":"Q4856950","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 823595"}},"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":"Q4856950$DA742E1E-A353-478E-B30D-A0AC184077F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5090ad0edc609c91e13acc403a7d51c01a97bc94","datavalue":{"value":"0847.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856950$98DDFC38-A6F8-4549-8B77-4D96ECB45584","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33423fd214e41478017ece7904a590cfc211acb0","datavalue":{"value":{"entity-type":"item","numeric-id":752666,"id":"Q752666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856950$94781E0B-D2F2-4956-A787-B1C433285E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"110880ff26eef9f5e1af58cc71c5a50e7726cf6c","datavalue":{"value":{"entity-type":"item","numeric-id":1390951,"id":"Q1390951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856950$F115D843-EE48-47DC-83A3-6BE4488CA63A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0f0b23b7e38ff23875fa920657450b82cbc3f3d","datavalue":{"value":{"time":"+1996-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4856950$9F7BF422-A35B-4469-AAEE-D4850F3A5BCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856950$BB18681A-08D1-4FDA-A9C5-DAFEAC7657D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856950$42A00D88-AFB0-4100-9B06-7E5FE9B4F271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856950$67C5B2A2-256D-40F8-A8E0-AA36E7721ABC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bd8cbda3f922985b004784e0ded29c308c95ee8","datavalue":{"value":"823595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856950$983BA4D8-979E-40E6-B4E4-AE66FFAEB9CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3110644201dae6102546734dedd0f656679ddc54","datavalue":{"value":"internal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856950$B92B0CEB-9298-403B-9843-101DBF7AF21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856950$A51ED921-0154-42AE-B39D-ABB9018FCE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856950$95AF2386-9FF2-49C2-8C0E-677C52D60927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8e04501ab4438c1f2c3582ba76ccffdf56a0b80","datavalue":{"value":"formal logical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856950$775E4E8C-1703-4327-9DA6-6C1D5CEB5E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826a56d792ed4d7a50885a05dcfb414ebf194328","datavalue":{"value":"SLD-derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856950$8D2E8CAB-C132-400C-9167-03C424B30834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4f16f42ff7f7d1ed2c14acfd75848e9aae0b60","datavalue":{"value":"provable sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856950$7C2B492E-AF05-4B4F-8735-23DD902F0261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856950$65692989-272F-4D76-B98F-25C514099750","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":"Q4856950$A1C19E39-4137-4553-A8FA-899E7D32FD4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fdc5a4ead111fc8400a4ad8a50ce8c80569a154","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f99cf50dd1cce0d5eae4804437cd51b96fff036","datavalue":{"value":{"amount":"+0.807296097278595","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":"Q4856950$B6F18679-93CA-4F56-9EBB-09D9C6F52A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a054549614805bae41860ade89d7b28adc037780","datavalue":{"value":{"entity-type":"item","numeric-id":1818324,"id":"Q1818324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53a6303807e90733379828033b4e01763529160","datavalue":{"value":{"amount":"+0.7935391664505005","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":"Q4856950$2CDAB991-AC6A-461A-94AA-9019322557F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddb30f11e4dbd88ea67372893395944cb7dacbf","datavalue":{"value":{"entity-type":"item","numeric-id":4858580,"id":"Q4858580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e155bcb398ea3ac23e16bf80865542891e90161","datavalue":{"value":{"amount":"+0.7904134392738342","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":"Q4856950$93A26FFC-3769-4776-8E0D-CCDCCCE1654F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557e39da62d7549a8e4585881dad4aa617cecc12","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2d4a73891ccdedcfc2fed013115168f3f950fa","datavalue":{"value":{"amount":"+0.7892979383468628","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":"Q4856950$D1D66905-03A9-49C0-82D7-0B9165E8A6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6cf814d371fd0d5f3fbe13fe6adc588ce516539","datavalue":{"value":{"entity-type":"item","numeric-id":805224,"id":"Q805224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaff70951a23012b5d453d7ae0c520330cd4b84e","datavalue":{"value":{"amount":"+0.7886860966682434","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":"Q4856950$2966AA7E-3DD4-4999-B479-CFD5D59BDC0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4856950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4856950"}}}}}