{"entities":{"Q4610326":{"pageid":6639909,"ns":120,"title":"Item:Q4610326","lastrevid":53321717,"modified":"2026-01-24T17:46:13Z","type":"item","id":"Q4610326","labels":{"en":{"language":"en","value":"Two loop detection mechanisms: a comparison"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002277"}},"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":"Q4610326$3FB94EC5-18F1-49C0-B165-1F03E89FF206","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"258dfd1eb4473e592914bcf98b081926e3e61396","datavalue":{"value":{"text":"Two loop detection mechanisms: A comparison","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610326$4A252567-5CFC-46E7-8FD6-4F1CA6D5FFD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdf65851cc23fdce0d3aee1c14c525baa28fb9b2","datavalue":{"value":"1412.68234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610326$BE37FDBD-52F4-4B88-B225-6AFA4497D80F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b78be09e060d47a3be0e8316b77e796d8d6efd97","datavalue":{"value":{"entity-type":"item","numeric-id":294782,"id":"Q294782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$B6E7B248-DAEB-4E06-96AF-6F7C57115896","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$940CC4D4-D3A0-4C82-9C40-08ECD1487134","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610326$876C2DD5-0986-460C-964C-0B7AEB086E78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610326$9E616BA3-8028-478F-B9DC-A5A344942ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610326$ABAAB336-4639-4444-A0C6-705B88F9426E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610326$4F5CB974-76F7-462B-B770-8D59EE4EB6F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a448ea57d74de2794095547c93faa1abc146b4bd","datavalue":{"value":"7002277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610326$5C5FD472-F0B2-440E-8011-992D745E9AC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610326$3F332AE8-DFFC-44ED-AC7D-166B5416DADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610326$D2B28DC6-E439-4B25-A71C-100A8BB5E6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d86666bce4e863fa22d076e113065531d77c2aa","datavalue":{"value":"propositional variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610326$034D2BAA-90FA-4945-A880-5AFB4466559D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610326$1700F0BE-A374-472C-BE5F-30E9B411BFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0213b48e373f0f895e54a16323e67f641558338c","datavalue":{"value":"proof tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610326$C6DB8D95-972C-4995-BFB7-4B20A875EEED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$3E61E9F8-8427-4B08-8300-57F8902D4E3E","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":"Q4610326$DD507550-0466-4E87-88C9-4AA84FC1FEA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$95F1634D-5C5F-4895-B43C-31BD6C621E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3d8c86eb700bcd7804a2c549d04d7c274011c8","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$822271D9-2B31-4CA7-AE19-D4D45B8A8D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cefc2c4cac88922029eed47a5184eb07b6e371","datavalue":{"value":{"entity-type":"item","numeric-id":4281686,"id":"Q4281686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$01712CA7-38B3-49FA-909B-9F1B72AB2E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$73396EA1-106D-474A-8876-6B41D1ED6FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$6891F0E2-03E0-4EEE-A892-ABD637B28638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df88df617383e402732a7ccdf3a5a43ea499743","datavalue":{"value":{"entity-type":"item","numeric-id":4645239,"id":"Q4645239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$51FD9C68-8905-4D79-864D-501F0FD4A6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366403401f7622593b34e9b9dbb671be627d25af","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$3F61795A-E0B6-49F2-BB74-1A492E5379B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cf7a10bff66d836e836dc6763a8738e552c50f","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$51D06525-1E47-4386-853B-EE92EF134E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8560c579b7bf463389593a93608715865efc3f82","datavalue":{"value":{"entity-type":"item","numeric-id":4647496,"id":"Q4647496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610326$61DCBE3F-6BAC-42A9-937B-520846F13239","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e993e92d10691fa03fdaf25fed848a28f58590d","datavalue":{"value":"https://doi.org/10.1007/bfb0027414","type":"string"},"datatype":"url"},"type":"statement","id":"Q4610326$AF052601-48E2-42A8-B0B3-E47154CFF8E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29262bf04641feb2d77f728bb0fdab4aa2fdc8ba","datavalue":{"value":"W1874611656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610326$76E5B7EC-EDC3-4C18-8D13-39A6D5E29CF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60b00a97355932b936d3ab3c33d569ee6e785cb3","datavalue":{"value":"10.1007/BFB0027414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610326$89EC9B16-3B5B-445C-8D44-D8B7E0E6E4E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632b7ffd94df20e865bb8de69beafde344ef356f","datavalue":{"value":{"entity-type":"item","numeric-id":5488611,"id":"Q5488611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83ab4832179898f9e3db44649a9f5d1f8174b9d","datavalue":{"value":{"amount":"+0.7647722363471985","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":"Q4610326$FFCB5B39-EA09-4D87-B24D-0878B607090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01d8e2a07bdf5c12116499f0f45a028f0edea6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4282600,"id":"Q4282600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db117a9fecaef8caf90cc32cef24906cbd28783","datavalue":{"value":{"amount":"+0.7484745979309082","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":"Q4610326$1D5EE572-F5CC-40D2-A2AA-ADB531220434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3178cc0e2456d9a9d37cf57f585f7412ff642b8","datavalue":{"value":{"entity-type":"item","numeric-id":1177923,"id":"Q1177923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561ac8cd1a78115f6f4c68f17b9fcaa4c09f2f7d","datavalue":{"value":{"amount":"+0.706466794013977","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":"Q4610326$33FAA43C-E220-488E-837A-FCD51FE17078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f579d05414dbc5d54ce1dc8f01427985e6a34fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4645239,"id":"Q4645239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b483573b5c371b8c625a19f108e4739c80191a2f","datavalue":{"value":{"amount":"+0.7039464712142944","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":"Q4610326$30D30462-23DA-4F82-AC99-F846C0AF4DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ac3e09bb537b2e99b37fcf7b213e67c3c87f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5748901,"id":"Q5748901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3584e4fdd5d07f5de31c25dc345d53e7b6a2613d","datavalue":{"value":{"amount":"+0.7027746438980103","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":"Q4610326$47D3F269-4CC7-43C2-B2E3-E81CB5A6D682","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4610326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4610326"}}}}}