{"entities":{"Q4362918":{"pageid":6392517,"ns":120,"title":"Item:Q4362918","lastrevid":46489356,"modified":"2025-12-24T21:52:39Z","type":"item","id":"Q4362918","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1086668"}},"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":"Q4362918$74B5EBF4-CAD8-43AE-8A50-013B1ADD6280","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f54b99ee48eeb9ac3a91f40e068aa901018252b9","datavalue":{"value":"0881.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362918$CFCDD9FA-B1E2-4CC2-B5BC-D0F7AB8B07D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362918$1BB1CA55-A4B1-4808-851C-0614EDB46418","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a25635c340656bd7c7bb911f1494199e5379f0c","datavalue":{"value":{"time":"+1997-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4362918$CD8DE1D6-7AFC-4418-AC34-9F54868FDDA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362918$5126EDDA-3750-4BDD-A8E5-46CE3D55D4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362918$3ED32505-422E-4736-A3DD-7B4875E30EE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2de447c0231e86222d644d6acdc947dd6729c803","datavalue":{"value":"1086668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362918$42C48CD4-6637-4227-B287-93BA4B87FB91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f0388c5018b643719c309bf48355c971c94744","datavalue":{"value":"addition of structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362918$CC33F509-5D37-46AE-BA45-3B248097F256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b33208a547ada99d8c5fc74f9fd4a6b3df1344a","datavalue":{"value":"extension of display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362918$97CD4938-7D8D-440D-BB01-CDB6B6523484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcbcdd0840105b2b961e8ad2e5e9022eb49d71eb","datavalue":{"value":"cut-free Gentzen-style calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362918$6ED5FF49-D615-4419-956C-DAAD7D0D5838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362918$70659A94-537F-46CA-8768-E6AB185B5E4F","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":"Q4362918$6C39D39C-A0C0-440F-80E4-70C1AF0898AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353bddc263192ea6c66cc0e0a6b7975b822ee61f","datavalue":{"value":{"entity-type":"item","numeric-id":4246973,"id":"Q4246973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a5db42410cfbd14ade5f6b0a83cca7ff4ab15e","datavalue":{"value":{"amount":"+0.8236117362976074","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":"Q4362918$69A1C7BF-3CC3-4035-8AFD-0C3F4073ABE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1b6dba0b2e3fb4df9bc558cc2eebeb24baa39c","datavalue":{"value":{"entity-type":"item","numeric-id":2849424,"id":"Q2849424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c6c55cfa6c48f615dbef59b8b61df9c5c2681d","datavalue":{"value":{"amount":"+0.8038374185562134","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":"Q4362918$B46D2DE8-35C5-412E-92E9-DE585206C4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5010bf061535bf0b1f5b3957ae5c5446733e8edd","datavalue":{"value":{"entity-type":"item","numeric-id":1973930,"id":"Q1973930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bda384588d5335a98a75588424255563bdad6c","datavalue":{"value":{"amount":"+0.8030878305435181","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":"Q4362918$46F8D9A0-502B-420E-B7AF-FCB3F21221C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4243d97e0a8017982b8094990ee6233d892c66","datavalue":{"value":{"entity-type":"item","numeric-id":4484337,"id":"Q4484337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23e1f46856617ac4d0cddc862377ce5b3e3ed3d","datavalue":{"value":{"amount":"+0.7935961484909058","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":"Q4362918$0693F916-56F3-4782-841C-21F1AE16EC82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4362918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4362918"}}}}}