{"entities":{"Q2695485":{"pageid":2706229,"ns":120,"title":"Item:Q2695485","lastrevid":44640174,"modified":"2025-11-24T15:08:03Z","type":"item","id":"Q2695485","labels":{"en":{"language":"en","value":"Theorem proving using clausal resolution: from past to present"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7670970"}},"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":"Q2695485$B6D985A9-B8FA-4E3C-BA53-5AB076DD35B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0325128ea02c1eaec60257bd7783ab042b1868e","datavalue":{"value":{"text":"Theorem proving using clausal resolution: from past to present","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2695485$98AB7647-F44B-47AF-A3BA-06D5859F15B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45f42e042ccd86d93e5c83981dd2f3c5ffecac69","datavalue":{"value":"10.1007/978-3-030-89716-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695485$2E762A11-1E67-4CD7-9A70-3D5BE6BA8DD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$69866A26-8D6D-46DC-BD3A-1DBAC5396883","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3ef9f4f305b7318a6b75fa16ddb737b2de6b534","datavalue":{"value":{"time":"+2023-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2695485$BDE82917-0F55-4A67-9143-C1324FB7967C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695485$516C047F-94F5-48CE-955D-F3FBFC962A97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"add286481d8f42292516131797287545e0ed86b5","datavalue":{"value":"7670970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695485$BE8B3A53-517E-4507-862F-660A7079740B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99667ff6306724dbe63bc589a546934d523de225","datavalue":{"value":{"entity-type":"item","numeric-id":21966,"id":"Q21966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$1162A4BF-A859-4FAF-91D7-8ADEE31E8709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$B5E792BD-920C-4194-89C2-1CA22927FCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$8C4E2647-90B3-4B86-88DF-FFBB7654ECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd8872b92a1afd17b0483ead020793c1214a77ea","datavalue":{"value":{"entity-type":"item","numeric-id":37006,"id":"Q37006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$8776C9C2-62DF-4D16-95E5-8B8C0F9352ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"351376af9337c9358d4b7714d8543cf671d9a4b6","datavalue":{"value":{"entity-type":"item","numeric-id":26576,"id":"Q26576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$2F82A674-761E-4BFB-9B88-3E816D44597B","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":"Q2695485$A322DEFD-9C24-47CF-A030-8A0F7BAA9CF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cab4f522019c2fe822e6ec1edb507909577936b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-89716-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2695485$9D87CF21-89F6-47F9-A805-5E28397FBA26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4425ccd3039f356a85e2733252ef5033d7474f45","datavalue":{"value":"W3209686037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695485$6BB9860F-9ADD-4554-8950-28BA4CD0E43D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"306e12a9cf0eda54a3cc4a9ea9a5f408097e0e07","datavalue":{"value":{"entity-type":"item","numeric-id":1118578,"id":"Q1118578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$FAAFD22B-EEFB-4ED4-B57D-1E5B103EB56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$9522543E-D0E6-4E47-A00D-03004FEEE19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$D133A841-06E0-4C38-A654-C561646C7652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1bac099fbe4678082a91d992b4ab581e8ee2e8","datavalue":{"value":{"entity-type":"item","numeric-id":4421285,"id":"Q4421285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$B4844671-F549-4E3B-937B-EEC95B7F5B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d1c2c50e4f6152c1646f7649b15d27250c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3608799,"id":"Q3608799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$9697BF97-92AD-40ED-B28C-7862142EF527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b024f968ab39eecba87b54091254c36a354243e","datavalue":{"value":{"entity-type":"item","numeric-id":5277744,"id":"Q5277744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$673BE259-6ADC-46D6-9CFD-70480EB384C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d5e2e4d2538ce160b4da1a8a2f06f132f13f47","datavalue":{"value":{"entity-type":"item","numeric-id":4647556,"id":"Q4647556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$FF9EE101-6FD5-4C75-8038-8EBE53DE8314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4366155d183781470c4665ac1b93ea07de3ba","datavalue":{"value":{"entity-type":"item","numeric-id":1383357,"id":"Q1383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$5659ED48-9827-4009-A115-20C40C45A996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359f749287a157af61dd6c0648616c84c0050d06","datavalue":{"value":{"entity-type":"item","numeric-id":4952309,"id":"Q4952309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$56FE0F12-E2D3-4EED-8889-3FF5439C20D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$0967FA52-02A3-4836-B440-D1E8ED25E340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$055C5F97-803C-4EC2-BD20-0B959B5FE0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cc22e70cd29988fee99676201ee18c4ac4f87e","datavalue":{"value":{"entity-type":"item","numeric-id":4351796,"id":"Q4351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$3E1689A2-7874-487B-807C-82724D5BE36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b5731d8665a1f402aa8ba470cd1f3967c3e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":2996923,"id":"Q2996923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$A0629432-6381-4E14-87FF-3A5B4894B3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2791adf62fcd6917e0cfb6ca40d21416a8677a76","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$7742F414-2BA8-4EAE-BF63-238C316BAC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$92704946-2517-4E67-A7B9-3ED5736545E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5dfbb5bd6c7d89dd077ac227b69a104533f344","datavalue":{"value":{"entity-type":"item","numeric-id":5307069,"id":"Q5307069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$09B4B48C-3412-4FDC-A3EB-F7ED538FE376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e354eb56d1cea816c283aaca8bcbdb05e7271a41","datavalue":{"value":{"entity-type":"item","numeric-id":2486579,"id":"Q2486579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$4F5EBBC7-43CF-4584-A801-824403E9989D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a20135e39458ab90aba74357e707069bdc3754","datavalue":{"value":{"entity-type":"item","numeric-id":3568221,"id":"Q3568221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$9A3DD32B-FF19-4EA7-988B-7F92052B4A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899e87059a25c13dd8994962a6e11071ed4064da","datavalue":{"value":{"entity-type":"item","numeric-id":5429559,"id":"Q5429559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$F6DC2B27-D170-40DD-A1D1-0983FD35EDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e154916204a21cd778ef4c60cbd61cbd59f459","datavalue":{"value":{"entity-type":"item","numeric-id":4972162,"id":"Q4972162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$5059D78C-16FE-454E-B3C0-E0B8C9F78043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027ebbb319f6ddd45c809b3e595d23ff70f6cd1c","datavalue":{"value":{"entity-type":"item","numeric-id":2817940,"id":"Q2817940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$677A41C2-F547-460F-9AF4-ED0191D883D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc32380a801af8bb19b7fe48bc238e9339feb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2303247,"id":"Q2303247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$6F75938F-EFCF-4B07-82F0-EE91E010BFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3391bccc161075d209868ebdcc23b758b7d30c9","datavalue":{"value":{"entity-type":"item","numeric-id":2055845,"id":"Q2055845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$101D7367-72DF-4F81-BD95-FEDA1224838C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$28CFD07A-4EBB-475B-B72B-DE3CCF1F213A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a08887d822e7b4c25205595464bf9ea48151dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5191106,"id":"Q5191106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$B5A13666-4BF0-4B85-87D6-B67F05FC9229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb579b8116b5c12413a9f058a99dd996b55fc7f8","datavalue":{"value":{"entity-type":"item","numeric-id":3568224,"id":"Q3568224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$30AED0EE-7056-460A-B1F8-F3E3A70D3FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5606a0549a0200c2a92bac03c8f76e4386d9248","datavalue":{"value":{"entity-type":"item","numeric-id":5410337,"id":"Q5410337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695485$49D1E8B9-BCF6-4760-91DF-BFEF14473D94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2695485","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2695485"}}}}}