{"entities":{"Q6137613":{"pageid":13271920,"ns":120,"title":"Item:Q6137613","lastrevid":39721680,"modified":"2024-12-30T17:47:10Z","type":"item","id":"Q6137613","labels":{"en":{"language":"en","value":"Testing the satisfiability of algebraic formulas over the field of two elements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7733793"}},"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":"Q6137613$6E6A1E31-FFEA-4E8B-B04E-FDC2FEC9EF4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15a5c0f1438a7e42c264a902bb85d20119d96221","datavalue":{"value":{"text":"Testing the satisfiability of algebraic formulas over the field of two elements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6137613$6427A93F-5745-4B44-8063-A540A531E611","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4781c854ef97669948e26e2788e10bf82c22e071","datavalue":{"value":{"entity-type":"item","numeric-id":943843,"id":"Q943843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$69BBB3A0-CE1A-48FB-BCB8-B9999A98FC4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b906dd3e69327cfccc6f1c244369ce690e434fa2","datavalue":{"value":{"entity-type":"item","numeric-id":174177,"id":"Q174177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$41992EC4-62D0-452C-8E70-88100F16A2FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f664a85fd4296021d6538ba55770110075648ec1","datavalue":{"value":{"time":"+2023-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6137613$4F028BC8-4805-41D5-B39C-44E07C68D876","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137613$745D362F-90FB-44A9-8B31-FE5709E04B5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b67f074b5f2479173b4abfacf5e87ac90309b8c","datavalue":{"value":"7733793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137613$6F51954D-6098-48AB-98FF-E2E5054CFDAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beae6b021b890ee4d84dbcd0f7eebe4819a98f5d","datavalue":{"value":"satisfiability of Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137613$118795C5-A6CC-4E3A-8D0B-5F08CD918D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39067a815709c092a11d330d2b17e40f9f205e81","datavalue":{"value":"probabilistic algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137613$0A5F3589-E7E5-4A39-B264-58CE39F22822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203ceddce1e8f329247f275d987a0e5b0ad19f3d","datavalue":{"value":"algebraic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137613$47F2DF3E-1A8E-46CA-B4E8-0A5A034E99A2","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":"Q6137613$6C5FD2EA-4FFF-494F-A066-09EE1669316A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"972538628c05b3b88f05e4996f430b37797ade8a","datavalue":{"value":{"entity-type":"item","numeric-id":5897760,"id":"Q5897760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$F7FBA597-BC57-4E9E-8E98-378D84CAE15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636f210299ea67900bf46fe001354601a97dea43","datavalue":{"value":{"entity-type":"item","numeric-id":3656204,"id":"Q3656204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$59014B4F-D071-48C2-B1D0-1B21185D91EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d592ed982c8662291fbeb6d57c39529132300338","datavalue":{"value":{"entity-type":"item","numeric-id":2821698,"id":"Q2821698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$9D413440-001E-4DB7-A826-57A69D5A484E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bebe6dd897d1b2303663c25f2fc9eba474eeee8","datavalue":{"value":{"entity-type":"item","numeric-id":2816300,"id":"Q2816300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$28946FB2-62DD-4536-B91F-B87EBED3440F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dfd82bed9266a9eb9ee03c49c86a8c45cb2436","datavalue":{"value":{"entity-type":"item","numeric-id":1090454,"id":"Q1090454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$236AEEED-2C49-4F47-A1A4-8689C0BFEBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060af8f3e101d9cd6773c46ed2fc74ebc353bcf0","datavalue":{"value":{"entity-type":"item","numeric-id":4895826,"id":"Q4895826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$D3C7B40F-166F-4904-8A69-9C922B2C911A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21aa526109369cef97673f673f9f303ec1208ca8","datavalue":{"value":{"entity-type":"item","numeric-id":354652,"id":"Q354652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$8541DC4A-5B33-4164-AB47-5F6E4D342583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7007bfad631de926c6e203100e8497203892e6d4","datavalue":{"value":{"entity-type":"item","numeric-id":2911618,"id":"Q2911618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$16F8AEE3-DC9A-4E5B-9A05-8F773D91DC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f75f5d5f907f6610b45f6bb706fd2f957ae959b","datavalue":{"value":{"entity-type":"item","numeric-id":2093572,"id":"Q2093572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$B86B8346-3735-4552-B0FD-0886ED9ACAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edaf79a901885c02060553db96a33871d75d589","datavalue":{"value":{"entity-type":"item","numeric-id":1571257,"id":"Q1571257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137613$B759EE12-0CFA-4E8E-9719-4CCCEB1F9378","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29823fd8b6d60d62662787afbb98a77cdef423b8","datavalue":{"value":"10.1134/S0032946023010052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137613$683DAF03-5C97-4F7B-8EC1-B434663CE3D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6137613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6137613"}}}}}