{"entities":{"Q5053060":{"pageid":7082637,"ns":120,"title":"Item:Q5053060","lastrevid":100266674,"modified":"2026-06-05T21:43:31Z","type":"item","id":"Q5053060","labels":{"en":{"language":"en","value":"Cops-robber games and the resolution of Tseitin formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7626545"}},"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":"Q5053060$0FE3FC28-AD2E-45A0-8C37-313B6A96AD4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cc826fc2f59d34f2a9e2cea11942e943163d9a0","datavalue":{"value":{"text":"Cops-Robber Games and the Resolution of Tseitin Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5053060$C88C20E2-EB64-4DA5-8780-479DDB0BF6E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"719a25d7148c645953299dc3439fd9992a405a9e","datavalue":{"value":"1499.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053060$C9C5B33F-794F-4A26-BD7D-F6089DC7B310","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c30a2ca71c023c13f709598bfa264e3ada2913f","datavalue":{"value":"10.1145/3378667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053060$B459565A-5B61-45EE-9E22-C43557EC675C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ade48b222c1aa576bf6b48db6256f2140052ff","datavalue":{"value":{"entity-type":"item","numeric-id":1405734,"id":"Q1405734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053060$07FA2A14-E319-49DB-8383-7456E53867DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9896ab75162544856a6fb3b10335bf8d1ef06c06","datavalue":{"value":{"entity-type":"item","numeric-id":894452,"id":"Q894452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053060$C2C25D81-A8F9-4D23-BBBB-420C3160A0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efa0ee16bcf9d62945fa4e27ea47d07c341ed7b6","datavalue":{"value":{"entity-type":"item","numeric-id":1114674,"id":"Q1114674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053060$44988C3E-2D1D-4581-9252-1A857590CFE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64bbaa3c401dec878328d8d72c14b0373fd9aac2","datavalue":{"value":{"entity-type":"item","numeric-id":92716,"id":"Q92716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053060$64AFADA5-FD63-444D-8EC6-60295F89B1DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0a25f233647d1bcbaee47b52fc4ae8005a47e7d","datavalue":{"value":{"time":"+2022-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5053060$894BDA9B-0D37-4521-A42A-E629DF06B1D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053060$BBFA09A8-3661-4596-A22D-B1578B28098E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1be7cda1f2fda1d13448035bf1c8e3fcef0c4ff8","datavalue":{"value":"05C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053060$0E03FD20-48DC-41A0-ABDF-54B5EEF7A715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fbd0918ba2c4a1aeddd30d9d3d146d9773f1239","datavalue":{"value":"91A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053060$FD2BAC70-A884-48A4-9B82-5C9B8F85ED7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46f5db8ed499534c43b8a92e91a6829165573498","datavalue":{"value":"7626545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053060$8865299D-66C7-4A74-8A48-06773DF39EEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5053060$09AE152D-4D96-4219-9F12-F3A577F2D35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd50cdee8349c0f7a8a3f6ee0a04897b4cae7a6","datavalue":{"value":"cops-robber game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5053060$D9AE9E04-D759-4B88-ADCC-A153D16AB380","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":"Q5053060$B7375347-7C62-4513-9038-72313B23A77C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f40dacb6627b61b0236e7366717e977e3c7d33ad","datavalue":{"value":"https://doi.org/10.1145/3378667","type":"string"},"datatype":"url"},"type":"statement","id":"Q5053060$484B67EF-8A96-4FEF-90E1-BD7262F48AF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75a9851b96a1cdf7c628614a47e397aaf2f32b96","datavalue":{"value":"W3009722918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053060$EDB8DCAF-DE60-4D52-8BA2-DA7287779BF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d579b32fcc8053c44afb22fad8530edb5ce1b36b","datavalue":{"value":{"entity-type":"item","numeric-id":1656588,"id":"Q1656588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e37ee5887e946bf090b0f6f7d7aa76f947b2d0d","datavalue":{"value":{"amount":"+0.996424436569214","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":"Q5053060$564AC6FC-5BC2-4411-A6C4-A050181C1274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c0feb6dbc148a238fbe7e3cc5beaac2e5ced1d","datavalue":{"value":{"entity-type":"item","numeric-id":1854472,"id":"Q1854472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac758982f890b35f35b47c7dff308226c60fb47","datavalue":{"value":{"amount":"+0.7861203551292419","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":"Q5053060$1F6CC488-5649-40BB-AB97-3C14466C1816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ebf6259745596d5e3c3f1a9d41d24f2a795c3b4","datavalue":{"value":{"entity-type":"item","numeric-id":5881799,"id":"Q5881799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac758982f890b35f35b47c7dff308226c60fb47","datavalue":{"value":{"amount":"+0.7861203551292419","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":"Q5053060$FE932AFB-D0E7-4718-8EC7-FF7462B11FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647d633f4bac67deaa804e390e32723ea06b684a","datavalue":{"value":{"entity-type":"item","numeric-id":4036560,"id":"Q4036560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335b86b3e941779d326b51ca14887c3f83c7315c","datavalue":{"value":{"amount":"+0.7785137891769409","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":"Q5053060$33FA80ED-62AB-4308-9ABF-6E4D37B7002E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1a9d458bc8f229bfed84d797ae2f47cef98919","datavalue":{"value":{"entity-type":"item","numeric-id":4928481,"id":"Q4928481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"238fae9acb4c2d7541a16d72a592eb691ea682d6","datavalue":{"value":{"amount":"+0.7785133719444275","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":"Q5053060$C1F40612-0F85-4BC0-9189-85114FC18D9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cops-robber games and the resolution of Tseitin formulas (scientific article; zbMATH DE number 7626545)","badges":[]}}}}}