{"entities":{"Q3898029":{"pageid":5927934,"ns":120,"title":"Item:Q3898029","lastrevid":54891044,"modified":"2026-01-30T02:27:57Z","type":"item","id":"Q3898029","labels":{"en":{"language":"en","value":"Recognizing disguised NR(1) instances of the satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3705906"}},"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":"Q3898029$9BE53FAD-9418-4FF8-886C-DEC70ED3AE91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33be42fd390b5e501d1920e010edc0c823d5382f","datavalue":{"value":{"text":"Recognizing disguised NR(1) instances of the satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3898029$9DAAFC57-2D5B-4F86-AA42-4F69CBC57324","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f3147c435be0e9ce70d9d610d3907242e830b24","datavalue":{"value":"0451.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3898029$5F101072-019A-43FC-A89F-B85A0A7EA059","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d2461181575cf83638c0d42eabe4ff904e2395a","datavalue":{"value":"10.1016/0196-6774(80)90007-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3898029$2F14A318-2061-4D1F-9FB4-8E54B018D7AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f838dbab81f0c5d26326d1c7b15c36bdd276d4d","datavalue":{"value":{"entity-type":"item","numeric-id":235184,"id":"Q235184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3898029$397A0FD9-997C-4BF0-B176-51148FBC744A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9bcfebe9d23b7752651008b0d843e08ec7c57a37","datavalue":{"value":{"entity-type":"item","numeric-id":2709787,"id":"Q2709787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3898029$4E725268-331B-4224-A1B5-AD424AC9BA14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3898029$C98DE44A-6352-4C18-AB94-ABAFB42B0367","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3898029$ED1C4828-6BBD-4475-BF7C-0F0669CADA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3898029$24FEDF55-BEBF-41BA-ABD2-8ADEE07D5470","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1430d3713f649cbe6f23f3eb2094bf3d4b389b85","datavalue":{"value":"3705906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3898029$2FDB48D0-7E2D-4F93-988B-B369AE7726B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3898029$AFBA72F4-40B2-460D-94B4-DDFBB38AF424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b971605c9876c6f9d1086966025e0d56e08c0c","datavalue":{"value":"Horn set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3898029$0D9D860D-7258-4A4F-BDF9-F0B2B3C93DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18cd5a9f66b61e0bf7113f4e76d84a2a27483320","datavalue":{"value":"negation restricted","type":"string"},"datatype":"string"},"type":"statement","id":"Q3898029$76E6CAFC-A516-4B3F-956D-A991B2875963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1771e2732ea75e29a8af410cc61be0a631a9da","datavalue":{"value":"Boolean expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3898029$744DFAD3-0AF1-4ECC-B6B2-D868B46A4500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3898029$3FCA686C-9A8C-493D-A861-04B6038D15B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33ab3eed53ff3e6c4af4795d39813fe8803cbac","datavalue":{"value":"constructive linear-time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3898029$A1CD04ED-423E-4E75-BAE7-344972166C3E","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":"Q3898029$040E1587-3242-42F8-9A68-76D20719FFF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d84baee4fac85b6274eedba92757db571508ab99","datavalue":{"value":"https://doi.org/10.1016/0196-6774(80)90007-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3898029$122CF5CD-583E-4501-8BCE-46088EFE9F41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc06cdcde2106f3939bc3753e1c9bdbfbe642c09","datavalue":{"value":"W1978253773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3898029$AC9D6A09-946B-44E4-AF71-C7F7CA64B7C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d4647227264ef9491d0a750cd2174d75c3999ca7","datavalue":{"value":"Q55952578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3898029$B1979930-FB72-40E1-BB24-08CD3078E384","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"31c5e22912492bcfefe2c888a90b3e8be92189be","datavalue":{"value":"journals/jal/Aspvall80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3898029$14F9AEC1-BDCD-4C1A-B67B-004EE0A4C5ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3898029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3898029"}}}}}