{"entities":{"Q6063871":{"pageid":13198027,"ns":120,"title":"Item:Q6063871","lastrevid":58666374,"modified":"2026-04-06T06:07:57Z","type":"item","id":"Q6063871","labels":{"en":{"language":"en","value":"On Correctness and Completeness of an <i>n</i> Queens Program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776333"}},"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":"Q6063871$3CACCB22-7F62-47B0-B9AB-60A1C341DF1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53ea1b6858602cc1d940ffb4dedaedef9dc5085d","datavalue":{"value":{"text":"On Correctness and Completeness of an <i>n</i> Queens Program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6063871$F1FE13F5-8CEF-4EF6-BADE-1F281621841A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"827bd2fbc64aea2ef16d690e1fd8085705ab4a38","datavalue":{"value":"1530.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063871$F1B44EEE-F77B-4ADB-85F6-089E8328941E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$BB17906D-6C48-46AE-A74E-56BDCD2E63BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$DD97DC7D-B646-403E-817C-6805461A47B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6063871$3C3DA029-F913-49E4-AA04-89C1ED20691D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f98965ec1f80d3f0b9abacbbba4dd3ef62d40ac6","datavalue":{"value":"https://arxiv.org/abs/2108.08079","type":"string"},"datatype":"url"},"type":"statement","id":"Q6063871$6AEDD0AD-F288-40A9-A9FF-E47079776B9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063871$0C484DD3-5C32-4835-864B-7528ACFF999F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0fb5c2b5135b23a64eead86c75bb584d8442d720","datavalue":{"value":"05B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063871$52F6434E-08D0-4641-839F-22AECB76B695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063871$BD9FE936-1130-4A90-91CF-938EA0374270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063871$601FFCF2-B6CA-46B5-BDE3-82E30BF4CF89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da081e2923ddaf8c5f062a472b1fee8b7c23a6a9","datavalue":{"value":"7776333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063871$AC3A1BA1-00DE-4248-BD82-4F3C24D6CE38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063871$C37B382E-CB4B-4E76-A46F-BAD05B677650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8532a0b621b8fce8b4d34a6d1df537336ed6e4","datavalue":{"value":"declarative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063871$940DACAE-FE9B-42A7-A9CC-A8B06963DCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d43f729f6f3364a4fe7aafeb4a1e84220e941ba","datavalue":{"value":"program completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063871$B62FCA11-7946-47D7-A32D-700CF7A4AA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063871$C73EAE4F-0179-4516-AAE0-94E85F7762A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063871$F70B2C5C-46BC-4547-85A7-57B3A2A0B656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d09c666d2f92cebff9c8453dd873c6c13892174c","datavalue":{"value":"nonground answers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063871$39956B89-6465-4090-A90B-3B73BDCF13DB","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":"Q6063871$61DC23BA-DB55-4333-AA22-8414E7AF0C18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cc3dda6b80e001f719f188bb732541291d0e04","datavalue":{"value":{"entity-type":"item","numeric-id":3630170,"id":"Q3630170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$586F7676-CE59-4789-BE71-9015896400C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f8353d47948af0a7e75ba237a7378c5bfed617","datavalue":{"value":{"entity-type":"item","numeric-id":4036282,"id":"Q4036282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$6805483E-227F-4657-B0A2-BDA2042D955F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9513c154891a7800ea46a331f726d49b960a5a","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$595CD086-DD77-47CB-9C28-5CB9F7577E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db4b7623e484d401f72696443649dd0b4416f58","datavalue":{"value":{"entity-type":"item","numeric-id":4875865,"id":"Q4875865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$85D7FC16-1E71-4AC0-80FE-1F6C46983F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26126f876d4c6d7688c2d6c268f25eb029e7a268","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$9DEA5DA2-B4C8-486B-A9C6-D2B3E7FF22D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504fc90221d28e93ce775118fc3d8a26bdc303d8","datavalue":{"value":{"entity-type":"item","numeric-id":4603427,"id":"Q4603427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$EDB61E8B-EABC-49C7-A02F-77EEDFCD462C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdbc934340bd494e6a1446d122567c32af3be58","datavalue":{"value":{"entity-type":"item","numeric-id":6102251,"id":"Q6102251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$A80E4013-54AA-47C6-A37A-6A7F82471D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07031ee71c40306176d9882eb83a4e5adafbf6e","datavalue":{"value":{"entity-type":"item","numeric-id":5715449,"id":"Q5715449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$4B6D408C-5EBA-46CB-BD88-CDD0A7D4D0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$C90E5186-0D01-44CC-B5E5-45CCE992B91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1381cc986ff31afaae0ad26643808031718586e","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$FF78CC12-65C8-49CC-B418-31A35E04C27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b2784184dd3750afe242ed3f86509e54d5455f","datavalue":{"value":{"entity-type":"item","numeric-id":3718124,"id":"Q3718124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$CDBA71BF-1F10-4A4B-BDAD-1EAA40EA7705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342ea4f6edcfa9b24e8c4722a1d0f43147ce5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4844167,"id":"Q4844167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$A867A2B0-0F64-471B-BCD8-ECF5400FB301","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fec0ed5921e0c8665493172ca2c34cc3e2a9639","datavalue":{"value":"10.1017/S1471068421000223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063871$02ADCC4E-9780-4767-AE36-4F3F8C3752C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844b27310de4479199b2650ad56f109090b9acc6","datavalue":{"value":{"entity-type":"item","numeric-id":6102251,"id":"Q6102251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b42a31dd9790fd233f6add1dc97aeb084a37d7","datavalue":{"value":{"amount":"+0.7724278569221497","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":"Q6063871$620F95B0-45E0-4E2D-9DF3-DA99B68E0DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7eefeaa99376282417663dec7df958cf284870","datavalue":{"value":{"entity-type":"item","numeric-id":4736519,"id":"Q4736519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c8da2faa8483c799bcd22d12494dd99da85509","datavalue":{"value":{"amount":"+0.7168431878089905","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":"Q6063871$CEF9891B-087A-46B8-9AE3-89303B433752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5be94989e95a5b692ec27555420d25bc46d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63997cef5c4b1dbd711cf9e816c771b4bae33838","datavalue":{"value":{"amount":"+0.7167686820030212","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":"Q6063871$BE8C49B5-40D6-4E3D-A234-52A05C01ADC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37653d54316d2263e1b7b87febae44b0c60c1957","datavalue":{"value":{"entity-type":"item","numeric-id":5715449,"id":"Q5715449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddbb9499298fcb2cc45e7b9076f5f7a9b7c4ceaf","datavalue":{"value":{"amount":"+0.7119274735450745","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":"Q6063871$69ABB732-D131-4953-8AFB-3C082C436EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19747309159fdbd489d35cca2e003b1d709c93b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3713ad82558d4300f4280327c5623101528e733","datavalue":{"value":{"amount":"+0.7116439342498779","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":"Q6063871$6C979D88-86FD-4296-93F5-6451ABC5A07B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063871$D4EBA767-79A0-40FC-86B9-1A3BE021E969","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6063871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6063871"}}}}}