{"entities":{"Q4736398":{"pageid":6765978,"ns":120,"title":"Item:Q4736398","lastrevid":48312424,"modified":"2026-01-04T08:17:43Z","type":"item","id":"Q4736398","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085174"}},"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":"Q4736398$98EE51EE-38E9-48A7-A960-DE4D7D1A2E6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4d8a9b04082f490e8ed944aa372cb604d0dcebb","datavalue":{"value":"1054.03500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736398$FA40FB77-2D93-4CD6-9F6B-BB2842DA8FE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d146ed87b25a3f218b4b3975707f6be569c62c","datavalue":{"value":{"entity-type":"item","numeric-id":448974,"id":"Q448974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736398$009ABA93-855D-4C83-817A-DE38BEAFD24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7dd0a058a70d0c79c3596424a2206799a87b313","datavalue":{"value":{"entity-type":"item","numeric-id":703857,"id":"Q703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736398$902322E4-B605-42A5-8072-FDF2B70F3807","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d96456414d6af50ce04ff076f3343376c47fba2e","datavalue":{"value":{"time":"+2004-08-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":"Q4736398$7F91BEE3-0A16-4D7E-8928-E9F445955D0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c03a9fe281e0542b08df72e62dae73bc9662ae4","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2277/22770181.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736398$895A7CFD-FDA3-4C9B-BCCB-352F781C8E4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736398$BCD6704A-AF49-48DD-B58D-2E14E23B10DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736398$BAD983ED-B1C5-4C80-ADB7-66D827BC96ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a64720996e3d70b4327ba7bbba7d45431a2c3ca","datavalue":{"value":"2085174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736398$CCAEAD92-E202-490D-A7C7-0EE1F6BD655E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736398$8AAA1FCD-5230-44EA-B523-F1CF38CEF8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1220dff8cabed3b5e1aa130c391a9a0349dc6547","datavalue":{"value":"proof structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736398$6661CE08-A9D3-48CF-AC7F-FB549D3EC637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7f16b201de6728447e5b3664c161a1afb0abc3","datavalue":{"value":"natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736398$D651EEA3-2E31-449E-B4F9-12D80C6CB5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"608ad212bf9d9f8a7e5d120f6ecdf5c355624fa7","datavalue":{"value":"automatic translation tool","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736398$04D15BD3-3718-471A-9976-33530C3D3BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736398$66E589A7-3A69-4704-99AD-4E3CBE0EF1D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736398$599B446E-AF60-43BF-9FB2-B6645008F988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736398$C4E2FF12-3BCF-4CA1-8D5A-6CFE7E825BCF","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":"Q4736398$469A008F-3361-4699-AB9A-4FC14AD29FAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8ee7e593b624478045eb8b529702b8b78c430f","datavalue":{"value":{"entity-type":"item","numeric-id":3559761,"id":"Q3559761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cf346e458919e8730d5e5d36056fd5d4afaedd","datavalue":{"value":{"amount":"+0.8136748671531677","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":"Q4736398$19B8D326-9957-4BEF-8DA6-176A994D9D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc46b5e3ffb5dafdb345820660aa0ff8f93bc252","datavalue":{"value":{"entity-type":"item","numeric-id":5464662,"id":"Q5464662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef2e7a7b613760b8660215b9a884b49bb9a2cda","datavalue":{"value":{"amount":"+0.7054288387298584","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":"Q4736398$548FDCBD-6AEB-4A5C-8C85-EC911AD8FE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20a319f936660c1e67021cc9abb1c3024db1469","datavalue":{"value":{"entity-type":"item","numeric-id":2364883,"id":"Q2364883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad058bbbd18403bd4456d0633dc1c3e36891b500","datavalue":{"value":{"amount":"+0.6994212865829468","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":"Q4736398$F37693C6-CAE2-4FD0-946C-754BAD200268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a314e3e300ecb5f9a5ea5dd7518452d5ba23be","datavalue":{"value":{"entity-type":"item","numeric-id":3499757,"id":"Q3499757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03fb7e6fc9559bc75a91fe88c22041bb85af1abd","datavalue":{"value":{"amount":"+0.6896089911460876","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":"Q4736398$F995320A-E23D-466D-9B5D-FFEE15B514B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5adb73a6f6eda103426d7857ffe711303a84edf9","datavalue":{"value":{"entity-type":"item","numeric-id":3453117,"id":"Q3453117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d5bbb36e572f1f9bea20325acdda7899c12a05","datavalue":{"value":{"amount":"+0.6835928559303284","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":"Q4736398$1D15AB98-930E-4FBA-9F5E-BBE2BD9CE731","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4736398","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4736398"}}}}}