{"entities":{"Q5389067":{"pageid":7418641,"ns":120,"title":"Item:Q5389067","lastrevid":92633333,"modified":"2026-06-05T02:14:33Z","type":"item","id":"Q5389067","labels":{"en":{"language":"en","value":"FAST: an efficient decision procedure for deduction and static equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027824"}},"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":"Q5389067$0A84AE0E-056A-4FCE-839F-ACE6EE534F3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb1f38b40c8afb2ef77c70df4e70b7055c260893","datavalue":{"value":"1236.94073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389067$995A66C5-B5C8-4226-9582-095EB7C33041","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f1620821c92f358556925e04b80cac6d892943b","datavalue":{"value":{"entity-type":"item","numeric-id":5389066,"id":"Q5389066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389067$3F711878-FF50-40DF-9AA1-E334EC53C9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389067$C97E6548-4F8B-4470-8A51-00EEF923BAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6394a9b799318dddd4fd045f70a89704e53a076","datavalue":{"value":{"entity-type":"item","numeric-id":549721,"id":"Q549721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389067$2937EA15-F82A-4889-87B2-34409405AE96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85ed9f287d2ea9a2dac92419860840c9949df976","datavalue":{"value":{"time":"+2012-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389067$4D3BBF4D-3408-4D16-9FB6-83412FADF8BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27a3f7c3cc8b102ff165ba019f014e8b808611b1","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_069d.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389067$83FAA57C-B586-4628-AB88-C99D8A7AC1B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389067$107FAE8F-97D5-4F49-9E99-09C16E6445A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389067$7DD45237-DCF5-408E-933E-00E722A1378A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f36246a84f2dae09e4f4e313645142da704254b0","datavalue":{"value":"6027824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389067$2536CF83-1C66-431C-AB42-526AF87DD3A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9f78089affef06c072081bb824e40f99a75bd9","datavalue":{"value":"efficient algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389067$700F83AB-87E8-4162-9E1C-92481AC4FAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389067$32378015-2551-410C-9455-DAF9AF86C40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df22239041b8a2a2b31a96e1dc61737317cb2bab","datavalue":{"value":"deducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389067$5F502C1B-A7F7-43EA-8F89-8231077E861C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9afb9f37755748b127a63f4dbdb174f5fd783a7","datavalue":{"value":"static equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389067$1FF5AC0F-0AFE-4A91-9CDD-4EFA19259824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389067$0F5AAEFE-C57D-4100-A15E-F56611E2976B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea93917e6a5dd3b24dcb498614b8cdda44d5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":15278,"id":"Q15278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389067$E91FE19B-69D8-4E9D-971B-30A03532C3C1","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":"Q5389067$8CD363B8-16EA-4A61-B273-58C91BAAABD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcc0a81509d6c089e0aa3783001fc8230c745197","datavalue":{"value":"10.4230/LIPICS.RTA.2011.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389067$D0C3CF94-D005-4292-8BEF-AA4C275C7C7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa782b0f5958fb11c8487e88a81ca0fcc268f2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5466517,"id":"Q5466517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a30a974db0fc967eb6246c50c3782b08442af33","datavalue":{"value":{"amount":"+0.7417463064193726","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":"Q5389067$8908FCD9-1160-46CF-87A4-62594E3CFFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe93db08f64d70904f18a6d3c252b4f2aec1ee47","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3011ed7654bc56e56a74d9dc8262f992426c93c9","datavalue":{"value":{"amount":"+0.7290575504302979","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":"Q5389067$D0D31857-C2C5-45AA-AC31-9027F8C78FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362ee8011afc13b41be0ff7056ea944253efcb87","datavalue":{"value":{"entity-type":"item","numeric-id":3636824,"id":"Q3636824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2ad4a78742b018517527fa1b17689e47c4e3be","datavalue":{"value":{"amount":"+0.7253062725067139","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":"Q5389067$A279A140-A182-431A-886E-1B9A18DFA68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceea2fed47ccc09138ed9b04d13251c100812f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2946688,"id":"Q2946688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33e7ef105c6caec34967f2420b1cbb997c84b80","datavalue":{"value":{"amount":"+0.7240679264068604","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":"Q5389067$366B4F19-8960-46E3-A254-D01603241548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94fd8dd4d0730c1b5df75b2bd8ea2cde773cada","datavalue":{"value":{"entity-type":"item","numeric-id":5747780,"id":"Q5747780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b537246bcdd6c6bbf45cc26a0a2f4c218646c9b2","datavalue":{"value":{"amount":"+0.7202265858650208","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":"Q5389067$6F29D8D4-3BCE-4066-AE35-D780E0407A93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FAST: an efficient decision procedure for deduction and static equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FAST:_an_efficient_decision_procedure_for_deduction_and_static_equivalence"}}}}}