{"entities":{"Q3007673":{"pageid":3018397,"ns":120,"title":"Item:Q3007673","lastrevid":80157338,"modified":"2026-05-06T15:34:02Z","type":"item","id":"Q3007673","labels":{"en":{"language":"en","value":"Satisfiability of acyclic and almost acyclic CNF formulas. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908736"}},"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":"Q3007673$0F02D152-AA52-455B-A4EA-4C423A5A85F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1754ba1f4e2d236574b0b0a8076a5d4f4789c3b2","datavalue":{"value":{"text":"Satisfiability of Acyclic and almost Acyclic CNF Formulas (II)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007673$5571E383-741D-4B58-B250-D491D8400AE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a43a6c487d8824d374e040f76b2856a266d46eed","datavalue":{"value":"1331.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007673$6CCDB9F3-C437-416A-9668-9A0F0F761372","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"545a8cc0523d11f9c4e49d8f833fdaac04bf1c5c","datavalue":{"value":"10.1007/978-3-642-21581-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007673$520F44BE-F2AE-491F-AB8F-BA21E50F34F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbca0a8695640e57b3adfafa5a18c2abca385906","datavalue":{"value":{"entity-type":"item","numeric-id":261390,"id":"Q261390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$EF457191-635A-4AB5-B33E-DC2D45B7D4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c8bda24e5db7031b811824423dc274be5147149","datavalue":{"value":{"entity-type":"item","numeric-id":170462,"id":"Q170462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$13D67689-500A-45FD-AB1C-A127D549EDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$619EA0C1-F3EA-43C9-979B-A3086EBABDAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$4AD80645-F401-4E85-B26A-EDA1D22897E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007673$AC353602-D475-4C8B-949D-26CCA7DBF24E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007673$D5351A23-633B-4B06-8D67-307A9C255D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007673$AE4560EE-A204-48C0-B920-958E7F60447E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007673$54F06CAD-A96F-4016-927F-F50A9CC85212","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16b318f8bcc829d0de149527a16b7c5e12701e6a","datavalue":{"value":"5908736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007673$3B40DB33-BF7C-4640-91C6-592D78952C4F","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":"Q3007673$27CA6DE1-BB77-4505-96B3-0DA649F0466D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a1943dbe381ac4044b4fc6ad94f665dd125040f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007673$AB15A058-452F-4111-B67B-1F641C16DB75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d84991f42b302b8753be176490598cff7a5acfb","datavalue":{"value":"W2963126840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007673$AA0FAEE8-FE33-434B-B0B6-0A987E305901","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$E0974949-AE62-4608-86A7-B7107EE29A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282d88b529308441c287f6c692de7afeae122bdc","datavalue":{"value":{"entity-type":"item","numeric-id":4243764,"id":"Q4243764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$37831FC4-4606-4F35-AD50-A18034E6F7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46cf8056ad226efcb3b31c998e8a91a5de5576a","datavalue":{"value":{"entity-type":"item","numeric-id":5463359,"id":"Q5463359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$BACB1F91-43F4-4047-BA7D-E68EBFAC376C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211530a7d66720062b60e82cf130f31beea4a662","datavalue":{"value":{"entity-type":"item","numeric-id":1975365,"id":"Q1975365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$DE5F5A6E-0837-4F23-835F-C996CFFEC4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$2644E4C3-B124-4745-9A23-C151D967CABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf60b8621d856d80efdab97a0a055b9b53fa164","datavalue":{"value":{"entity-type":"item","numeric-id":3026383,"id":"Q3026383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$E53885CC-E110-4FDD-A910-4D8925C7C51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b1a3469bcf85c5bdc034429e87442cc51f8c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$FFA7246B-BF27-4BC7-BDC1-09107E7E994A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a959c0c9fb31a8f3a465d6ab6fe5b00d0657166","datavalue":{"value":{"entity-type":"item","numeric-id":2908838,"id":"Q2908838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$9715C691-04A2-45F7-B510-922676007A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cedd46cd0102a335bb7acca5f2bd6d00d24a97","datavalue":{"value":{"entity-type":"item","numeric-id":4246749,"id":"Q4246749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$62D957DA-5F2C-450F-9C06-410C7A3529E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c54dd4719dec2c95feb169919eb5813220813a","datavalue":{"value":{"entity-type":"item","numeric-id":2908839,"id":"Q2908839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$E14C7FD4-6E95-48F3-8987-7A0135168AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744cc06de39b4daf6419488822f8874eccb75b23","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$4E85ABCB-DD18-4404-9117-4D667D11151C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff3b564b9966733fb2eba8af126a57bd6d93a22","datavalue":{"value":{"entity-type":"item","numeric-id":673602,"id":"Q673602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$8008F511-1013-42EB-AA8F-9CA3DC24A31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bba15cf4a9d2c986ffe8184ac3a6d051fff29cb","datavalue":{"value":{"entity-type":"item","numeric-id":3335007,"id":"Q3335007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007673$DBE5E332-3D48-45CB-A9EE-239C404A9795","rank":"normal"}],"P1643":[{"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":"99b99f6e108e64ec5437b5e5cde8f775fe9d406d","datavalue":{"value":{"amount":"+0.909091055393219","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":"Q3007673$6AD0FED5-253F-4453-8CD2-8372B767E811","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":"9e22bf48c6c8e704155292f097337ac5371aafad","datavalue":{"value":{"amount":"+0.887057363986969","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":"Q3007673$67078DD2-4A88-4046-AAFD-8708BDED7AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa0f2ffe50ac7285454b5a55636dd80bf052be9","datavalue":{"value":{"entity-type":"item","numeric-id":2954991,"id":"Q2954991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9e15f0e70a99238d2250c94f0788b7b8f844bf","datavalue":{"value":{"amount":"+0.85152268409729","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":"Q3007673$2E8C4125-1F41-41D5-AC4F-8CCAFFF12E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d128c574f2b8cf58e4ac1be1405936a1d2197a9","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad59310708a807c04247c9178e6097140e1a35da","datavalue":{"value":{"amount":"+0.7644025087356567","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":"Q3007673$B826D8D3-3485-45A7-B292-E4295AE00B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61d84e070a214db063b64febdc62a5edfe35cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4218095,"id":"Q4218095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad59310708a807c04247c9178e6097140e1a35da","datavalue":{"value":{"amount":"+0.7644025087356567","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":"Q3007673$7AE204F7-8BEB-496E-851A-DF66556528C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability of acyclic and almost acyclic CNF formulas. II","badges":[]}}}}}