{"entities":{"Q4880540":{"pageid":6910119,"ns":120,"title":"Item:Q4880540","lastrevid":41738382,"modified":"2025-05-07T18:30:24Z","type":"item","id":"Q4880540","labels":{"en":{"language":"en","value":"Hyperresolution and automated model building"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 885364"}},"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":"Q4880540$2FC4E57A-D3E4-42E0-8A66-D59B1103BBE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10a9736f75d195899d4d188c9f7b46d19ddbcbe9","datavalue":{"value":{"text":"Hyperresolution and automated model building","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4880540$84860691-4F5B-493A-98E2-27897252A76F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4033d122c44e47b45d842e6f13de087b6ce584e","datavalue":{"value":"0861.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880540$48B9C542-6B76-4A8D-8939-7F04DFC86C0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880540$174F7E52-69CC-48C0-A495-12FE4D159E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880540$42297AB4-4B70-4986-8C3D-0ECB0A95B04E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8e16ae67cff699ba8d54fbbd6dc295121c5eca9","datavalue":{"value":{"time":"+1996-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4880540$4A9FA0FB-0EB5-4360-AC26-A48B317F61F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880540$42F72287-F1E1-4D01-BFAC-C56876297397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880540$50E730FD-814C-41B5-A1FF-9E0912CA07D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880540$F88BCF50-945C-46EE-AD55-BEB436CE78AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d1248e3f752080218f34c4fdcbf2492128a6287","datavalue":{"value":"885364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880540$CB8FBC24-7492-449B-BA61-DAEBD6A84504","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880540$0B52B71A-7A8C-4461-8D7F-ED00A1441247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14647a021d250427faa255f602975f365544ae7","datavalue":{"value":"hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880540$29CBD375-920E-49DB-88BD-1B15D1268724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880540$E5D399D7-3004-45E4-A8F7-10553C485080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880540$D9BA9499-FCF8-4C8F-BD31-3379889FA2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a8f07d0a3bfabea17b00996461606d492fcacc","datavalue":{"value":"Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880540$7426C146-440A-40EB-BA6A-CC1953620E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a938fd1aecd1bdb60bfb0d69ed8ea05397fca8","datavalue":{"value":"atomic representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880540$24F0D183-6A41-45A8-951A-831D5E67D34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880540$97901B05-3D89-4C4C-B63B-07693A006FE1","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":"Q4880540$10BC20EC-AAC3-49F3-BC96-DA12527469AE","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":"Q4880540$E9A95067-902F-44A8-8180-D1E137D1A913","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f3a6200d4f5de19eaffaac39f77ef8b83beed54","datavalue":{"value":"https://doi.org/10.1093/logcom/6.2.173","type":"string"},"datatype":"url"},"type":"statement","id":"Q4880540$7E8AFF90-7E90-4995-B667-ECBCF94386E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6871a0446dc840fcfc6a546bbd2ab0085bb614d6","datavalue":{"value":"W2071100103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880540$7F1899A5-1DC8-4AC7-95AE-1D281ACAC072","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ce54dfb4ff47b700f788bc570218e74d9aaee42","datavalue":{"value":"10.1093/LOGCOM/6.2.173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880540$2D11C9F8-EE0F-45BF-81EB-3F87419151FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880540$796543EF-43E6-4187-A4C8-3DB8516C3A38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b218c4ba3c0ee3527ebaf03168166dd2cb9217ec","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c378809e5041e0918c6aa440f5a752c8f9fee473","datavalue":{"value":{"amount":"+0.84019136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880540$6E819766-1C9A-4999-A202-D4DFD478535E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050befdf8477652a6f6e3c1291975490d044d737","datavalue":{"value":{"entity-type":"item","numeric-id":2487870,"id":"Q2487870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d253c47c96fe1f0aeb3602f5b3df141db7ac65a4","datavalue":{"value":{"amount":"+0.83925635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880540$D7CAAF4E-6FFB-41D2-B540-D400B264323C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e5233e2bcbf3ff116d6bf90c5d50a41cc89310","datavalue":{"value":{"entity-type":"item","numeric-id":1910955,"id":"Q1910955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a347b8c496b70f89118d80206bb2e583d66d1c73","datavalue":{"value":{"amount":"+0.8392213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880540$1A84397B-F9F8-4D6B-9833-DFE4D834615B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b107c117c89e555ce598c11c3ae7a97de2abe965","datavalue":{"value":{"entity-type":"item","numeric-id":5146654,"id":"Q5146654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9d4ff684e194bd2acc56cb8a11375c8ea7eb43","datavalue":{"value":{"amount":"+0.8303287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880540$E9E787D4-B59B-4347-B7FB-217BF66C4B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44469c695c7d19631de7e636f5e7f496493f9406","datavalue":{"value":{"entity-type":"item","numeric-id":4283235,"id":"Q4283235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588b3cdac327868a9c523a0a58e1b6ab40655a1e","datavalue":{"value":{"amount":"+0.82749724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880540$6E04ED39-6713-4014-9C5D-26CF7C9C02FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"752837311a0baab6771542ceec5dc231ea2493e1","datavalue":{"value":{"entity-type":"item","numeric-id":695713,"id":"Q695713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f4ca58885d8b4e272c2ce2820eec7e52b32b54","datavalue":{"value":{"amount":"+0.8253252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880540$DE6B6A10-42D9-4E2E-9C60-93079453A39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636936f5ac04362784a5ad470639f9abb3d9a746","datavalue":{"value":{"entity-type":"item","numeric-id":5395341,"id":"Q5395341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c869836afb37fd490304fcc6631ed2804a309c49","datavalue":{"value":{"amount":"+0.82526416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880540$A0EA2D07-73DA-4BE2-B1D8-10C0A9C00313","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4880540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4880540"}}}}}