{"entities":{"Q1230669":{"pageid":1241419,"ns":120,"title":"Item:Q1230669","lastrevid":66403275,"modified":"2026-04-12T09:50:29Z","type":"item","id":"Q1230669","labels":{"en":{"language":"en","value":"Experimental tests of resolution-based theorem-proving strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3529446"}},"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":"Q1230669$453C8370-2D0A-48B4-999F-6EE714DC925C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"498e300d59f4303b5d0deb5fd3ff6bf6d0ae400d","datavalue":{"value":{"text":"Experimental tests of resolution-based theorem-proving strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1230669$22402642-BB47-4C95-9A27-C915F2AB3009","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc00ee27379690157c647a47c98fc74c268fe766","datavalue":{"value":"0338.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230669$8936394E-1C79-4964-8817-970BD254DAC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9afe0d3e577441179875220e4de468e81d37255f","datavalue":{"value":"10.1016/S0020-0255(76)90698-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230669$CF5C243E-5E62-4088-9786-9A0D3D478E4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f2645ffdc968374d5d83c02361786a15de072a0","datavalue":{"value":{"entity-type":"item","numeric-id":1230667,"id":"Q1230667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$6A7610BF-0D4B-4700-9D8E-A560AA0C71A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de5d969b85a933bba985923967899a41a13e472c","datavalue":{"value":{"entity-type":"item","numeric-id":1230668,"id":"Q1230668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$D445FDDC-C71A-41D2-822D-C51E5FA476AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$39ADC867-0FE7-4B5A-85AA-93B397A05577","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1230669$01E7CA3C-6A78-4632-8E36-D0D2E73FF325","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230669$9931860C-7331-477E-A589-03C4EF171D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230669$D460EAE2-5A43-4A04-B71A-118A7B932BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230669$13AC2AFB-2907-4EB8-8C90-E31439A667C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230669$3C138AF5-EDA3-45A4-9710-2D666EF9C4CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"834d6bbc8d0eb52129c2a20b9aeddea9cca185ec","datavalue":{"value":"3529446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1230669$BC210E4F-8ADE-42EC-9613-AD4B84CB54DF","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":"Q1230669$9FD5DAAC-93C4-4ADB-BBAC-A361BBCAC988","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$ACE1FDB8-145E-49F0-9DA8-106311404C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"848902f3938e3f0df5f79bec602f78dff3b385cd","datavalue":{"value":{"entity-type":"item","numeric-id":1230669,"id":"Q1230669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$83501ADD-325D-4041-B633-E3382DCBCBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a01dbecb975909d969976d7e6352b9d192a2c8","datavalue":{"value":{"entity-type":"item","numeric-id":5683688,"id":"Q5683688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$902B5A7A-6345-4FF0-94CB-FBD6DCF6D6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de81e13d51cff72cceb779e9905964fd69fcb527","datavalue":{"value":{"entity-type":"item","numeric-id":5649439,"id":"Q5649439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$E1B5E5F0-ADE5-49AF-A2F3-212E2045C9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$4CA8473C-98F5-4D80-8AE5-DBBD2722C0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b6f231eb024fbb0248b8ea953dad94e2ed45be","datavalue":{"value":{"entity-type":"item","numeric-id":5507984,"id":"Q5507984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$AE2802FF-8FA0-4507-B058-89B2EEC90BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$571C37BB-952C-430D-BA22-0526B0F77C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$A44B2DB8-88BE-4A43-AE66-4133F4CFBCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89838827382acbf53ce860d7765a55008850713f","datavalue":{"value":{"entity-type":"item","numeric-id":5573405,"id":"Q5573405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$E071AD7D-7089-478A-B5B4-E39F668B219B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08067296a778be982332271922f05534568e2cf4","datavalue":{"value":{"entity-type":"item","numeric-id":5600875,"id":"Q5600875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$94526123-9E14-412D-930E-E4F55F4B30E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19bcc8ceeae09bfe2823325d7d61b377dc18bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5597535,"id":"Q5597535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$C39ABDCB-C5B5-46CB-93D0-F207DC67BCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123015d988bb6f26763623b31aeabe5ee6b2e143","datavalue":{"value":{"entity-type":"item","numeric-id":5594194,"id":"Q5594194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$038C7101-F5D6-4880-8BA0-F204FA6A2EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$0BA42277-75B4-4C58-9AC7-803733C3B393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8073276a8916b97326b23193e92c52703810ec51","datavalue":{"value":{"entity-type":"item","numeric-id":5726943,"id":"Q5726943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$533CD23F-3B9D-4FB6-AD9C-20AD883A4CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690d2e2fa3c40e1612ad82748583fec22cea8345","datavalue":{"value":{"entity-type":"item","numeric-id":5558293,"id":"Q5558293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$D6C781BC-2AE3-4F2B-AA3F-FF7003DCADB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d53a28b01bdaf2102551cb99ed821945979a516","datavalue":{"value":{"entity-type":"item","numeric-id":5541352,"id":"Q5541352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1230669$91DE1D13-F83F-4EEB-AF31-E4E3DFE42A60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Experimental tests of resolution-based theorem-proving strategies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Experimental_tests_of_resolution-based_theorem-proving_strategies"}}}}}