{"entities":{"Q1791143":{"pageid":1801885,"ns":120,"title":"Item:Q1791143","lastrevid":72966273,"modified":"2026-04-14T09:04:30Z","type":"item","id":"Q1791143","labels":{"en":{"language":"en","value":"Formalizing ring theory in PVS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946972"}},"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":"Q1791143$62E1AF27-45A4-4C00-8397-4F018A9D44BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bb9ca4c53f20cff944b4d8fbbec65e5a712b22b","datavalue":{"value":{"text":"Formalizing ring theory in PVS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791143$D5552E53-6B24-4A6D-87A6-B631C662D96A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e6eb3cde9fb231c545ddf219e577a3035380537","datavalue":{"value":"1451.68332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791143$0E94A6E5-064B-4C0A-B655-272521284C3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"450436b34bdb4ea0e99bf0a46b47828126217f3f","datavalue":{"value":"10.1007/978-3-319-94821-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791143$3F8F9A97-8C15-41BC-95D6-C99B3A9E7234","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f76d8144d80656d3620fc69f9a6bfe478e1dd6f","datavalue":{"value":{"entity-type":"item","numeric-id":1791141,"id":"Q1791141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791143$4B8B1D7F-8717-4971-9FBD-8E4DFB32DAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0ab50f373d02322541ab0f04acda7a32f5083c","datavalue":{"value":{"entity-type":"item","numeric-id":1682879,"id":"Q1682879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791143$BD3F1F84-FBAE-4F6C-8D05-42E41C5E20A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"baaf8ee5290380abf3ee36f3d116f49dd8b26b4a","datavalue":{"value":{"entity-type":"item","numeric-id":1791142,"id":"Q1791142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791143$663F937B-F8A1-4AE3-99C0-7BC07594C624","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791143$4B9FDF9B-6949-4A8E-BD2F-D5309208FE58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791143$5ECE903F-1C10-4D7C-8F28-A2B12E2B6E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3261dadc98deaaa969a534e2a2cb92fd4aa565f7","datavalue":{"value":"13P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791143$3CF09657-73DE-4BD2-90A3-CA5F015F996F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6271f9f85cf3b392d27d7428027b4d6de7fabb64","datavalue":{"value":"6946972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791143$FAAEF56F-1578-4574-A21A-FC39FA89981B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791143$8511B4E9-000E-4A95-ADE4-9B4CFF8A5132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791143$543A92A5-ED5D-4C5F-B581-F4BC5D56F116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791143$0980E82F-EA85-462D-8AFD-41462346C64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a0f9a97f12aafd7c258bb9b7eba4ff6246a62e7","datavalue":{"value":{"entity-type":"item","numeric-id":40362,"id":"Q40362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791143$E714A1DB-D426-41DE-932B-B2531D6622BC","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":"Q1791143$164ADFA2-10C1-43BC-A20E-164B58B900FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c07efa5483d5bf15115325f604d34fc4f5a8c53d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791143$AF3B3A9C-7E66-433A-A16C-E7FE6AE8955E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5105ad599ff07bb1ae7f321dc3e7c8e2c1a1b088","datavalue":{"value":"W2810012865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791143$8B304DB8-4CF7-43A2-B8FA-99B28BC91A3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69aa717b6deb9ae81334601df881cf4c9f6405d4","datavalue":{"value":{"entity-type":"item","numeric-id":2069874,"id":"Q2069874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbaa5acfa2172643db3d9cac57bf783d97981941","datavalue":{"value":{"amount":"+0.8855018615722656","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":"Q1791143$5C0E3A0E-193E-4E75-A722-019E54C7C720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8a8944024a89e6cf9d78b58a78e45e62a75971","datavalue":{"value":{"entity-type":"item","numeric-id":2658812,"id":"Q2658812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2534f5683ccb291e045b2c45249bcffecb25d384","datavalue":{"value":{"amount":"+0.8461840748786926","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":"Q1791143$1A1AB013-E23B-40D6-A44C-785F6A088846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b12deb2ee1d7a85be29365d1fb98407e7a5ba9","datavalue":{"value":{"entity-type":"item","numeric-id":516748,"id":"Q516748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db854fa549321fe5d06fcbbad571eb1659815fb4","datavalue":{"value":{"amount":"+0.7309359908103943","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":"Q1791143$26C2B680-C825-4CD1-A8C1-28F202F0A4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef2c93898880d20b2ef0bd2d04499cfd888dd4f","datavalue":{"value":{"entity-type":"item","numeric-id":1688742,"id":"Q1688742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356b4a02d228e30020bfef81a54cb0c1a2707f0e","datavalue":{"value":{"amount":"+0.7141858339309692","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":"Q1791143$4DC4DE56-27F0-4A9C-AA12-A678F961F524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019d0327bb7dca4c99d31463e9204e7854252bfc","datavalue":{"value":{"entity-type":"item","numeric-id":2819201,"id":"Q2819201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c148076aec7a50a515ab64d202ce49be3905ae6b","datavalue":{"value":{"amount":"+0.7104652523994446","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":"Q1791143$6DEB1D16-29EF-4376-B364-AD934E016772","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing ring theory in PVS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_ring_theory_in_PVS"}}}}}