{"entities":{"Q3970696":{"pageid":6000600,"ns":120,"title":"Item:Q3970696","lastrevid":46213351,"modified":"2025-12-24T08:06:26Z","type":"item","id":"Q3970696","labels":{"en":{"language":"en","value":"On-line algorithms for polynomially solvable satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7819"}},"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":"Q3970696$B5F3092A-8D69-483B-8233-CBC101A7013F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bdc1ec8379a3556c7e3eda939d83b450bd114c9","datavalue":{"value":{"text":"On-line algorithms for polynomially solvable satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3970696$ABD57013-A34A-4EE6-A11C-864B66F289F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9a516b9bf588142f44167d84969c00c01cdda39","datavalue":{"value":"0774.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3970696$B654DAD0-6A91-4B21-887D-5EEE3F9831D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f2a74d44c789c6d3e477105548c36be88150861","datavalue":{"value":"10.1016/0743-1066(91)90006-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3970696$051158AA-2591-4C43-9ACE-F11883D2BC57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"195c9aed1bd89c35e1df78e6f20597fcce0f59e3","datavalue":{"value":{"entity-type":"item","numeric-id":270020,"id":"Q270020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3970696$D8AA4901-3ACC-48D8-876D-1B0D15A14B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c86f894860ed1ad30e38407d744d07b5dc06b89","datavalue":{"value":{"entity-type":"item","numeric-id":289923,"id":"Q289923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3970696$238C709E-84E2-4C02-A564-011F7DD9416C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3970696$409D43A7-7171-4D2E-91C3-86F1190D07DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3970696$8F340A49-01A5-44A9-87E8-E111912E3963","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3970696$85891E20-F1A8-4DB2-AA17-C4256BF0A7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3970696$890E36B0-2C34-49D0-A616-527B22EB4376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3970696$F88C1388-A840-4E01-9B0C-FC2EF09DFD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3970696$3AD95517-B660-400C-B84B-9BECC8B76798","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9adaa27d2d853838c1c0eadb309b2f5ee41dfa84","datavalue":{"value":"7819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3970696$52CD904F-4EBB-413F-8F7D-3C34DDD192C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49c1dab14aa968af4af5586aa2cf1a25a2cf3236","datavalue":{"value":"propositional Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3970696$0FE3225A-11F9-4556-AC5B-ADA8F9EFC355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3970696$78F5225D-5EDE-446A-B408-42A87392CD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd8c4adb65bd91b0047d0aa93e8f03c9fa245f2","datavalue":{"value":"on-line decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3970696$DFB488CF-7676-4928-94C6-9A3B31A1CC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3970696$A27D7DC0-8C15-46F7-A8EA-F2B6E3193E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0e66722bf8f322bd55c9ad6f699c3333a04bea","datavalue":{"value":"directed hypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3970696$656CB5FF-8A8D-47BC-B07B-B7C57E6A26D6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0fbb65147188dea371d0258c0e8704bf60e01923","datavalue":{"value":"Q61609672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3970696$2C3F3693-4DFF-452E-AD4C-03B199C8413A","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":"Q3970696$9C91BDBE-0EAB-44FB-A678-C849297E5A00","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a14a6c458bdde1f7f8095e08e5d20b21761651af","datavalue":{"value":"journals/jlp/AusielloI91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3970696$01C5F7A8-71E1-4459-9662-C48ABBB625B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d1c44ff8840f0413227e21b15a52804f7b9c49","datavalue":{"value":{"entity-type":"item","numeric-id":673379,"id":"Q673379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf156f3f5542dbd333bce246795ea41812cd1eb","datavalue":{"value":{"amount":"+0.8520122170448303","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":"Q3970696$2019E251-7DC9-4C22-B8AD-5BFD3FDBFB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5849cf76a845da2286ca200c999edba079dd0f","datavalue":{"value":{"amount":"+0.8217546939849854","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":"Q3970696$D1B550F9-31CA-4BEE-8F7A-822012010838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18eadd68ef3a275c2b540e7d1f3026fdd79c63b3","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4160076a768106df9b3920515e97e9b63ca1e67","datavalue":{"value":{"amount":"+0.8206315636634827","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":"Q3970696$679225B9-F4E2-4EB1-A373-33BE8E7DA8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3545380952a5c29cd0ef68052ee8e5ce97460afa","datavalue":{"value":{"amount":"+0.7916016578674316","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":"Q3970696$E57A63C2-D356-4504-839D-E5190419805B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3970696","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3970696"}}}}}