{"entities":{"Q5221791":{"pageid":7251361,"ns":120,"title":"Item:Q5221791","lastrevid":53700467,"modified":"2026-01-25T14:08:49Z","type":"item","id":"Q5221791","labels":{"en":{"language":"en","value":"Logic for Gray-code computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7185180"}},"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":"Q5221791$1BEB6B90-3DB2-4764-BB55-146527B65908","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2a95517235baee6127e98c27ac8e3c7958eebba","datavalue":{"value":{"text":"Logic for Gray-code Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221791$6E9B7786-9DBE-491C-82F8-226E7C50A9D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1423e0c0e0e6f49f753341c126b4ae8a9a20edb","datavalue":{"value":"1433.03120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221791$B0D41EAC-C0DA-4541-9C1F-82CAD3EE7A73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32d8c71ee7410e9650135513827159aa657ce15c","datavalue":{"value":"10.1515/9781501502620-005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221791$C4EC2EF5-CF1E-4E53-96B4-2DF178892A41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221791$E3D14707-36A8-4B02-9D7C-A90C70A376C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e876e8b0b62c093be1b48036fdda4e6051620765","datavalue":{"value":{"entity-type":"item","numeric-id":3090882,"id":"Q3090882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221791$5D19899C-3886-4334-819C-6DFB7580D329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221791$F532A7D0-0C23-4A86-9693-FB26AC846915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23c9d3ffaa6f717d6ff9c43e4927c20484f70f40","datavalue":{"value":{"entity-type":"item","numeric-id":265833,"id":"Q265833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221791$670B5813-317D-4FAA-865D-67BC75F3548C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"acf087543524d623afbdd16ad688f4bdec86d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5221601,"id":"Q5221601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221791$BDA8DDDA-9026-4407-B595-65179506E3E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5742da56dc1731f3b0dbd67108cb88ffed960e3c","datavalue":{"value":{"time":"+2020-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221791$EDA97D1D-8F28-4893-9F13-E83606ECB231","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76f7f41f6e364d2ad55a250b0be89c184bc13818","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa28978","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221791$0AA9126A-C0C4-4D00-A4A3-7E6660496AAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221791$AFC26D19-BB98-454E-A94A-176CC656D2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221791$9451AB0D-02E2-430C-80E6-909743074452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221791$3460E2DC-D8A4-46F4-990B-82AC5E43BED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221791$27BC4EF8-5AB4-4FA5-BF25-552C3EE48740","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"710e9593b735c6b321d3ff540db0c855ce8e122e","datavalue":{"value":"7185180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221791$F26D7880-0B07-4F0F-8ABF-65442AE726AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0dd4f37f36869add60ae1d8438f1470a5556e21","datavalue":{"value":"Gray-code","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221791$BABEC9B0-C95A-48DD-AD70-4745E36FDD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a043dc0bd89c785a45379faac952f0327f8f29","datavalue":{"value":"real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221791$83D7A7EF-8454-4336-A13F-F71B8100964F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c8809f1e562906e65a7283f10222538470362ce","datavalue":{"value":"inductive and coinductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221791$34DDFB58-7DEA-46A0-BD0D-F2D74065B487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221791$432864A4-292E-4C38-84C7-691D3E0D3947","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":"Q5221791$0D049146-00C4-4330-8873-D6CEC337A1A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b9d5799cee04189770bc89add2001dc94cae502","datavalue":{"value":"W2500726595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221791$621D474A-761C-4302-B2E4-BC8C1E472A78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0906f39af688bfcf20e354fb567b1056e71d25b","datavalue":{"value":{"entity-type":"item","numeric-id":1607300,"id":"Q1607300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7a3969807e4d26dd421a5bb1dfdcf83ef0511f","datavalue":{"value":{"amount":"+0.8367990851402283","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":"Q5221791$EEB32D72-40B9-42C1-B723-B016C457B9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de87ab2416b928f8741b939ebb73a28a7789540a","datavalue":{"value":{"entity-type":"item","numeric-id":4405772,"id":"Q4405772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e330a2d9b8b3180488d6ccb21ad1354f3bcf5a49","datavalue":{"value":{"amount":"+0.706868588924408","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":"Q5221791$55B04EB5-B028-4192-B692-67CD538040E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2134dc3f01cda2ee390ca43b7e8410808839c1cd","datavalue":{"value":{"entity-type":"item","numeric-id":3816026,"id":"Q3816026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27414fae7f2f0ea4618e148dacd195d055736f0a","datavalue":{"value":{"amount":"+0.6935564875602722","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":"Q5221791$1CBE5FF1-F150-48CA-B68D-627663088450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3428661f1d6ed84000872ea0831a127d13c3ba44","datavalue":{"value":{"entity-type":"item","numeric-id":2974666,"id":"Q2974666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bed5c2c92423e7442995d831c041d3a09218e99","datavalue":{"value":{"amount":"+0.6900714635848999","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":"Q5221791$98A299B3-6DEA-4AD2-8CE1-CEE3DDA6888D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373567546d117d29407f4a622d9b55b2ed57d5d0","datavalue":{"value":{"entity-type":"item","numeric-id":1779564,"id":"Q1779564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1862be3a930d4e78c5ff64b809d7f226b0fab90e","datavalue":{"value":{"amount":"+0.6898532509803772","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":"Q5221791$69F06E78-97E0-43E2-8A9A-D4E917D95818","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221791"}}}}}