{"entities":{"Q6162037":{"pageid":13296918,"ns":120,"title":"Item:Q6162037","lastrevid":58733259,"modified":"2026-04-06T12:41:17Z","type":"item","id":"Q6162037","labels":{"en":{"language":"en","value":"Are hitting formulas hard for resolution?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7696121"}},"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":"Q6162037$614DE750-E0AA-4985-AADC-36862A120F26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fbe9bead7b22a95e816239e51476fa4887517ea","datavalue":{"value":{"text":"Are hitting formulas hard for resolution?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6162037$6E136525-1F82-4F1F-8557-3AAFFA9B55D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44a7661dcb421346e6d54a3423b58fd3896ae0e7","datavalue":{"value":{"entity-type":"item","numeric-id":1656582,"id":"Q1656582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$528D7AF9-FD49-45FD-AED9-17FFD1E47352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$4615E58F-C4FF-4F13-97A9-F4C771E7B4F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$C52EBB97-83CC-43CB-AD49-B6FD2C0C044D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b16353a59d462651b8369dc98a71ef493226d62e","datavalue":{"value":{"time":"+2023-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6162037$5021A281-0979-45E3-A52C-2189AE7128E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60a02219fb6ce0f1207090ad3102e46c95ccd2ac","datavalue":{"value":"https://arxiv.org/abs/2206.15225","type":"string"},"datatype":"url"},"type":"statement","id":"Q6162037$3076D356-43C5-4D77-A586-BAFF360A1FA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162037$EB58BC5A-4A91-46E9-A796-856AB8F0B861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162037$965AE11F-6D51-4673-A121-9716751B2174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162037$A61CCD61-414C-4467-9200-6FEAED5D4D11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1a420c56242b840e24c255311bdc12413ef1a15","datavalue":{"value":"7696121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162037$713D65A1-6DB1-4497-8ADD-59E79B90A878","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516cb0b11c1418e7ce0f052dfff449a7ca3f244d","datavalue":{"value":"hitting formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162037$3F29A043-67DC-4BE0-9803-A8E748661DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162037$96F61F80-C8BC-4817-B941-BD6CE2E00898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162037$F0A6B7C1-ED51-4E3A-B6C8-E73D34C6F240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162037$CC63D144-6654-4C8E-9564-AB75D20F2809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721db152ea6f5f1d941a96190ff027c3df9b3519","datavalue":{"value":"symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6162037$0E04AB55-442D-4626-A660-82B55CC9CC71","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":"Q6162037$99FA857A-8537-442E-AB97-C0DB93425EDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6236855e10d76afc9375c690dba218635ea8db30","datavalue":{"value":"W4377137653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162037$1EE59DA5-A4A1-4BC7-8854-4A398FCE580A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"725c84c2ebc6f4b154eb6d601e5b793715036a34","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$2EC77EE0-01C0-45D8-9DF9-BBC07AAD260B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345d727ccbd76ddca8c6106034f4c5e52c95f38a","datavalue":{"value":{"entity-type":"item","numeric-id":5894155,"id":"Q5894155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$D95DB567-433B-48F4-8E27-C9E124AA58F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$51BD0C38-3388-4772-B323-5A06D969A1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559dbe579a3334aacf82df2fdcef598c181017c4","datavalue":{"value":{"entity-type":"item","numeric-id":5422499,"id":"Q5422499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$0F6AE533-C802-469F-B536-0BF3F2DE020B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$698C5C0C-1DA0-463F-B1C4-10D8A24F4EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52228055d4b078baffbb21e8d8bacec7a2f1c6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5714776,"id":"Q5714776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$DF7221FC-5A1F-4473-B0EE-D95108731571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf612f3165fcef473c90c0b59e2c900b92a621c","datavalue":{"value":{"entity-type":"item","numeric-id":2238644,"id":"Q2238644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$2A401162-9DD1-497D-8623-CECD2A1399E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$07ADDEC4-75D8-4BA6-A261-3C913B0C7B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37930b0e05a7c335cd484274c11b37ae7a7fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$0162EFA4-4791-4256-8A9C-C2B8F2CCF05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd5410ca0d2d77b14a5f2b371f2b62cdcb84b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1841884,"id":"Q1841884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$03EF9845-D692-41C3-9740-C5C63306CB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f90f14c7f17aef07745280dbd63e19b5c6789d","datavalue":{"value":{"entity-type":"item","numeric-id":2741513,"id":"Q2741513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$4F11AB22-6CA9-478D-B995-372BD495A016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f2a499aa442a03c1708933f2c21f395f3a4f4d","datavalue":{"value":{"entity-type":"item","numeric-id":1610491,"id":"Q1610491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$60900AE9-BBE9-4E01-AAAF-9424BDA94677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e9b3d4894f3739abe95fe62d00a87db18c64ef","datavalue":{"value":{"entity-type":"item","numeric-id":1408380,"id":"Q1408380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$B803B1EB-F76B-47EC-A217-FAC4AFAFA0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673c3d5678692681137b85515e0fa0ad94daa6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5325880,"id":"Q5325880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$9A7DF06F-A49F-4BAA-A852-CD3583662515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6772daf53bfb86946f3c76b8ec82cae37cbc26d","datavalue":{"value":{"entity-type":"item","numeric-id":4930604,"id":"Q4930604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$27A53722-FDDF-442F-919B-021A97C62F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f646046f02cde628a0680327261c8770d27e5ab","datavalue":{"value":{"entity-type":"item","numeric-id":2437295,"id":"Q2437295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$567B9D2B-1B59-42EB-AFEA-F981D0BDCCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e8c85abb17e5c746e9adf1fb83dab40fda3182","datavalue":{"value":{"entity-type":"item","numeric-id":2464035,"id":"Q2464035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$49EDC078-A572-45D8-A3E3-B7E78FDABCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d59f94165f4c40f7e505b0c1b9c64e67f83f94","datavalue":{"value":{"entity-type":"item","numeric-id":385062,"id":"Q385062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$24F6A39A-FCD5-4574-853F-82FAC0EA567A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"655ab89608d069c5dd7b5cf6e7c44fca905f012c","datavalue":{"value":{"entity-type":"item","numeric-id":5154766,"id":"Q5154766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$45E22BA0-EBAF-40E2-846C-5E5647F85775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$D8EE3A5D-6D2B-47F4-BE8E-D45F192EB1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aa670414d4f6fec55d4a91be050421f173db46","datavalue":{"value":{"entity-type":"item","numeric-id":2674206,"id":"Q2674206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$F2EDA44A-DF94-42F3-8A06-132DC5E7A805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b0676ee88b87025b34bc65c3f8f2343a50a14","datavalue":{"value":{"entity-type":"item","numeric-id":3515550,"id":"Q3515550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$13428B63-2969-4513-89C5-A7B4588DDD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$053E1D99-4DAC-4DCB-B253-3EE7E8D8B536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42444d6d51fdfe06541a26556cefca5e02ff458d","datavalue":{"value":{"entity-type":"item","numeric-id":3434502,"id":"Q3434502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$152BB617-4BC1-40A7-B5BB-B3163316DAA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9052190d5e23c8c909f5397a4bc0b08a8635c700","datavalue":{"value":"10.1016/J.DAM.2023.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162037$5545A2B2-FFB4-4929-B949-74F8C5CD9301","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162037$AB7A1A12-51FB-41A7-A029-2E3F889BE99D","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":"Q6162037$D8198657-3F2E-48D8-8A3C-90A492942997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6162037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6162037"}}}}}