{"entities":{"Q6560929":{"pageid":14172084,"ns":120,"title":"Item:Q6560929","lastrevid":42348903,"modified":"2025-06-12T08:11:12Z","type":"item","id":"Q6560929","labels":{"en":{"language":"en","value":"Satisfiability problems for finite groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870337"}},"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":"Q6560929$8643126C-E7ED-43A5-9518-75091F5C10A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3a87f3b8156bdee6bea9e927db049388c006a7d","datavalue":{"value":{"text":"Satisfiability problems for finite groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560929$B95E9D8B-1484-4588-8FCF-8395F54A920B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98bb00c015fbd92f550ec7939e69de35a6ed177f","datavalue":{"value":{"entity-type":"item","numeric-id":170377,"id":"Q170377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560929$B9D00D84-1E9D-4E98-B6F2-55B2D16FF146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83fda4c9b9c91c5766541439efe255ac450b82eb","datavalue":{"value":{"entity-type":"item","numeric-id":5005116,"id":"Q5005116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560929$8F1EE5F7-3F7E-450F-80DC-A1FEB6B71E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a09e850f401643dd2307aa6eb5a0d8dcb5cc8696","datavalue":{"value":{"entity-type":"item","numeric-id":292835,"id":"Q292835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560929$DB3140DB-1993-4093-B2B6-6113EBC6BF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0374a6be02e4f794c5676afae1f2479801291a33","datavalue":{"value":{"entity-type":"item","numeric-id":504990,"id":"Q504990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560929$D45CE645-D37F-4041-9213-1B852D017383","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aad9968298383135691f4dcdd005dbce68275c0d","datavalue":{"value":{"time":"+2024-06-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":"Q6560929$67103A1C-AB3E-47C1-9EE1-7D741402E087","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560929$CF79E2C1-DB67-4384-AC02-3A3A9B937E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560929$75BEE81B-9CF8-45EB-9478-52EEF75D0925","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4523f9afee26f049fd0f00bce0ebfa41744f237a","datavalue":{"value":"7870337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560929$BF1839DE-C838-4B02-8497-50ED5039C231","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5fcc713500c07f08fdcd28b79aa27e5b66f1c6","datavalue":{"value":"satisifiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560929$5F0C7191-9D7A-430A-A8F7-A22DEF05FE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef18e45b31bdcff1d7b420ebfc8d24ddbe66e08e","datavalue":{"value":"solvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560929$F27500E0-8550-4BAA-8312-36F65FD2FA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fcd00917be6040d8e63435880d446a54db9d8f8","datavalue":{"value":"programsat","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560929$FE306345-A666-4190-A4FC-839F7F1070A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a719b818c2afca1b657d96847ece64334ded45af","datavalue":{"value":"PolSat","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560929$31E0C9C4-41CF-4EEC-AB17-8F2D3D88B228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0974d841ba27603503b56afd092463f7ab4b17","datavalue":{"value":"exponential time hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560929$56504F71-3E0B-43AB-BBA1-ECA10821C1AE","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":"Q6560929$D37D272D-588E-488D-AD9C-9D45843AB1F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4376d290639005698978efaa54b44b448f9251a","datavalue":{"value":"10.4230/LIPICS.ICALP.2022.127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560929$906089FA-A283-4AC2-A139-4DAF69A70A6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560929"}}}}}