{"entities":{"Q3498461":{"pageid":5528364,"ns":120,"title":"Item:Q3498461","lastrevid":58185399,"modified":"2026-04-04T03:53:08Z","type":"item","id":"Q3498461","labels":{"en":{"language":"en","value":"HORPO with Computability Closure: A Reconstruction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275840"}},"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":"Q3498461$7CCD6B55-04DA-4933-9BFD-CD2014962408","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"094a9ab60e3a5a72653383de6ba9a58169b20729","datavalue":{"value":{"text":"HORPO with Computability Closure: A Reconstruction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498461$5DEAFE89-051B-43B8-B31B-B98FAAFB64F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43c8a1ac9acf5ad6b47ca28c771903e43238efd2","datavalue":{"value":"1137.03307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498461$8B23838C-76B0-43AA-BACD-4B9868194954","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a03474e4679b63257f793cc509343d67b3df739","datavalue":{"value":"10.1007/978-3-540-75560-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498461$96E030BC-5E93-42E5-9CDE-0D9D0D95ACAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8807e9b5ca6f3e9539fb2629b3f3fe474d0fb0ea","datavalue":{"value":{"entity-type":"item","numeric-id":235598,"id":"Q235598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498461$9191061F-3B0D-494B-80CB-BD1A860C4BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498461$1466ECCA-3806-491B-A690-D0BDB45E684E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498461$A605A349-D52D-40EE-B5FD-7E0D55FD02A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498461$912C273B-3F3A-4A8C-A07C-C2091BFED3A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-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":"Q3498461$DBC2DFE0-49AB-4867-B458-692D17AFCB1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"470494dd5d45ef334431914a3c29f2227f773ae6","datavalue":{"value":"https://arxiv.org/abs/0708.3582","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498461$4DB90F55-D52D-4469-9B9A-EBCCC364F83E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498461$DE68D47D-952E-4AAC-88BB-DE4CD2A0CFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498461$A7A6CF45-E36A-4984-8677-A365AA533162","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"217f323c3cad32868e7cf7c985468ca861a793de","datavalue":{"value":"5275840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498461$D4992BF7-749B-4C23-8F81-A4FD696BC63E","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":"Q3498461$228EC71E-38F5-41D1-9A02-C950B6295A4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a77975ce5bd52ac416f529807cb3d731497c9097","datavalue":{"value":"W1896024878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498461$377D9545-3B35-406D-93CC-10677F34B941","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7a3e4e235aee95bb3d77429d2bdea51a61e3ad","datavalue":{"value":{"entity-type":"item","numeric-id":5387879,"id":"Q5387879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498461$BDF65EA2-A1FF-4B51-800D-ADE8E8196290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da79663fa6c445059603456269c9902280a33779","datavalue":{"value":{"entity-type":"item","numeric-id":3546327,"id":"Q3546327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498461$69C02847-447E-4817-86A2-4182EC695A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5420d463f6c29cd2183e3e9f2077e01017260b56","datavalue":{"value":{"entity-type":"item","numeric-id":4457836,"id":"Q4457836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498461$E2F27D33-EFCB-4497-B656-FCEFD2921C29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7e66077f573269297e0cd2ec7f75820aeb45fa","datavalue":{"value":{"entity-type":"item","numeric-id":3540166,"id":"Q3540166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d729ab26b2b05a1cbdba616e86b9d2ff6757d37","datavalue":{"value":{"amount":"+0.825446367263794","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":"Q3498461$82D8A3A9-2A09-406B-A915-E30233590E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849c17cb94218e8fed782e07a8b252a384219966","datavalue":{"value":{"entity-type":"item","numeric-id":3196359,"id":"Q3196359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f969ea97d034845ee5d4fc33c100569f21f11fd","datavalue":{"value":{"amount":"+0.8103109002113342","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":"Q3498461$88CD6463-E929-4D61-A411-6C1CEFF08DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bfe788d3ff49a680b8b0521c90e3a8a7fbcb40","datavalue":{"value":{"entity-type":"item","numeric-id":3527297,"id":"Q3527297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f634b1fe9ac04791a20ee1a4d709fc6b545e04b6","datavalue":{"value":{"amount":"+0.7966081500053406","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":"Q3498461$1C267FB4-AC5C-4E8C-92B4-5ABC1E60D714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da9db7bd545f22301ad588b7db34dbae68d6e52","datavalue":{"value":{"entity-type":"item","numeric-id":5505590,"id":"Q5505590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92577b0dba278135a42b91644f7b7102431688d","datavalue":{"value":{"amount":"+0.7920429706573486","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":"Q3498461$583D0E14-28D5-4910-BE74-755B0A31324F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0c61e6fd01e935344860ee668c18458e006fba","datavalue":{"value":{"entity-type":"item","numeric-id":2988386,"id":"Q2988386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c541c1d3bdb08b524072fb064f27207b00439f","datavalue":{"value":{"amount":"+0.7866773009300232","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":"Q3498461$9CF3E34D-9957-4CCE-99BA-F49597CC89D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498461"}}}}}