{"entities":{"Q5055807":{"pageid":7085384,"ns":120,"title":"Item:Q5055807","lastrevid":91940171,"modified":"2026-06-05T00:27:39Z","type":"item","id":"Q5055807","labels":{"en":{"language":"en","value":"AC complement problems: Satisfiability and negation elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631220"}},"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":"Q5055807$1D558F34-4931-469F-9DD4-BD7F73478881","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":"Q5055807$28A75FB1-87A7-4CF9-910E-57455FC5991E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39b3c881728fe952dc19676d5725a4f4d923d269","datavalue":{"value":"1503.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055807$43F5B12C-22F8-439F-BF8D-6C7AF50D69C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed3d1bdb3c2bbdc55182d337a89d4ab98dfe3ab8","datavalue":{"value":"10.1007/978-3-662-21551-7_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055807$3557F576-A942-40E3-BD2A-1AB419989AB8","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":"Q5055807$B5A1404D-02F8-4C5F-AFD4-1039B0247CC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055807$E6183A7D-3A2F-40C2-B7A7-ECDBB49F94CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055807$9DAC2E6C-0777-4ECA-91AB-6C27A9B923E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055807$A22AC0C6-C541-4FB5-A38E-761708CD903B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055807$25E11384-51D2-48D5-B0CB-68D1F98BAA70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98be2c614d00c2811cccd82808a5ff29a1b1e612","datavalue":{"value":"7631220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055807$ABC4F265-1EC6-4711-B783-69C83D764D85","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":"Q5055807$A5133E53-0CA2-45CA-84AD-DF22B9A4D14F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c875d6d9b6a1adb9de339643880d9109951e2ef","datavalue":{"value":"https://doi.org/10.1007/978-3-662-21551-7_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055807$A255A683-BE27-481A-BF0B-94AAFD5B0C88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2fa10d0913832ce4cbd7bdb86973e1348f3e3e9","datavalue":{"value":"W1513628728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055807$B945C782-BCB2-473D-80D1-581F2B560C09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6a8441a6630288cac44705a84f6c2fa56e38b3","datavalue":{"value":{"entity-type":"item","numeric-id":5096830,"id":"Q5096830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055807$ACEDE4D2-EC4C-477D-BC43-57C232B3EBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055807$60A5690C-F561-40F0-8242-762F5B877CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055807$31C59DA6-2D2E-42FE-AC0A-DC59B7D4423D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055807$0C756CC2-C5D0-4698-A082-6DDC642448A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02db5ceb3485184e6ceb45a3a98d419a7bd49313","datavalue":{"value":{"entity-type":"item","numeric-id":4035222,"id":"Q4035222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055807$0B198CC8-46B2-45FB-8CB9-80BB921D7AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055807$5A0AD029-8568-49E9-95A3-21B65093B551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b11400522d395eca046a008028b7c6f5d9f584","datavalue":{"value":{"entity-type":"item","numeric-id":3776597,"id":"Q3776597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055807$CE634A7F-2416-4668-A0DE-73FADE5ECB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6822e58445a0f88e12dec57ade16a410103744","datavalue":{"value":{"entity-type":"item","numeric-id":4281554,"id":"Q4281554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055807$10E9D638-AA02-40BB-8E29-3D601B7843F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"382eac0cf104a08e17ae906a865a350e74ef4970","datavalue":{"value":{"entity-type":"item","numeric-id":677036,"id":"Q677036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055807$A4D3FDFC-8DF9-425D-9A6D-6AD9514CAC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f26fa14b06349bdf1877ace2d6f593ffb319acc","datavalue":{"value":{"entity-type":"item","numeric-id":385062,"id":"Q385062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9245659bb2278b2fb6ac7ccc9a4a78c69a8bd1dc","datavalue":{"value":{"amount":"+0.88200855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055807$32E2616C-431C-47BA-B6CB-3A0A52D6C7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964b3feb62831eed51fde8a66b937819739b4f16","datavalue":{"value":{"entity-type":"item","numeric-id":2908839,"id":"Q2908839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9245659bb2278b2fb6ac7ccc9a4a78c69a8bd1dc","datavalue":{"value":{"amount":"+0.88200855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055807$FE5552F4-01C2-4EB2-94CA-B4CF5A8C4932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30dfe6f7561c095c725d553acdadc57c87b0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2897511,"id":"Q2897511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0365d2bce8c5011232894a452b6d033f61b6eeb6","datavalue":{"value":{"amount":"+0.87985545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055807$A0170CD4-2CE9-431E-BE83-4D14D00399BB","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":"6579af4252af98e0f6386bade052407d3730e46a","datavalue":{"value":{"amount":"+0.86654955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055807$2E6200F1-7A51-4E36-872D-88B5CEB3F4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ed2c07dbb5c99c6f45f16593a3ebb41a29a327","datavalue":{"value":{"entity-type":"item","numeric-id":5743451,"id":"Q5743451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1d7821d3ebd8e2acd959a60355ad7b3b0938a5","datavalue":{"value":{"amount":"+0.86510885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055807$51F13794-0DBB-40CF-8000-D163E595552A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e5ad32c89452602be7df297888f481df953327","datavalue":{"value":{"entity-type":"item","numeric-id":3007673,"id":"Q3007673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9ecae6ed2fff9a12db75f27b9d3b39f1c7358a","datavalue":{"value":{"amount":"+0.8619227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055807$D07C81CC-9591-4246-9D53-8A5A969E01C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45c319f79474837d5bab6c3da1c49cefccedc01","datavalue":{"value":{"entity-type":"item","numeric-id":3785962,"id":"Q3785962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4d53db5ccfa4de0df59e54801e64ed6c9d4a82","datavalue":{"value":{"amount":"+0.85775083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055807$C777E559-B80A-4D71-BC27-9AD1B5598CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40a1a222fccc5134898095dc377766f35a40e41","datavalue":{"value":{"entity-type":"item","numeric-id":2980963,"id":"Q2980963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e9638eba78bb31caa290d07cdf167e0855c3c8","datavalue":{"value":{"amount":"+0.85735667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055807$B3CAA683-170A-452D-B97C-92F5D9626091","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"AC complement problems: Satisfiability and negation elimination (scientific article; zbMATH DE number 7631220)","badges":[]}}}}}