{"entities":{"Q4223033":{"pageid":6252634,"ns":120,"title":"Item:Q4223033","lastrevid":46603392,"modified":"2025-12-25T04:42:45Z","type":"item","id":"Q4223033","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231702"}},"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":"Q4223033$40DF5F7E-A82E-4012-8B8A-5C40D6615B3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa7aaece5e305d9aee15b9a500a1e432da6877cc","datavalue":{"value":"0917.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223033$3FD86266-A4DA-4840-8F5F-AC6CC59E219F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa42c234d0a47eb8a16a0c13da0bd77146200383","datavalue":{"value":{"time":"+1999-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4223033$44B7F3B9-ECCD-44F1-AF22-4DACFB13F3FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38b7d92526f05f0df598366210eb952b33c62708","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17009","type":"string"},"datatype":"url"},"type":"statement","id":"Q4223033$B1C5AF7B-1352-47E7-B532-45D55097B0EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223033$5CD5E997-F8A4-4B50-A268-0E577EAFD18C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb1d5e4fc75590764605cfb284371c2cdddb488e","datavalue":{"value":"1231702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223033$7DF6BED9-E403-4523-B946-7F01AA8365A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffb9a61cf7197ea8f775060b75a2afdf5838ec6","datavalue":{"value":"logic of bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4223033$159428E1-AB26-4838-B70A-32A65AF54268","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4223033$B2161BF0-00EB-40E9-8084-67D5BB0EBEF3","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":"Q4223033$B8ED4B49-CD61-4586-8E67-8EE0D358315F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417be89ccb68ad16338f37d3799a3d1b9fc7eb7f","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b161c0ebbcb6c32bed9e9c47e8b8efebb018df82","datavalue":{"value":{"amount":"+0.8937864303588867","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":"Q4223033$A9F68F66-3F63-4468-812E-6BD88012421E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e761c2afc943e1325467eeced7eac20ce6a55f","datavalue":{"value":{"entity-type":"item","numeric-id":4539612,"id":"Q4539612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bebf2743b7e9e09ecd9bdeac48ad76ee4e70ba","datavalue":{"value":{"amount":"+0.8827856779098511","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":"Q4223033$A545E895-06D5-42C7-9D6F-6FB0F1939570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad2f97480a250a4f35c90d792203333973cefb2","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a412d72ae68ead57d6fafd66cbc9d7e54e9d76","datavalue":{"value":{"amount":"+0.8712844848632812","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":"Q4223033$9B4DBF94-41DD-4CD4-A0A7-2EE34A612655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa989996ced01fe27d84d37ed342ebc72ac4f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0b08139e4bb8d881f9c38bb8bd4bc1160ec424","datavalue":{"value":{"amount":"+0.8490993976593018","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":"Q4223033$AB6CDCF3-37C5-4BC3-B7D5-23C4E93A374E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2249157f6965ebba3e8813e6b4b9a32cfe69dae","datavalue":{"value":{"entity-type":"item","numeric-id":3575307,"id":"Q3575307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c332bacea1e29072b09b4e46ebd5fcf64b8126e","datavalue":{"value":{"amount":"+0.8033287525177002","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":"Q4223033$C0F2F5FC-5B8D-4AD2-AE57-AA853D998254","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4223033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4223033"}}}}}