{"entities":{"Q4357066":{"pageid":6386665,"ns":120,"title":"Item:Q4357066","lastrevid":46948707,"modified":"2025-12-25T22:08:24Z","type":"item","id":"Q4357066","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1070626"}},"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":"Q4357066$7B84EE55-39FC-4001-8723-0115BE65528B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f47ad13954f9a61212d16233755149626865e03f","datavalue":{"value":"0883.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357066$995F3081-296E-452B-BD07-6D32FDA7461B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee6dabe770d01c58d9d16642e2d2c925ba77d77","datavalue":{"value":{"time":"+1997-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4357066$26C8014B-6175-4A2E-8E0A-D343CAEB5084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357066$8E92F5F5-7905-4CF8-A7E8-3C6E7C7B0B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357066$CD251277-2228-4664-BFF2-3F9079E5E601","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df45234ed3230e53ad308547c617dd76a688ea43","datavalue":{"value":"1070626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357066$3210D404-2C99-4790-9D78-0EF3AD04B229","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46320715b8035044246b060fda9a62a9ae2d006c","datavalue":{"value":"cut-free sequent proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357066$0002BA34-C958-404D-B1A4-E9DC31ECAA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab85d384ef69d7e37066179f6af5f817410fe04c","datavalue":{"value":"logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357066$B34A98C0-6D21-4B37-B661-FF70A4277E90","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":"Q4357066$EE04FB5A-FB48-4628-9270-48DFA30AF3AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71a7fc76a9e317bb627a8466ac9654721db5a99","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306d8e98fc314e804ee79e9b318a9674fbbf4e3a","datavalue":{"value":{"amount":"+0.946053683757782","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":"Q4357066$19E74A5E-AD8E-443A-B590-797EDCD141CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9d686e5aaa7e4c9ec9fe1f604acee7b0c2fe4f","datavalue":{"value":{"entity-type":"item","numeric-id":4370235,"id":"Q4370235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce522fdbb982b5bb6127247ab1c28ac1b4ef3623","datavalue":{"value":{"amount":"+0.9399935007095336","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":"Q4357066$9933DBF8-1C5B-4D56-9766-58F4D7043DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71280657ab8daca175bf34f8ca4df2811aac603f","datavalue":{"value":{"entity-type":"item","numeric-id":4263841,"id":"Q4263841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c17470106164793ad2bb751c253e7ffae8e095f","datavalue":{"value":{"amount":"+0.8089662194252014","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":"Q4357066$CCD7F39D-B7F0-496C-B860-8A5AD4AA89F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4357066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4357066"}}}}}