{"entities":{"Q821319":{"pageid":823167,"ns":120,"title":"Item:Q821319","lastrevid":64621809,"modified":"2026-04-11T21:07:35Z","type":"item","id":"Q821319","labels":{"en":{"language":"en","value":"A sublinear Sudoku solution in cP systems and its formal verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7397420"}},"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":"Q821319$6550E63A-985E-461F-AF8A-1259AAF79C5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c108f47f26d70427ee05b052b96f4cfb23f91b3c","datavalue":{"value":{"text":"A sublinear Sudoku solution in cP systems and its formal verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q821319$BE07CE58-4F34-4EBF-B658-3EE835909225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1e5ef93761e457267ce1037fb098b9f00f07cde","datavalue":{"value":"1469.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821319$671B6C4A-79CE-4FC0-AEE2-5526683F48CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c1f92b930c3e0e004aaa48c85c739ecb258744","datavalue":{"value":{"entity-type":"item","numeric-id":821317,"id":"Q821317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$8CA29FE4-DB57-44CB-8FD4-550B11DED7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f01c93e990ec3d33d00ab1e7b45c045e876b08eb","datavalue":{"value":{"entity-type":"item","numeric-id":256433,"id":"Q256433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$2D617DDB-B7E0-425C-B5BA-A62E144CA2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bb979099c8491d1c4ab08dc4b324da133551018","datavalue":{"value":{"entity-type":"item","numeric-id":319218,"id":"Q319218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$61ED430F-6BBA-49D5-8E61-5FE71CB38192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e28a9c663c014baa877b30cb03df44b2569c392","datavalue":{"value":{"entity-type":"item","numeric-id":821318,"id":"Q821318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$F49DF296-6C6C-4EE4-85AA-F62E95CB9610","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e919ee3e1bff25d5819a92667748233ad0caa11","datavalue":{"value":{"entity-type":"item","numeric-id":203304,"id":"Q203304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$FF2186D9-69A3-454B-8168-200ACC061DCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"596b4c87ea0f7e3618f192a27775e0f383bf77ea","datavalue":{"value":{"time":"+2021-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q821319$EC676CB2-A0CA-4C09-8534-2C73090237A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4787ab5c2c38bafd3a2debd6afe971d9147f8f42","datavalue":{"value":"http://www.math.md/publications/csjm/issues/v29-n1/13260/","type":"string"},"datatype":"url"},"type":"statement","id":"Q821319$E217F8AC-2DB5-49FE-B7CA-2826A7F2D002","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821319$5A7018EE-5684-4629-A065-5415097DF418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0fb5c2b5135b23a64eead86c75bb584d8442d720","datavalue":{"value":"05B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821319$FE601563-9C0A-4EE0-8601-39C6057339E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821319$05D7D421-084C-46AE-9BF0-2772578C9CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821319$1E8932D9-06BF-4644-827D-84F8C8DD9C7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"952cf83b4980611b423322b177238a7cb6830dd4","datavalue":{"value":"7397420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821319$5660CE8D-5E2D-49DD-AD8D-5DD9B726467A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"797f1146d7251c68dd724a337f11d29157f9d712","datavalue":{"value":"cP-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q821319$FA8438E3-2032-4089-980B-7962BFEA7C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1098f61c0460c39914ab8089e3f5592684da473b","datavalue":{"value":"P-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q821319$BFEC0567-BE1A-407C-B06B-A53C64290C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f49d96cdeea21424e04949de9a050b2120023cfa","datavalue":{"value":"Sudoku problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q821319$7DB92D49-8CA4-4A5D-B67B-2A0992C81A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50dc5a1d041f9e444212e60e5236dde69d229f7d","datavalue":{"value":"NP-complete problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q821319$DC060195-8A7D-49E6-A0B4-DB19F2F2E68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q821319$D5DC1EB6-80A3-47E4-B9EC-830A21D721BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde88779cb6e7d8c59bbc11141f6f12a921e132b","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$A6EE03E3-9F80-400C-8E9C-27C2C2989A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3e60a8763bc4000cc911b9070b55cdb649a25b75","datavalue":{"value":{"entity-type":"item","numeric-id":39432,"id":"Q39432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$C9851959-DF5D-48B9-8A25-70C03919BFEA","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":"Q821319$79A77C66-FA8D-459E-8C07-5936F2140A76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"574255574e3716932b90df95858f118919138964","datavalue":{"value":{"entity-type":"item","numeric-id":1783641,"id":"Q1783641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$9378059B-F5E5-4927-AACA-9536C09E2776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63807d9a5469b82af3976d3108aa81f3dcd585f","datavalue":{"value":{"entity-type":"item","numeric-id":4975812,"id":"Q4975812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$63803C50-99DF-4A50-A38F-C0F7C2214410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bfc6398f5f5c8e5c67f46324e6778b453ad783b","datavalue":{"value":{"entity-type":"item","numeric-id":2873776,"id":"Q2873776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$EC5EE0FE-56B1-48E3-ACEC-EFE6A8DC7C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc715e27156280a138563a00f62c383872123ed","datavalue":{"value":{"entity-type":"item","numeric-id":1582013,"id":"Q1582013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$D5A42CCA-062D-415F-90E4-F54F295CD423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307de5769c683bf83155d7be8c5579f2203d4476","datavalue":{"value":{"entity-type":"item","numeric-id":2707535,"id":"Q2707535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$302CD9D1-BE84-4B4F-8C53-C9FF1D9994B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494dc0d0f50964dc1b9383a825ff91a544926241","datavalue":{"value":{"entity-type":"item","numeric-id":1401274,"id":"Q1401274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$1B17ECB1-5BE9-4CA5-9B86-5D2C2F39FA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d200102da6f0e13455bd5126f66d8c07ae4eec2a","datavalue":{"value":{"entity-type":"item","numeric-id":5480659,"id":"Q5480659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$988B94A5-3883-4D69-BBC9-6DCDA5D9ABA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ab8c15e8c1597aa9de10bf1c5baa60032307dc","datavalue":{"value":{"entity-type":"item","numeric-id":5404858,"id":"Q5404858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$E8653B73-DD56-491E-A9CF-7AAC108B59DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7715378ddc6c33583fab8de3e4a321740cd942","datavalue":{"value":{"entity-type":"item","numeric-id":1709914,"id":"Q1709914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$2469F7BD-9F0A-4B85-AA61-E42A92F6B7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508776c7afd9d483445b6e863ce452e331b471df","datavalue":{"value":{"entity-type":"item","numeric-id":1982961,"id":"Q1982961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$ED1C4C4B-11E3-46A5-A366-168E2F3A895F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd4a92dc4a4f4cddd5947e004d2c4b8987e2524","datavalue":{"value":{"entity-type":"item","numeric-id":5379885,"id":"Q5379885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$24A3B8BE-5826-4DE9-87AC-F0CF6B26CA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f8898ba2e29ff0147bba661d0e3f9419b3bbd0","datavalue":{"value":{"entity-type":"item","numeric-id":1982985,"id":"Q1982985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$B4B9407A-A836-400B-8859-5B9D2E01990C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f11e640a97d9c8db603b5202111ae9abb2aaee","datavalue":{"value":{"entity-type":"item","numeric-id":2873776,"id":"Q2873776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d181102ec7fcca2e9f4439707ebf8e76e2caf5d2","datavalue":{"value":{"amount":"+0.7382963299751282","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":"Q821319$1D5CFAD3-6AEF-437E-8FE2-C152A895DF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f34b65645b3593e9471e1aabedcd9cf8e60d86","datavalue":{"value":{"entity-type":"item","numeric-id":713152,"id":"Q713152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f508ea39be6365753ff4b5e1dda7711020a88d","datavalue":{"value":{"amount":"+0.7237374782562256","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":"Q821319$D7B6C055-E4E3-4794-ACDD-6BC9074F0A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed45793357aaa133850c8671fb1dea05c62b12e5","datavalue":{"value":{"entity-type":"item","numeric-id":3107100,"id":"Q3107100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65bc4429916b07a4335c402e8152b4eb3ebc9b46","datavalue":{"value":{"amount":"+0.7103278636932373","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":"Q821319$BE9E1727-9261-43A9-9C4B-A1A3CF63A4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2b35df74fdebc9f23b13e7919cbd33f80536ea","datavalue":{"value":{"entity-type":"item","numeric-id":504159,"id":"Q504159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c268513e85d7c9c1c197deb60dc1853efd90c2e9","datavalue":{"value":{"amount":"+0.7101830840110779","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":"Q821319$88D9C95B-D854-4C8B-8912-5322F8585006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f01d742923cf7fa04a778e068dd9b7565a7fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1982961,"id":"Q1982961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b28ab469843686294f1c8df2bcc041814aedea","datavalue":{"value":{"amount":"+0.7040672898292542","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":"Q821319$CDF5FC31-02AA-45B5-A396-F10A930509FA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"601a8be25209c46f574d1c22a38bee2246bce6f6","datavalue":{"value":{"entity-type":"item","numeric-id":57078,"id":"Q57078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821319$C6F642ED-F396-4C27-884D-89346DC998CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sublinear Sudoku solution in cP systems and its formal verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sublinear_Sudoku_solution_in_cP_systems_and_its_formal_verification"}}}}}