{"entities":{"Q3212688":{"pageid":3223396,"ns":120,"title":"Item:Q3212688","lastrevid":45699982,"modified":"2025-12-16T13:57:32Z","type":"item","id":"Q3212688","labels":{"en":{"language":"en","value":"Z-Resolution: Theorem-Proving with Compiled Axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3425152"}},"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":"Q3212688$00EFEBC3-BBCA-439A-9E9D-637B4CF23DBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2eb44049f43a743169a85b74b02e70d1f471c61c","datavalue":{"value":{"text":"Z-Resolution: Theorem-Proving with Compiled Axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3212688$C96A02B2-7683-4BA5-9BD3-CC7AC680FE98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bce9f322fc3ecb894c2c3a2073c6017edc752d0","datavalue":{"value":"0269.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3212688$D96D61FE-29B3-480B-B653-613BFFE9B662","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00f6d14f96d098ad7083670c3d5b02a13d1bc3ce","datavalue":{"value":"10.1145/321738.321748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3212688$1193E326-F004-4793-8CB1-C000CFD087B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff5c40b4c9e03858613016e661dc3334b60c582c","datavalue":{"value":{"entity-type":"item","numeric-id":3212687,"id":"Q3212687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3212688$AEA7C0DB-02AF-47DB-9403-AB805F4C0577","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3212688$043D9BF9-F992-408E-A8CF-BB12559375F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0009eef2e40e65b679945693e20705f9c6245b14","datavalue":{"value":{"time":"+1973-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":"Q3212688$345A3FE9-7C84-48FB-B2A9-CD65D1B44E89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3212688$52C64FF3-A510-4DFB-9A68-0E5E2DD10D3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad912906db00cd8ffe1f98ff892bef5a42f56601","datavalue":{"value":"3425152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3212688$1CB16477-1FEB-4462-8678-335162E9A68E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fbb05cd67c1aeb24b255c2929be4e6c4a4840ce0","datavalue":{"value":"Q114614042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3212688$2C7ABE20-9402-4BF8-9D9F-DF8B67CC3DBE","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":"Q3212688$74A42F95-3DF9-4FAF-A5A2-133CB8DD874B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c128ba53c738f0fc171117eeaf88bc7a24ef952c","datavalue":{"value":"https://doi.org/10.1145/321738.321748","type":"string"},"datatype":"url"},"type":"statement","id":"Q3212688$D2217CA2-98E6-4E04-849A-8269D93EA933","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb896e171f90768032949aeb08957b9b76e1ae3b","datavalue":{"value":"W1993517298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3212688$1AA354FC-8096-447F-8323-BD9F4675C0C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3212688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3212688"}}}}}