{"entities":{"Q4249903":{"pageid":6279504,"ns":120,"title":"Item:Q4249903","lastrevid":40700963,"modified":"2025-04-04T10:02:04Z","type":"item","id":"Q4249903","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303350"}},"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":"Q4249903$8166FDAE-419F-44CF-B906-8606CB21AAE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77804e5b93e721d9ed21803dd8a6baf371c3c708","datavalue":{"value":"0924.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249903$42C62B87-6372-4191-90E7-3696A560F897","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5fa5da603477bed196262dce34c616a0a67c991","datavalue":{"value":{"entity-type":"item","numeric-id":742366,"id":"Q742366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249903$2233B9AD-81F3-474B-B125-8C8FA711BE9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8b9eaa2bb0e97d3cd2a2822e2e24e095566e76f","datavalue":{"value":{"time":"+1999-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249903$97F67769-052D-4CD7-A5BB-7782B27E10B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249903$309E1312-26D0-4C26-A653-A0ECDAA1DB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249903$3C79A8B2-709B-48D7-B18B-584317384F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249903$0672F558-0B63-4AF1-9093-8051915BF533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a487fd17381fe9982134922d29fa539f967f89a6","datavalue":{"value":"1303350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249903$C7B99510-ED8B-459D-B7D5-0FBFA38F2FA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"698542b58ea564916b2ef53688be87fbd4e7199e","datavalue":{"value":"Buchberger's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249903$41EC6408-AE5C-4022-9BB7-2FFECB1F846B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249903$1D8171BD-0A49-452F-A681-6D5BE299FF18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249903$54647F30-08A6-4766-917A-791495838B51","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":"Q4249903$646117F0-E1EE-4E89-82F7-FA8741CF33E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efd67c0f7e76c76ece8bed463c26443822fdc8fc","datavalue":{"value":{"entity-type":"item","numeric-id":1595926,"id":"Q1595926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9df4782839961b5594f962e6f48ea10e7cb76d5","datavalue":{"value":{"amount":"+0.8793895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249903$14A78E7A-D612-4FED-9875-A76C224E1E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2098b3d7965084d9e6d93f5518bdeb77a74b8bd4","datavalue":{"value":{"entity-type":"item","numeric-id":4691783,"id":"Q4691783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c54be39989efba04ffc7a72ed4c1e9de451c6b","datavalue":{"value":{"amount":"+0.86860794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249903$7ADCA2BA-3775-47CD-AB2D-39BE4A577B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816c9a0df76b51fe8c12d3110f1fabe3069a190e","datavalue":{"value":{"entity-type":"item","numeric-id":4841300,"id":"Q4841300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f2a252ee8e1ca8c5a45b973a48f0206a1f813a","datavalue":{"value":{"amount":"+0.85348094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249903$92770A8E-F0F6-4414-86A2-4B36E701B043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a20da8aa0a8155a33ac04b818c0dc31a8db7b8","datavalue":{"value":{"entity-type":"item","numeric-id":4889407,"id":"Q4889407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f2a252ee8e1ca8c5a45b973a48f0206a1f813a","datavalue":{"value":{"amount":"+0.85348094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249903$C693546D-03E9-43F8-840E-E780E38C6B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0572e6a6621a97b4129d68ffc1980f51e645d569","datavalue":{"value":{"entity-type":"item","numeric-id":5094121,"id":"Q5094121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4831bd4109251f0ea31bacab5972d2912377e4d5","datavalue":{"value":{"amount":"+0.8495232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249903$31785925-E6B8-4152-8676-5F341D86CEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b052034ad11559478adcc407dada44bfeceac88","datavalue":{"value":{"entity-type":"item","numeric-id":5049009,"id":"Q5049009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de994a0ef1ddf2fa2ae1a85994dda1ffedefb9f","datavalue":{"value":{"amount":"+0.84952307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249903$C3B85003-AABC-4C8C-98DD-1156FF5E9821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76761c445cd41f35a82cc0e63f676fb7cb66449d","datavalue":{"value":{"entity-type":"item","numeric-id":1121950,"id":"Q1121950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ae645a34447c154e677703574b0e97a1455fbd","datavalue":{"value":{"amount":"+0.8452686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249903$1375E96F-EF5A-45CA-837E-8312431AF114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d5e7750be7e826c63542b34bec0f09813ecaed","datavalue":{"value":{"entity-type":"item","numeric-id":5875751,"id":"Q5875751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8734ef0665b358c9e5b183bd66bfdf7687515efc","datavalue":{"value":{"amount":"+0.84317505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249903$A172D41E-0157-485C-8EA2-08E3B86F528B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2de2eb2b2ea2e9ac379d4aba1cbc81d003e4de","datavalue":{"value":{"entity-type":"item","numeric-id":2176671,"id":"Q2176671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e682430eab91e70846109510c1ab283ce3205504","datavalue":{"value":{"amount":"+0.84066015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249903$43364D40-D21D-4B3C-B7BC-88F6B80C4D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df710a2fea7b73097607b1b735ec1e1d58cf9363","datavalue":{"value":{"entity-type":"item","numeric-id":465678,"id":"Q465678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b827694b74b4532e1231e4ec2436dde310e5a0c","datavalue":{"value":{"amount":"+0.8401534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249903$775B4809-50A7-4CE4-8941-5D5E1DB981C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249903"}}}}}