{"entities":{"Q677036":{"pageid":678885,"ns":120,"title":"Item:Q677036","lastrevid":63517221,"modified":"2026-04-11T13:41:54Z","type":"item","id":"Q677036","labels":{"en":{"language":"en","value":"AC complement problems: Satisfiability and negation elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 994046"}},"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":"Q677036$67C8AAB4-3D5B-4854-BA8F-9C2EF4EEC295","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32c6a944b3abebebf4081d2a359d51a3ab8586fb","datavalue":{"value":{"text":"AC complement problems: Satisfiability and negation elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677036$54698B8B-091F-438C-812E-54962EDE7985","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97ea50f6fa9c6554e36164cbc02ca3eb413207c8","datavalue":{"value":"0871.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677036$24B0EFA3-F0DB-4A6E-B1B9-7807C71330E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677036$79F52F6A-8F7B-4925-B173-17054EC48E64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677036$AF669E2B-E473-411B-ABCC-6866EDC147C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec21ef37bce0805fb00f1ca104e0c5eae04ad1ef","datavalue":{"value":{"time":"+1997-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q677036$A21E1981-4A30-472E-96E9-18B3A2E14143","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76da4e2f44ea630d4b7a3ae446c58154756bd457","datavalue":{"value":"https://semanticscholar.org/paper/7ef42040fb85cbfdc862b34deb6866e94112e074","type":"string"},"datatype":"url"},"type":"statement","id":"Q677036$C2FA0484-2252-45F1-B1A7-FF418D306A1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677036$C7CFEF3C-0D6D-4491-9F40-25231626C602","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa8b2704959b2cce91bdc7b6b2e49eed5cff23c3","datavalue":{"value":"994046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677036$A6995FC8-D6FC-43D2-817F-425C4F79D42B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q677036$E0A10857-A14A-482D-9C24-5778137E08D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f42cd5515c9accc65552ed2dea46b90e6ddfc79b","datavalue":{"value":"complement problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q677036$C7A51E61-32EE-4BAD-AD1E-E46480BAA137","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":"Q677036$A751DE72-F413-4E6B-B1CE-9352DF7E6358","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed43eb8640df467177c726e82b0180effa9f6de3","datavalue":{"value":"W2072384491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677036$F63C2E00-CA79-4B01-BA5E-3244B43C3CC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc281270dc2dc86a4cb9a85058bcb63811c6991d","datavalue":{"value":"10.1006/JSCO.1996.0041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677036$D1FCC81A-16CA-4368-BB33-B62C25CE6ABB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e930cb4fb3b9045fef4a57a4e92812add83d1a","datavalue":{"value":{"entity-type":"item","numeric-id":5055807,"id":"Q5055807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237356a136285590a1309e01f370d5d93a4c271d","datavalue":{"value":{"amount":"+0.9332132935523988","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":"Q677036$547EF27E-66F4-4285-9314-E23B5FDC3FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a935eb10fdaf45c11479748e45752fc581ff8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4281554,"id":"Q4281554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d173cd19487da41680032e167abef8fd5af53d","datavalue":{"value":{"amount":"+0.8316447138786316","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":"Q677036$701E0118-4887-48E9-92B7-0F319E89D885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddd9187e860f35ae4c8342049064b3607ff2e46","datavalue":{"value":{"entity-type":"item","numeric-id":4266522,"id":"Q4266522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a88b48b4f02ce34c4f12dd699363abc054f2117","datavalue":{"value":{"amount":"+0.7859860062599182","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":"Q677036$94C6DB4A-37AE-418C-9404-B28FCB017ED0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"AC complement problems: Satisfiability and negation elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/AC_complement_problems:_Satisfiability_and_negation_elimination"}}}}}