{"entities":{"Q861692":{"pageid":863540,"ns":120,"title":"Item:Q861692","lastrevid":64957536,"modified":"2026-04-11T23:21:26Z","type":"item","id":"Q861692","labels":{"en":{"language":"en","value":"Some techniques for proving termination of the hyperresolution calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119731"}},"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":"Q861692$483F0893-CA2C-4374-86D9-67A61E902942","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1eee0d244024b4ce5b7fbd2ce5b86b3cea34310","datavalue":{"value":{"text":"Some techniques for proving termination of the hyperresolution calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861692$0F1034F5-2D3C-49FC-8A5D-0A23BA004E23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"135de7174e1eae67f24530590e044a2df0d1dfd3","datavalue":{"value":"1112.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861692$B3F5BC6D-0B17-48D7-A49B-376348463D62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$29F990C3-7A11-424E-8DC9-28C06F0199C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35bf8729f5a833a26eee340dee2bdc3e7c14d114","datavalue":{"value":{"time":"+2007-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861692$572C53C3-9ECB-4D52-9A0B-1E3B033181A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861692$5EF8CA36-1A53-46E6-88BA-AA69C619C65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861692$D2C2602C-357B-42D1-ADA1-606B5EDC23BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f605f86a37382293fca723f20ffef5faf36875f9","datavalue":{"value":"5119731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861692$5F174D9F-BEC9-4F1B-9AE9-29755E2898E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14647a021d250427faa255f602975f365544ae7","datavalue":{"value":"hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q861692$2EE642A7-EB51-4940-9498-6F4C986B81EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q861692$CDF36CA8-0AC2-440D-83CA-80AB81F60F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02d4cb9949d1e0e1b52bcd330c1219b250da26ef","datavalue":{"value":"complexity measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q861692$EB759329-EC9F-4DA0-AB25-40004DB69CA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$847E0B6D-4DBC-4EC9-935E-7A30010E64EE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$E90359A7-4439-40BD-B51B-8C73943B0E2C","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":"Q861692$A2D803D5-CE2B-4C00-8077-58137811BED4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c733671543d710bcadc018ac24e621495eaf425","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9028-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q861692$DF4835FE-7A91-4CAD-985D-9CD47641A4F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bb491085236deae722d0ad03a39c959affbef7d","datavalue":{"value":"W2051480593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861692$221FF3DC-BA88-4B27-B346-0882ED63B0A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$45BAAA12-1B98-4971-81F6-989A8799B273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1ee918c464fe7c6c2ebcaf9cb1dfed9d3b10f4","datavalue":{"value":{"entity-type":"item","numeric-id":1581852,"id":"Q1581852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$E98BD0CA-1EB1-4D35-84CB-E22CB96295AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5895fe8c663874ec5dc3c8cfbb2574a6b301c3","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$697EEEBB-4ED2-4CBB-9B68-C2B2149F84AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1737e3b82e8627dc5ad82b7bff5fa29662ec6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$6D18952E-2CDF-4F98-9E41-5F846FDAB75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315e95e4ad8a1c26487d3ff7728ab264483e45ea","datavalue":{"value":{"entity-type":"item","numeric-id":1310269,"id":"Q1310269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$79D460B7-3C4B-45DB-9D67-2CACEA75E447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebba25ec6e30e98195fd89fc28af9b9ec829611","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$736111FC-BE87-4A59-8645-3EF42A34DA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$4ACE638E-22E8-4ABE-87D2-5ECE45F0646C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149d4ec026de16ffcf0b00bdc1dd938cbceaa3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4809060,"id":"Q4809060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$517E5E7C-D089-4DB4-9FA1-FA0DAEE48D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f1e0b1f219dd8f163a3aee56dfd9139f4743b6","datavalue":{"value":{"entity-type":"item","numeric-id":1404983,"id":"Q1404983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$B53C24DD-5FE4-44A4-988C-FCE6C41A2A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a367e15e40fb312874501f15d87e86df65678fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1610669,"id":"Q1610669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$1D0FEC74-1431-407D-BD3B-D5CCD4275148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda6d4bc4ff06358c5dfe216b9a7a58bec1514be","datavalue":{"value":{"entity-type":"item","numeric-id":4102765,"id":"Q4102765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$3D12A3C4-A041-40B4-9621-6435B31868F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dba7c0b629db9b887c883c0069b43c27a8e7f14","datavalue":{"value":{"entity-type":"item","numeric-id":4212920,"id":"Q4212920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$CA958657-BB82-457D-AED1-7D0F45687B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f88b928513b729cf001aa1489ca23d8f7aa55d2","datavalue":{"value":{"entity-type":"item","numeric-id":3142019,"id":"Q3142019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$1CA75000-3821-45B8-A2D1-53ADF937F17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$5CBC79F6-F8F6-4D72-83FD-AFF1918D72E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$035D88A0-2D47-478F-9D00-F09A3E91015D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$603269AF-9CC3-44B4-901E-EF481DF2EC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2b941917dce341ff718d83ae85a2cf999d6ba","datavalue":{"value":{"entity-type":"item","numeric-id":4249898,"id":"Q4249898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$8A3F3CD8-918F-4C7B-A8A9-8C7CE4A180AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8d31f3cb0e70f70dbe954c675eba0c9c829f24","datavalue":{"value":{"entity-type":"item","numeric-id":4430633,"id":"Q4430633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$389FD7FC-B6FC-47E3-9E59-90FB3E6CA831","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":"Q861692$A8F1A13E-F061-41A7-AA73-FFAC6E969794","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":"Q861692$AA6C29D9-1EC8-4CD6-BB93-9862F01CF04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01fd86002557c9e86243f8e81d785080636f629","datavalue":{"value":{"entity-type":"item","numeric-id":2720403,"id":"Q2720403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861692$BC4CF19F-41A7-4132-8C7D-EF5AF17473E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0d66c39728ddca95290499d95cef4c60d4b5dda","datavalue":{"value":"10.1007/S10817-006-9028-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861692$0AC83C5B-9FEA-4B57-8026-17891A59F366","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d774b848aec03fbaa972ca7064d768c2b50c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b249f6f9787aa123125ae57280f16d2741deaf8b","datavalue":{"value":{"amount":"+0.7800143957138062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q861692$5B217F84-9612-4288-9AEE-FD0572B91562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be22579210ecce9ecb2a66244468fd32f76c98","datavalue":{"value":{"entity-type":"item","numeric-id":2843818,"id":"Q2843818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b249f6f9787aa123125ae57280f16d2741deaf8b","datavalue":{"value":{"amount":"+0.7800143957138062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q861692$4DF24B4E-CD15-4F28-B79A-12F7DD6F98AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed107c0b5f9570cfb041178e0327ee0d9628b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b542e9a1cb0dafe4d38ec23dbbf39e40df62ad","datavalue":{"value":{"amount":"+0.7794883251190186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q861692$53E4F015-B975-4136-BD56-A01A3B93C2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73174a4485242e702f9d30c95ca2f409d048b88","datavalue":{"value":{"entity-type":"item","numeric-id":3976574,"id":"Q3976574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf6e6de436d240dcf2afb9e6a51531ba0cfe1a2","datavalue":{"value":{"amount":"+0.7775266170501709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q861692$53590A05-3C93-4BBE-80CB-D419258339C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26ee6197942f4f873bf496ed686e6477e4032e4","datavalue":{"value":{"entity-type":"item","numeric-id":1041788,"id":"Q1041788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1c2eb9f10e05dc2d8914d3e84116a3ec1e17c1","datavalue":{"value":{"amount":"+0.7681676745414734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q861692$62BA258E-5E74-4B9F-9317-999C8AF0055F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some techniques for proving termination of the hyperresolution calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_techniques_for_proving_termination_of_the_hyperresolution_calculus"}}}}}