{"entities":{"Q4841154":{"pageid":6870734,"ns":120,"title":"Item:Q4841154","lastrevid":47337973,"modified":"2026-01-01T10:28:19Z","type":"item","id":"Q4841154","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 781350"}},"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":"Q4841154$091FCE9E-CB1F-425F-A9CA-0E610E164482","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f611a25c5cc8ee83d5601d8ad6ff8c990b97521","datavalue":{"value":"0832.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4841154$8B9C457A-7320-4229-8E64-EFA526BECD5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5d07f2a0f49c93b56b1b77431e9a1e886652c89","datavalue":{"value":{"entity-type":"item","numeric-id":401640,"id":"Q401640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4841154$A12539F6-2433-497B-A520-4DBF6C3C548A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0df2091f56edb46baab3d2fe39f03e68cc5a43a6","datavalue":{"value":{"time":"+1995-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4841154$56383C97-3E9D-4374-87A3-AD01668EE47C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4841154$284C976B-588E-48C2-8090-615D1FB7BEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4841154$617DB6A8-3E4B-4618-921D-EE3DC918C2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4841154$C3DC5FB2-3848-4CBC-84F4-67E6F81AF3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4841154$C4EAB830-09A2-44E8-8BCE-64958E8B8480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4841154$47CAEA01-39E9-4E46-93AA-48843A4BDAB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cb3b672809dfd0a8561da081850537a1c09fd6d","datavalue":{"value":"781350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4841154$EE2046B4-9B59-4552-A4BF-EB309D8F997F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4841154$17265638-3D25-47B6-BB40-CB808A8D2340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb267c32aa43fc9243154769f70c4c21e0f3b821","datavalue":{"value":"Boolean equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4841154$E62366B4-F72F-4A69-9304-D311D01A86D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe708dcce91d571d1ebd3853007f0b16521f4c8a","datavalue":{"value":"Boolean circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q4841154$89435F5C-BCB2-4AD2-B2BF-F93F51E0EBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4841154$84EB568D-A6B6-4BEB-865C-7994659243A7","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":"Q4841154$B7E76433-45C4-499F-9A59-89D95FCC28C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa58f71c791179c1973c0808f92950114e913f92","datavalue":{"value":{"entity-type":"item","numeric-id":4393484,"id":"Q4393484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d253e08d0689c298e248123e78516c01cdf5665b","datavalue":{"value":{"amount":"+0.7829983234405518","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":"Q4841154$5FAC53B6-4D4A-4E2B-810F-B2887DC634F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c748c7a4e0b37d1258408938ebbc7cd9a4f1c70","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d253e08d0689c298e248123e78516c01cdf5665b","datavalue":{"value":{"amount":"+0.7829983234405518","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":"Q4841154$68544C63-8499-4859-885A-7A6D94871A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052c7234a28ea27652eef501a48ae1cb345fe9f7","datavalue":{"value":{"entity-type":"item","numeric-id":4039803,"id":"Q4039803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5700aac37d01e58097f58d1d37a79442c4060e","datavalue":{"value":{"amount":"+0.7716596722602844","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":"Q4841154$AB22F200-4392-49BE-BB96-17D986DF728A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3778f88c86cd0ab7230f6d6e7635ad7f76020c3","datavalue":{"value":{"entity-type":"item","numeric-id":1073788,"id":"Q1073788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb902a94530f8c961a0701ebbb4630ec0c8a22f","datavalue":{"value":{"amount":"+0.7683674097061157","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":"Q4841154$0C301CBC-D7F7-4EA6-8C33-A6F0310ED688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29d770ed386cf5da2637beeaa4b875135bcffd0","datavalue":{"value":{"entity-type":"item","numeric-id":4692882,"id":"Q4692882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e3165b6df595e5572ff15805714e8f3d1aa4fb","datavalue":{"value":{"amount":"+0.7619765996932983","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":"Q4841154$F7AC8F66-5BD2-40CB-80F1-1F1D0CFB3A56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4841154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4841154"}}}}}