{"entities":{"Q2018542":{"pageid":2029284,"ns":120,"title":"Item:Q2018542","lastrevid":52232591,"modified":"2026-01-21T05:22:11Z","type":"item","id":"Q2018542","labels":{"en":{"language":"en","value":"SAT and IP based algorithms for magic labeling including a complete search for total magic labelings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6419171"}},"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":"Q2018542$071A307D-73A0-4EDE-9D05-73C10118FF03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"945b6244ac53946acdde073cbd2023b58d09f4ef","datavalue":{"value":{"text":"SAT and IP based algorithms for magic labeling including a complete search for total magic labelings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018542$7E69DE5A-663A-4CFF-A9A7-3AF883F11190","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54299fdfc37aea0c9adc11a68a090fedd61f4e17","datavalue":{"value":"1322.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018542$1F8CAF70-069B-4702-A1F7-771E59D72193","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb52ee23a994a17838abfc901f5a11bd5ee7dae7","datavalue":{"value":{"entity-type":"item","numeric-id":813331,"id":"Q813331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$053A66C9-0EDC-4856-92FD-741059FC60ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de0e18dbd5414d9192712dda4351998f7e165a41","datavalue":{"value":{"entity-type":"item","numeric-id":1722959,"id":"Q1722959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$745C455A-B979-46B1-95F6-D34F6F878B2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a33251796f18919242eb286ef1f888e5d6e79da","datavalue":{"value":{"entity-type":"item","numeric-id":350720,"id":"Q350720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$B2973746-E091-4337-9FB8-1181B65FB686","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04d0d4c4c3e9076631188c819941971a1d8655c6","datavalue":{"value":{"time":"+2015-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2018542$1402C132-B0EE-491C-B2CB-6DFCB539A060","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018542$7B03C8D2-4AF3-4458-850C-7C0D1C2AB6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5333d0205ccf54f8482367bfadbaa8f4afc5f8fb","datavalue":{"value":"05C78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018542$E379B2DA-B14B-407A-9633-59EEDE91B28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018542$9B172802-64DE-4AA4-BB06-BA1A1614AEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018542$FF3B8816-3E5E-4F6E-BE80-6F83185CC7CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77638e43369dcd61ea00fc4ef98ec7cc8fc800f5","datavalue":{"value":"6419171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018542$93008745-B0C6-4166-A0CB-DAC7B6AAF065","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018542$D84FAC7F-44D9-4BA7-A2E2-0F970862C0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018542$B9D8B764-811C-4605-8AEC-6E4DCB83BA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e6b010e22c8b542086190ecf5ec12ee7cbc0d5a","datavalue":{"value":"magic labeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018542$D43DEAD5-A61D-4737-AC07-0717F7368528","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$54D39DEE-B70C-4C5E-B2C8-CF5B6B6B1285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19d73ed5584d96f995ed66a4a9498e31ba4f3764","datavalue":{"value":{"entity-type":"item","numeric-id":28852,"id":"Q28852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$656D8C61-8D76-4094-ABE0-1EAD3DAD74C1","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":"Q2018542$10689F49-B781-4B6D-991A-7A342345DA56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f16ee156ebaeaecfd5fea9ffce2c9463bbe12447","datavalue":{"value":"https://doi.org/10.1016/j.jda.2015.01.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018542$A8B20424-27B0-4C36-AB37-5F96B06DE18C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1d77cde1301526c2e4d7f5e261512ce4c1ed011","datavalue":{"value":"W2087645552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018542$2470ECD9-AF4F-4450-922E-B75D400ED93F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"84b7904a1439ec295eb52a1c70674082d3833c22","datavalue":{"value":"Q60692221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018542$3D712802-45FC-4B5F-9B1F-74D91F3AEA1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28f7045f1c235e29ca900f278059f61019e5138","datavalue":{"value":{"entity-type":"item","numeric-id":5505674,"id":"Q5505674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$90B823ED-D1E7-4F91-A9B9-24ED1EDA13EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c72ad44aa4d6ae35f7d06566df8f4f19db223c","datavalue":{"value":{"entity-type":"item","numeric-id":3861444,"id":"Q3861444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$79EA30E3-75D8-4558-B210-AD0E5ADD9912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$6CCF8B80-0E72-4A1E-9D50-19FF00107233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffde6d3f9dea814fa7fea4622c66e6458ba785cf","datavalue":{"value":{"entity-type":"item","numeric-id":1613532,"id":"Q1613532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$03EC8074-4907-45B0-B610-F97017FFF0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a01483a7950c8fdd8cb66c0c9eeaf14f8ee4aaf","datavalue":{"value":{"entity-type":"item","numeric-id":3192081,"id":"Q3192081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$CC213FF1-1FF9-4357-8E48-E5F844E63E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653fd8f37ad6b9ff4c60db8a984ae462adc6980a","datavalue":{"value":{"entity-type":"item","numeric-id":1382967,"id":"Q1382967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$9EDCD06D-52B1-471D-A356-BD490061AF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb35696373cedb65b23a9c1f23955e8ed120359","datavalue":{"value":{"entity-type":"item","numeric-id":3184604,"id":"Q3184604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$6065EA68-E125-40F3-94CF-BE08C3205FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4490dc0f95b9fce75e44d5acb57194a3bba7683e","datavalue":{"value":{"entity-type":"item","numeric-id":2870032,"id":"Q2870032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$CE0B529A-B391-4BE5-B44F-5B5E1FBCD2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa0894ba22d4eeaf0361a7dc3a8f8b7b37ef0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3067705,"id":"Q3067705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$8F93497C-E6C9-491C-96AF-1F693CCB769A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebbe8179093b338e16fa426f8dc065acc1e6427","datavalue":{"value":{"entity-type":"item","numeric-id":5703766,"id":"Q5703766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$214CA5D0-134B-420A-B97A-4BCBD94F9C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3386232d360e962ac9def8b87fab2abb7ba9568","datavalue":{"value":{"entity-type":"item","numeric-id":4344457,"id":"Q4344457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$A0E53961-2582-49CD-BE96-57789A054133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"987efadab7f4e45f493fdecfe84fc19b534898be","datavalue":{"value":{"entity-type":"item","numeric-id":941674,"id":"Q941674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$A1AE3173-84A5-4FCE-8A89-E8488D65B1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87938e82e368c0a59c5dc737ab4e5ab980794c46","datavalue":{"value":{"entity-type":"item","numeric-id":4537240,"id":"Q4537240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$84C5CA39-2230-4F08-94D5-CA9876ADE73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa9838afd11c73da19c09032d4189ca4be21c15","datavalue":{"value":{"entity-type":"item","numeric-id":4795895,"id":"Q4795895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$572EC0D1-34F8-4B6D-9FB0-6C3A0F9855C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$5EB671C6-B15E-492C-836D-03C97C71A432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115663e585f226ba83447020f17bc2831b542e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1045143,"id":"Q1045143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$6353081D-1B8F-4FBD-BAC9-F1A65C2BE8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101e87f8e1f935a1a9938d652d6afc09ad82a142","datavalue":{"value":{"entity-type":"item","numeric-id":4911128,"id":"Q4911128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$2AAAEAE5-6C7B-4E24-B11F-7E62B84DD349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73082b3c73fd5bf9b426e379b4c4504a1d3b767","datavalue":{"value":{"entity-type":"item","numeric-id":4913754,"id":"Q4913754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$F4719C25-286E-4112-B28E-B84A73C97D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb92d396ac73c70abab648b0cf9f07700571ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1408386,"id":"Q1408386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$0B910CA8-FB9D-430B-BF80-083DD92A205F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7977fb8c82d6cb674fd94f34222bf0d2e905b716","datavalue":{"value":{"entity-type":"item","numeric-id":4862899,"id":"Q4862899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$55C05950-9387-4622-AA55-A304C4BCEB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0d19f07f3184faeeeb38ef9cc458f6342c0a84","datavalue":{"value":{"entity-type":"item","numeric-id":2473785,"id":"Q2473785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$9967B4CE-6210-49DB-9249-D0AC2812B92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef9a2d07dcfca09cf1940e350ca1984c6f70d5c","datavalue":{"value":{"entity-type":"item","numeric-id":2723258,"id":"Q2723258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018542$452F294D-3290-4A53-A44D-06FC6B1A79DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53dc054cd7dbc2a4d94ba2e0e4fddda15d7f9ca4","datavalue":{"value":"10.1016/J.JDA.2015.01.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018542$F88BD95B-B2DC-4968-B581-8BEFF29BFFEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4481e3addee9deb56471c16ef5f5008fea277f","datavalue":{"value":{"entity-type":"item","numeric-id":2870032,"id":"Q2870032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9de56af0e87e7d3597b2750314eaa09ec92840","datavalue":{"value":{"amount":"+0.9582180380821228","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":"Q2018542$0A33ACF1-FE4F-405C-948A-8594D0536D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3800f164c0f05fbecbe5a54202f517dad165133","datavalue":{"value":{"entity-type":"item","numeric-id":1613532,"id":"Q1613532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f2f3a77128787003fe54e3a1bf4780bfccbeb2","datavalue":{"value":{"amount":"+0.8686047792434692","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":"Q2018542$E2960590-C127-4AFD-928D-8E46583CAA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99ee3039c0a3d5e850bfc3a827127efb919e18f","datavalue":{"value":{"entity-type":"item","numeric-id":4537240,"id":"Q4537240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32741ef9dee6603a72b929415ad3cb10a1f3a53","datavalue":{"value":{"amount":"+0.8677105903625488","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":"Q2018542$ADAFBFC5-43AB-4A41-8B2A-FAFC2E92475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0796f0d617b802319600aeb3d6626381a5dd2deb","datavalue":{"value":{"entity-type":"item","numeric-id":4526637,"id":"Q4526637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5718abbd112e62c492dc2e291f8fdeaf4ab09044","datavalue":{"value":{"amount":"+0.8631063103675842","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":"Q2018542$77999CA9-30B0-40E7-8571-430E46FFE31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2469a133ba688fcaa5c11790a4eb955c5d4767fd","datavalue":{"value":{"entity-type":"item","numeric-id":5505674,"id":"Q5505674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a92b07810f55e625e71673c31efac823f779d48","datavalue":{"value":{"amount":"+0.8619422316551208","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":"Q2018542$03C2D395-FFA4-43DE-B63A-CC172D2938E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2018542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2018542"}}}}}