{"entities":{"Q1599761":{"pageid":1610501,"ns":120,"title":"Item:Q1599761","lastrevid":70931394,"modified":"2026-04-13T18:19:24Z","type":"item","id":"Q1599761","labels":{"en":{"language":"en","value":"A logical model of HCP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1751279"}},"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":"Q1599761$3A697452-7890-4F45-A28E-C504C0B73D2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b3025eb97990e10556018d98e4b0520bb9f64e3","datavalue":{"value":{"text":"A logical model of HCP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599761$6CE49A1A-6CFD-460B-883F-125659B2030B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9ac09b1e127c0cdf5dd58b5a670f33c9aef7570","datavalue":{"value":"0996.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599761$FF78388F-0A0B-4838-A203-3E3634F87B17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba1d75f5250e37a286f825f4bb8bcb0d263c6eb8","datavalue":{"value":"10.1155/S0161171201004598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599761$06FC39C1-1450-477F-B9DA-58469C29BC6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7784f799392020c4a097af31a4a36925b3e80970","datavalue":{"value":{"entity-type":"item","numeric-id":1387765,"id":"Q1387765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599761$7B80E82A-EE6E-4C3D-B807-02A9A590EB4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599761$74919753-9FD8-43F4-95B5-0F4FCDC9DAE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6f630a8f9062cc7a61bf0b0d4072e8f242af2b3","datavalue":{"value":{"time":"+2001-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1599761$044FE0AB-2911-4C93-9E71-06CC1D857C0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1229524da4bf7bb6976ffde0e7a3dd80c7048750","datavalue":{"value":"https://eudml.org/doc/49480","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599761$B5ECD43A-A82E-43B7-BD4F-B52BC8469E61","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ccc2a05fa091d639a2b7aec96c1ba6b2ed7868a","datavalue":{"value":"Summary: For an arbitrary undirected graph \\(G\\), we are designing a logical model for the Hamiltonian Cycle Problem (HCP), using tools of Boolean algebra only. The obtained model is a logic formulation of the conditions for the existence of the Hamiltonian cycle, and uses m Boolean variables, where m is the number of the edges of a graph. This Boolean expression is true if and only if an initial graph is Hamiltonian. In general, the obtained Boolean expression may have an exponential length (the number of Boolean literals) and may be used for construction of the solution algorithm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599761$7922EDED-F6F5-40BF-9F8A-1F0A71078E94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599761$FFA9D1CC-A1D0-43E4-A7EF-7A132FC0E660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599761$DAD10402-E2A4-464F-839B-2363063403C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31537870d308e9056640d79a8b51544546192e7c","datavalue":{"value":"1751279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599761$20C69571-F9C1-4914-B56B-37303759DD13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35f6e12279431f0167e4b6d99fb9654e2fb19b1f","datavalue":{"value":"Hamiltonian cycle problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599761$06B740DB-C976-4928-ABCC-D9DC995724B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599761$DBB7DAEC-5500-4F62-8533-F9C8A601723B","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":"Q1599761$C51C21B6-D081-400F-B976-B8187F6F7D0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a306bfb31c73fc7e6d60e13245565f71afe7f9f9","datavalue":{"value":"W2109929041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599761$95E2E486-4CB2-4C57-A162-245FC83C8525","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4166c9af5226624d7972f15fc8844af724f685d","datavalue":{"value":{"entity-type":"item","numeric-id":880641,"id":"Q880641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ce4e5a257154101d1a4388442b30d9c62969f4","datavalue":{"value":{"amount":"+0.84596956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599761$2D6DD621-E907-4A00-BCF0-C856DC8FFA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe8b3a85c66e804213d51eb2b7ca752b1e48cc5","datavalue":{"value":{"entity-type":"item","numeric-id":5712301,"id":"Q5712301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e3f5a9dd3078b956c3d830fab210124d9672c5","datavalue":{"value":{"amount":"+0.83545756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599761$C568C8A2-C1AA-4DAB-9055-30FF31019B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3acd655db0a8be86625ee414e4fe15b34c5fda","datavalue":{"value":{"entity-type":"item","numeric-id":5494212,"id":"Q5494212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7502580a4d133cde7f32812f844e3e0d4afa9bc3","datavalue":{"value":{"amount":"+0.83540475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599761$A6A4931D-7559-4D28-83D0-8195909562FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79963a91012de68746a106bd93b68906bea54a3f","datavalue":{"value":{"entity-type":"item","numeric-id":484189,"id":"Q484189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6042b1635827a9bbca7ef90deeedffeda1dc011","datavalue":{"value":{"amount":"+0.8246393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599761$BFD3D3AE-0E83-40A0-AF0A-0F559F7EFE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297c0bd4c0dcd6a66884eac20e05ad009b76e0a6","datavalue":{"value":{"entity-type":"item","numeric-id":4298364,"id":"Q4298364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4dcc831406666c1882af78e5c2a09fd71b0d581","datavalue":{"value":{"amount":"+0.82205236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599761$07A0F188-9E74-4EE5-8AFD-7206DC0AA0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e12b81f56d7362bb166a37c0f0eda06991004c21","datavalue":{"value":{"entity-type":"item","numeric-id":1807458,"id":"Q1807458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec397a7048ddd801cb443882df82f92e6e67c132","datavalue":{"value":{"amount":"+0.8206624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599761$5767685E-EB13-475D-BB4F-6C4F5CACC546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351917caf2f703b6dd6965cc140037b1484a08b1","datavalue":{"value":{"entity-type":"item","numeric-id":5855488,"id":"Q5855488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94ece46dced1ad0b5dbf4232242bd3a5d7de487","datavalue":{"value":{"amount":"+0.8196097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599761$B5958D51-0076-4E2A-8201-273465F76998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf4401b981222c1826e61029a06a528d1353f29","datavalue":{"value":{"entity-type":"item","numeric-id":4549382,"id":"Q4549382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d0a37161d9c7a7c1ea5e29eb7e34c9790a38be","datavalue":{"value":{"amount":"+0.81686825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599761$033ED1EE-8951-45EF-879A-720D9B60C75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95c10e819cf9189ae2dd5d7a427fd34308a3517","datavalue":{"value":{"entity-type":"item","numeric-id":5855503,"id":"Q5855503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3853107698309e9cf1503662b95131cd4e453708","datavalue":{"value":{"amount":"+0.81684166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599761$6F9CA0DB-5698-4BBC-AF31-7AFAFE1B5584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceea92be1e801aa60acc107cd8fd768df280756a","datavalue":{"value":{"entity-type":"item","numeric-id":5037517,"id":"Q5037517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3400cffe3bf68cab99136ca1ffb8dcb53abb50","datavalue":{"value":{"amount":"+0.81481487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599761$EDA427E5-0772-4112-A008-67769774AE06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical model of HCP","badges":[]}}}}}