{"entities":{"Q4518863":{"pageid":6548456,"ns":120,"title":"Item:Q4518863","lastrevid":47540761,"modified":"2026-01-02T00:50:54Z","type":"item","id":"Q4518863","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538008"}},"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":"Q4518863$CACEDC55-BD51-4CCF-8936-100BB93593C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"126f8d737487a278a9c24ac78d8b83bed368b9f1","datavalue":{"value":"0971.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518863$4FB3AACD-5ACC-4D4D-A4A2-9F48DE02C7CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518863$AA006618-5739-4B88-8D7E-51A3A3BEB3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518863$FCEA5F22-FB58-403A-BEF9-3529B02D911B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"807acfe2abaa92e89310133eb1e395950faeb629","datavalue":{"value":{"time":"+2001-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518863$3C3950E0-BE75-4C79-AA28-7BE161258B62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518863$53E52A43-057E-4875-A7ED-D4FDB9FBEE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518863$1AFA68CF-71C5-4A2F-8D03-35AB35AD613F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f92ce296421ee95e3dab528d08c0700f195f4f3a","datavalue":{"value":"1538008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518863$ECF3A7D0-9E9A-4E04-8FBB-4B954ECC7E61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7bc629f605f3d2a41daef79a044f0a3cdfa0894","datavalue":{"value":"constraint contextual rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518863$4E7C6A07-DA0E-4736-BA94-FD4006F969F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9330265cf5c6a330fac7f2c97312a0b9fb6fea6d","datavalue":{"value":"decision procedures in formula simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518863$1B5430DE-8C26-47D3-968A-ABE1062EE9BB","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":"Q4518863$D323F0A8-BF28-451E-8B2C-958C6B31CE7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ee5d386210c6d810a66965a014784acd19b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1404984,"id":"Q1404984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc7d6a44ca873b5ee5972105a5e6b1e1a770bb3","datavalue":{"value":{"amount":"+0.9300801157951356","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":"Q4518863$001017FF-6DE9-4A6C-B995-5E6B0AF0BB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c28a0d367ef5e7822d93fac243fd0945c712f5","datavalue":{"value":{"entity-type":"item","numeric-id":5717459,"id":"Q5717459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fb7935cee66c8e31773fcfb24e23600075f59c","datavalue":{"value":{"amount":"+0.7493926882743835","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":"Q4518863$655160C3-90AA-4727-9DC4-69244E5C72D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265f9f5e9db8b40313331abc9d0ffdf9dbeb2826","datavalue":{"value":{"entity-type":"item","numeric-id":4847001,"id":"Q4847001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2161ea8e457edd9d91dc3cad865d818180f7888","datavalue":{"value":{"amount":"+0.73890221118927","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":"Q4518863$D2479E42-6120-47EA-9112-8DD0A82768B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd4d5e4ed8d8ec02312bde3b3eebb1213a03487","datavalue":{"value":{"entity-type":"item","numeric-id":5881200,"id":"Q5881200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bab6c228186d483582121bd9bc89a758afc350b","datavalue":{"value":{"amount":"+0.7368134260177612","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":"Q4518863$BFE614B8-6A88-4996-863D-BE9850738BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc5005ce220e7189d39b151521c80328c635f2c","datavalue":{"value":{"entity-type":"item","numeric-id":4539649,"id":"Q4539649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035eb1315cc6d1aeb5a171de2e8d078b6a81cb8c","datavalue":{"value":{"amount":"+0.7318410873413086","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":"Q4518863$6B092890-9BAC-4738-8BFB-300AEFC991AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518863"}}}}}