{"entities":{"Q1215411":{"pageid":1226160,"ns":120,"title":"Item:Q1215411","lastrevid":66363345,"modified":"2026-04-12T09:35:53Z","type":"item","id":"Q1215411","labels":{"en":{"language":"en","value":"A relaxation approach to splitting in an automatic theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3471637"}},"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":"Q1215411$07D4DEB7-437A-4E07-A10A-D5E490C33A72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d720ad788f5a8f3a22d555553521b4ea0a30db8","datavalue":{"value":{"text":"A relaxation approach to splitting in an automatic theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1215411$7E0AEA04-373B-4EAD-A288-8DF92976BCFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b69506ca393ef7bd3821cb1b8e8b1b151db5c075","datavalue":{"value":"0301.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1215411$1E3181AA-F8AE-45A2-B307-8135E7F7DCC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66c671200acfa0b62c18438b7fe1b904a0a1a3fb","datavalue":{"value":"10.1016/0004-3702(75)90014-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1215411$12BE56BF-7E84-4F75-9B74-881F79970CE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da52982855b46913f1dd9b66f669911342b602a9","datavalue":{"value":{"entity-type":"item","numeric-id":1215409,"id":"Q1215409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215411$20DB37B0-73D4-4644-A8E3-CD7AEFCBF173","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":"Q1215411$88DF778B-816D-4E11-A59A-374A865FF9D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q1215411$621ED7AA-5065-43B5-A976-E7D09C2C2928","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b3e61f4a119ee02d62504970f61796ca52f53b3","datavalue":{"value":"http://hdl.handle.net/1721.1/6217","type":"string"},"datatype":"url"},"type":"statement","id":"Q1215411$46119E67-F007-4BEE-A690-F58E795202B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1215411$3C5C6A40-8DFB-42DB-A36B-97472650707E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1215411$1F6C091C-C45F-47EF-9F50-AD3481DB5240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a2f61b47d81c9e848abfa5918f19ba631e0acda","datavalue":{"value":"3471637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1215411$FCF38041-2421-4B79-A2B2-88B059A63A6E","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":"Q1215411$0C6FD312-4432-4A96-9044-71D180D813AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee748cbdb10162cdd3916b286baaad7189655a4a","datavalue":{"value":"W1995624888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1215411$49F8B02B-0286-47B0-B2F7-3190BFC62DBD","rank":"normal"}],"P223":[{"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":"Q1215411$603C9B15-7951-4CC8-9285-13B465F3A2BA","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":"Q1215411$86A260AA-63CB-47C6-BADC-83ABB475585A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fd769ca74e6515210b2bdaf27da39480713485","datavalue":{"value":{"entity-type":"item","numeric-id":2541849,"id":"Q2541849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215411$AE5AC8D4-7B3A-4CE3-B421-744D7BF3F8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215411$93C3D6AD-3F5B-4B97-9FFA-5A93B7EA11C4","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":"Q1215411$70F5F606-4326-492E-9C04-BC44FABFEDDC","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":"Q1215411$F9779469-9D3B-4866-BBC9-71F6DFF5F754","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":"Q1215411$83FABA87-56D4-407E-B82D-4FFE0C460EA0","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":"Q1215411$3CA716A5-E38C-4D26-AC3F-3BBFBC73B566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A relaxation approach to splitting in an automatic theorem prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_relaxation_approach_to_splitting_in_an_automatic_theorem_prover"}}}}}