{"entities":{"Q2563951":{"pageid":2574694,"ns":120,"title":"Item:Q2563951","lastrevid":46874118,"modified":"2025-12-25T18:33:11Z","type":"item","id":"Q2563951","labels":{"en":{"language":"en","value":"Program correctness on finite fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 961019"}},"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":"Q2563951$DEC0691C-F618-4CFF-865A-A3D9A91881A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68cec37358682aa4bc5a03cbfa81f0227e9ecdff","datavalue":{"value":{"text":"Program correctness on finite fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563951$3FC8E9CF-2C2A-4F08-BE3D-F837601E5448","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"471a58314cef34c46139fad334818f67f4727de4","datavalue":{"value":"0860.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563951$4C7C30C0-92F5-46DE-82A3-45E06DBAD102","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a9605e93079bc08bceca6ab58dace5401d2d9e3","datavalue":{"value":"10.1007/BF02341087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563951$B46E2598-E2CF-4344-A6A1-5AD93C7533B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4e70b5a3726ad737c6aa92da85e135ebf1b133","datavalue":{"value":{"entity-type":"item","numeric-id":247008,"id":"Q247008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563951$DBE64C04-016C-4E65-8A21-505636CCD394","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"615950119797f35f49728e278e9727b73c5c7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":168620,"id":"Q168620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563951$3C6B8B73-2C84-446D-BBE1-18128B2D4225","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c801a535faf34d401397663289d383bec15e5ca","datavalue":{"value":{"time":"+1997-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563951$AC109F61-9D55-4C08-8B56-0E7D9675434B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563951$2203A2CC-BEEE-4D8F-BA1E-1B3CDFA2E55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"292377916051be7ed8523a9de41751734b556659","datavalue":{"value":"12E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563951$6A7B0853-2984-4DE2-8C49-074F41782986","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6602d362d7715feef06df0f7705b98c1a9b26b8","datavalue":{"value":"961019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563951$BDC4E970-F692-41CB-A414-7013DC4BF776","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563951$ED4B7101-1CF9-4303-8119-C4EDAF638AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a785d77b5a061e4baa7c1a3d660c0b66b6f89d","datavalue":{"value":"Floyd-Hoare-Naur method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563951$486E8EEF-BB3F-468D-B1D1-FE3623B3FE53","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":"Q2563951$622A2DB0-909B-49C0-9BA9-8E3F39463297","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ceb4fa841e10f6e101d2df6bb13fb6c81be5a1","datavalue":{"value":{"entity-type":"item","numeric-id":2553467,"id":"Q2553467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563951$AAE9DEA3-5335-4E52-B5DF-E5294819E1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38af94e85d3150b56596cccfd2f262da6745dec7","datavalue":{"value":{"entity-type":"item","numeric-id":2539067,"id":"Q2539067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563951$7C3663F1-2FA4-47B2-AB9A-8942D8811F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b21e90a23a5672c558c84dfaa27ce2856c251a","datavalue":{"value":{"entity-type":"item","numeric-id":1162355,"id":"Q1162355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563951$0C56095A-121F-41DC-BDDC-A61D7C1B2C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322b6f1a81d5899d0a8b85dffae86812b3ca5836","datavalue":{"value":{"entity-type":"item","numeric-id":1171876,"id":"Q1171876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563951$5B771422-0955-4474-9D45-792C1C8DE828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa88669227141db71dbbde7111e0cc29dbacbe07","datavalue":{"value":{"entity-type":"item","numeric-id":801661,"id":"Q801661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563951$18D99926-09D2-4729-AC96-28698414AFE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce7bdad2532f4d7df7db035258fed4015030a55","datavalue":{"value":{"entity-type":"item","numeric-id":760793,"id":"Q760793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cec4e9627166b19228e62ba63f0b8623dc3746e","datavalue":{"value":{"amount":"+0.7692198157310486","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":"Q2563951$0C3A6C8E-4489-4C5B-959A-2FD7D9F97767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a3b90626cd9f864c262c45698573772dcf659a","datavalue":{"value":{"entity-type":"item","numeric-id":3694664,"id":"Q3694664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784f3d977f0efbf9474f45f3e561a868c923e4c0","datavalue":{"value":{"amount":"+0.7636286616325378","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":"Q2563951$676CCD81-377C-4513-BDE8-56898A24CA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b99bfba67f5d1c8f1d546fdcec8a5ee34d2e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3811698,"id":"Q3811698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b27a501950523dd153334b9671313784e8acf3","datavalue":{"value":{"amount":"+0.7588308453559875","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":"Q2563951$E4E7FC7D-5775-4951-B4F5-D58D4A87C6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12e2d07fed965fe7dda8bd47e4112d7a8e643eb","datavalue":{"value":{"entity-type":"item","numeric-id":3217582,"id":"Q3217582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6464e27029df85edb4b8ae3b26ce048d9f4cc60","datavalue":{"value":{"amount":"+0.7515934109687805","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":"Q2563951$76C828EB-6378-4A6C-B4A5-173CB7721BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562c92cb91f0b2ecd3f6b1b6b8e9d74cd40afb2a","datavalue":{"value":{"entity-type":"item","numeric-id":3012541,"id":"Q3012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56990570c627f7561ec0e0adb34fe0ca98747ae0","datavalue":{"value":{"amount":"+0.7441239953041077","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":"Q2563951$E71BB767-0BAA-4E33-A244-DE5D8AC99AE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2563951","badges":[]}}}}}