{"entities":{"Q3082706":{"pageid":3093421,"ns":120,"title":"Item:Q3082706","lastrevid":51209318,"modified":"2026-01-17T06:19:47Z","type":"item","id":"Q3082706","labels":{"en":{"language":"en","value":"A domain-independent system for modeling number theory using first-order predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5866638"}},"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":"Q3082706$563E26AF-AA6E-4A13-8BD6-6EC081BC62C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07e1d5c28d4a20943bafc7942fc2020f8b07a45b","datavalue":{"value":"1207.68336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082706$04D1FF6F-DD86-4719-BA92-09B9DECACCD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8056ded0a9bb6481c2ff1e31b7918a75063630f","datavalue":{"value":{"time":"+2011-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3082706$56AC4D7A-B8FB-498D-B6A3-AFC99BCC458F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082706$CF839CD0-B880-420E-90D7-7691F76AF597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082706$5699F8C6-0D89-4ED8-8EEB-2FDE4B7C0393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082706$762D56DE-6582-4CA4-9204-4AAD2DFA8E08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efab89260cd018cc6512f38129eed3c0c70555bb","datavalue":{"value":"5866638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082706$BBD6616C-F4FA-449E-B5BA-E7D9B658BFF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6738e8db0f627d83ecc52a74051aa80dae8b20bd","datavalue":{"value":{"entity-type":"item","numeric-id":1277338,"id":"Q1277338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082706$FA8D5A5C-9E40-42B1-9383-23EE22B2EDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"569ec9b1299deeec093aa969930f73d3650f42d9","datavalue":{"value":{"entity-type":"item","numeric-id":1372958,"id":"Q1372958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082706$7B332282-76F9-46A2-81C7-0AF898291103","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082706$B877FF0B-A0F9-4AFA-9881-E5C151D8BAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7bea7b1a95583dcf9c47a48e1f0734187b198c5","datavalue":{"value":{"entity-type":"item","numeric-id":14474,"id":"Q14474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082706$517B679E-309C-4240-B32D-28F1C49CB76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082706$75B7A5DD-1630-4EC5-B463-9C96184EA051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fad6a8382d1b81e444a46360f9a7cef8b31287f1","datavalue":{"value":{"entity-type":"item","numeric-id":33352,"id":"Q33352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082706$E05EDC5F-9B85-459D-B0FD-4A4836D38B9D","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":"Q3082706$69F1666E-4CF2-4582-94EC-F6E30F63FF27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18fef7ff67e321f5da285458ae23b57701a5f98b","datavalue":{"value":{"entity-type":"item","numeric-id":4032144,"id":"Q4032144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137955ef9f49665e7f85efa1afae44d0511e548b","datavalue":{"value":{"amount":"+0.6868406534194946","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":"Q3082706$BF1156F0-D427-4787-A16F-E30B721A434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b884e616fa3408b10f2624cdf544e03c9ee7c19","datavalue":{"value":{"entity-type":"item","numeric-id":2891471,"id":"Q2891471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac60d630fbaf1c8d9139e1d1538539637ce483a","datavalue":{"value":{"amount":"+0.6761536002159119","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":"Q3082706$B0C91820-E930-4E48-922F-B24F6274E083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542418b998932333df98aeb849260f0e64e3bcdf","datavalue":{"value":{"entity-type":"item","numeric-id":3750136,"id":"Q3750136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38ed565cc1696f5680830b54e489aaa064550d1","datavalue":{"value":{"amount":"+0.6680602431297302","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":"Q3082706$C481606C-6BA2-444A-A1CF-9255ABAA98EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b4440e24c330497025549da4d4dc8ba9f23acd","datavalue":{"value":{"entity-type":"item","numeric-id":5747877,"id":"Q5747877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f17024c926435e7ea9f375bf3ebbadf294adde","datavalue":{"value":{"amount":"+0.6573867797851562","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":"Q3082706$4921D1A0-5B9B-4BEC-8207-47B51E7A1F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd394b71b8901b23d26099d7036d7a493bb8ac7e","datavalue":{"value":{"entity-type":"item","numeric-id":4226993,"id":"Q4226993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5009e643e0755216c6921d89b4c602367bd707ad","datavalue":{"value":{"amount":"+0.6528617143630981","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":"Q3082706$F9E572D3-C6EE-43C8-A56F-D38B0B36B57B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3082706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3082706"}}}}}