{"entities":{"Q1238434":{"pageid":1249184,"ns":120,"title":"Item:Q1238434","lastrevid":70403391,"modified":"2026-04-13T14:32:08Z","type":"item","id":"Q1238434","labels":{"en":{"language":"en","value":"Non-resolution theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3559034"}},"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":"Q1238434$A07EAC03-0749-4A6F-99DE-D1EBD5B8A749","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bca27a1a22a249a37f04bbd86d27e801558d3a0","datavalue":{"value":{"text":"Non-resolution theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1238434$5A003DA9-0EF2-4734-902B-F33AD521EB14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64e9f94f38afc6068b2b7730038ac0ba01f2d36a","datavalue":{"value":"0358.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238434$BE99C3F2-6976-4064-8B5B-001F5283CE03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d3d3b247cc3d242fbdfc38fd9655218d84ba734","datavalue":{"value":"10.1016/0004-3702(77)90012-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238434$EE8A451F-385D-4DC7-867F-FB8339A180CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac6e57e7cbbcf47c47eab8817c6b7cdfc4fb3e81","datavalue":{"value":{"entity-type":"item","numeric-id":915495,"id":"Q915495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$F8394FCA-5696-4EAC-9081-F7AB246B6C2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$778F7523-13C8-437E-878D-1D8575FD6B64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1238434$FAD51AA1-BB6D-4BCA-AD4B-FB57E6FB5D59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238434$F2A1D762-A42D-4E26-924E-42C60F1374C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1046255c95928f972527f226d38160dc869fa3da","datavalue":{"value":"3559034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238434$557B7ED5-9690-4625-8552-CAD4019A9025","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$EBFEE8FE-2974-4D2F-B4D4-6AFF56707051","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":"Q1238434$37A1356E-A27F-40B5-9C1F-8E32B3F4759A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f01b9e91a30fd9804c342231882e1d12248f2606","datavalue":{"value":"https://doi.org/10.1016/0004-3702(77)90012-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1238434$585D6869-349B-4F55-AE64-E897D6219E8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d30d6a130cd0cc76ceb986c400044d984a362e6","datavalue":{"value":"W2023139438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238434$25E3D0FA-4EC7-4456-B798-01746C9D8F46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ba7db293ebaee9aa1ef89b96577a438c7ecefe","datavalue":{"value":{"entity-type":"item","numeric-id":5624685,"id":"Q5624685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$ED767B27-360A-41D2-B9FE-39039CEBB180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9a97f42391e8df4ec3c8de320b5dfa2377ec1a","datavalue":{"value":{"entity-type":"item","numeric-id":4088305,"id":"Q4088305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$39675743-51FC-4868-B0F2-93ED17D1CCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f20e02bb907f90cb22a0a676f448fd7139f7410","datavalue":{"value":{"entity-type":"item","numeric-id":2547495,"id":"Q2547495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$EE97F961-B3AC-46A9-9580-3741E770A20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330859a81aa2a457c43250fa16bdebe82a1da52","datavalue":{"value":{"entity-type":"item","numeric-id":2554244,"id":"Q2554244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$30321938-AAB3-4CD4-A8F4-E4B69983A05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280442ce105b23ca3597e15fa2038c58314d7165","datavalue":{"value":{"entity-type":"item","numeric-id":1845619,"id":"Q1845619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$5D7FEDDC-DCD0-4C7D-9BC9-6900DCA87808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c7202e783b352edb1e0158278fe604f9a2b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4105761,"id":"Q4105761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$B809AA0E-2EE8-45BD-BE52-3E6E67A56369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$E25EC103-CA7D-48E7-8582-35BD67EB5214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690bd19c27230df28d3f5c5c01ceecc08c6c3307","datavalue":{"value":{"entity-type":"item","numeric-id":5681544,"id":"Q5681544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$3E93E264-08EE-4706-A0E6-3DBE1687FA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a99b3cfaa24ace22461e3611dd14f5ba9e4db0","datavalue":{"value":{"entity-type":"item","numeric-id":5616174,"id":"Q5616174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$FE8CBBA8-D3AF-4CEB-8CA1-4AC0A1BF2135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdf21144d9e32553e8f12d339373f204fb256fe","datavalue":{"value":{"entity-type":"item","numeric-id":5721424,"id":"Q5721424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$6EE0AF7C-AB77-4138-86A3-6959AFEF59B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$EDB75975-3C7A-4F82-8E10-F43F01390B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2ee56ba2a005af96686c0f6e5c9a32a5bba445","datavalue":{"value":{"entity-type":"item","numeric-id":5565138,"id":"Q5565138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$7D802921-7275-4021-83F1-C4472B65DDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d211a65e42dac3ad2c9b8ed7917eda84e236e3","datavalue":{"value":{"entity-type":"item","numeric-id":5623223,"id":"Q5623223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$0C3EFFB6-71A1-48E3-9E80-1AC634557EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98f0de6ee54b022737f8389aea6b9f8f6ac6eeb","datavalue":{"value":{"entity-type":"item","numeric-id":4096462,"id":"Q4096462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$EE822404-2D2E-4327-ACE7-126613055561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2e9956e014ae28c735471b8fe8bc11ac76e0c0","datavalue":{"value":{"entity-type":"item","numeric-id":5670164,"id":"Q5670164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$C0159D11-04C7-4824-91BB-A9B2BBF249D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6943d359471f17ed0cf6ca2dc09b37122f981dbd","datavalue":{"value":{"entity-type":"item","numeric-id":2549584,"id":"Q2549584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$DFFD3C26-0F31-48EA-9230-7E9E70AC08C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5f7fd045f03e3026f2d3d66fc6bfc17d436e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5587112,"id":"Q5587112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$78FFF120-70C7-45F2-A4FF-1632E68CF94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$B209E8FA-7312-4AF9-B3D4-BB14357EDDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500839564d52c78e78ad4aaf38d97ec6a0b60d64","datavalue":{"value":{"entity-type":"item","numeric-id":2543312,"id":"Q2543312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$8781FFBD-D5EE-4989-A171-2B2F9602DEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e2984aad27cb3e25159a04dea706a44d204c70","datavalue":{"value":{"entity-type":"item","numeric-id":4766612,"id":"Q4766612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$8A584D37-1D59-4D22-849E-69ED7BE64ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515a4d73159a3d00843d4500377b99f2a011f41f","datavalue":{"value":{"entity-type":"item","numeric-id":5583066,"id":"Q5583066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$DD5EB127-0F57-4D6C-9DF4-729EB19FE1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c234e4870a3d583d166b6a38151685a4aab4d5c3","datavalue":{"value":{"entity-type":"item","numeric-id":5519616,"id":"Q5519616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$21A42DC5-FB9F-4807-AEFE-D150A6F59718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de783043a699ce4983a30e6037759292514f347","datavalue":{"value":{"entity-type":"item","numeric-id":2542509,"id":"Q2542509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$D915C7A2-8AA6-4FD8-B8F4-D17AAB8F2D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03918f12608c454b6b49451566a6b68d2b784de0","datavalue":{"value":{"entity-type":"item","numeric-id":1844090,"id":"Q1844090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$D2630226-B57C-4428-9B83-4D59CD3B5A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7abb1a37fcb81a634dcf1216f786d92ca577fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4098673,"id":"Q4098673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$6D565D43-4C58-4C5C-9D77-500437937AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ab1b76c1a615c15f4ab0ff2b368f22cadd3a65","datavalue":{"value":{"entity-type":"item","numeric-id":1215411,"id":"Q1215411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$19FB5055-9C72-4AB2-A890-38CED33F4566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27032a384168af742be76775ecf3c64f8e4bc37","datavalue":{"value":{"entity-type":"item","numeric-id":1215410,"id":"Q1215410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$F501F6FE-E6F5-44EF-A78E-0D16E6C35781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7778180d488dc23a9251efc497ff1eb2ea1e3568","datavalue":{"value":{"entity-type":"item","numeric-id":5529027,"id":"Q5529027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$FA1D872D-8EC4-44CE-86CD-3959270DD28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce187d54500a2db26ceae6e0205ecb0b0752213a","datavalue":{"value":{"entity-type":"item","numeric-id":4773313,"id":"Q4773313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$EE1A01A9-07D2-4B4A-954C-AD97A5EAD687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$57D88BDE-FDBE-4BE4-B971-C934C4D4D5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e82257b416db4246a715182cdefecc0570e41d","datavalue":{"value":{"entity-type":"item","numeric-id":3279281,"id":"Q3279281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$88F5ADDB-7EC2-4B7D-BF75-8D87D76C133F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741bca91778ccb8a74c0e336f5cb913dd02dbdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4088303,"id":"Q4088303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$80B9D1A8-AD70-455E-B7AE-B9267463DE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$CDE7FA2E-853E-4A36-BA39-B60A7A6C5846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b8ddb4bd9eaf59975f0cf94990cf762434fb9d","datavalue":{"value":{"entity-type":"item","numeric-id":5590294,"id":"Q5590294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$BA7C9512-970B-49D2-B084-9630C439CD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ecc0034e3b743ec1076fe0760c57bb7b5272b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2559927,"id":"Q2559927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$F025083B-5844-49E5-8DC9-54FBCCCB022C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$C0D6C982-3B2E-42C7-9396-B8874E14C114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$72653F5D-8EEE-4A74-BA7A-39BAADF22DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b422d2d294023b23695a8b39e822af284cc280","datavalue":{"value":{"entity-type":"item","numeric-id":5639371,"id":"Q5639371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$891338FF-5057-4037-91B4-B92EE09A2EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebb937bb36aec0ca90e44ba3165ce327e365d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3214440,"id":"Q3214440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$136FB137-DFA0-4855-A9A0-BDDAB7BBDD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21418fbc0bf456401f76f2d9527e7e25f956bfbf","datavalue":{"value":{"entity-type":"item","numeric-id":2551695,"id":"Q2551695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$5625AE27-3E0B-4198-91A3-DD429598636E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6a2cb106f245cd8593bbddd8c52259dcb7e15b","datavalue":{"value":{"entity-type":"item","numeric-id":1212353,"id":"Q1212353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$A6A80C41-231C-4AA2-BA67-C73E1FBF2558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6056a54436c66f65aca2a5b132827b0da4b65b","datavalue":{"value":{"entity-type":"item","numeric-id":3667965,"id":"Q3667965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238434$7E8B78A7-2973-4950-A3AB-82ED44BD6F30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-resolution theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-resolution_theorem_proving"}}}}}