{"entities":{"Q4270079":{"pageid":6299680,"ns":120,"title":"Item:Q4270079","lastrevid":46820106,"modified":"2025-12-25T16:06:17Z","type":"item","id":"Q4270079","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361141"}},"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":"Q4270079$818A82BD-4384-4BB4-BBBD-B2D602035B9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54beb1e08b86666cc40522df9639f0c8a72520b7","datavalue":{"value":"0940.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270079$9EB0069A-A161-44D6-A57D-C03D3B567147","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7424242fc8df37844160039ac3a56b637c142ba6","datavalue":{"value":{"entity-type":"item","numeric-id":2769441,"id":"Q2769441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270079$EF82D5FF-50EF-45EA-B2A6-6D167342EB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270079$6DA7627E-F622-4580-9274-F7485DF6ED0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39911b3a5473df3f27575bea507ad91be8380315","datavalue":{"value":{"time":"+2000-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4270079$47CF89C6-A114-40D6-84D7-BCBA54011A56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270079$5576ACCF-52A0-48F7-BB47-952240A92A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270079$7F352291-A11E-416E-A362-D4650F8D7DD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"020f79a71d4734956f0053bebab47a48a81c54e0","datavalue":{"value":"1361141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270079$B7CB616B-C66B-405C-9DE5-7F74DB42CC38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e6526b713321758c03805223ac30f29fc73309","datavalue":{"value":"Isabelle/HOL theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270079$63CB2873-B057-42F5-9835-B2AB84F88E5F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270079$E7F626B1-23EB-4187-96EB-BBF04BC58E51","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":"Q4270079$7638B381-6AF6-44AC-BD26-4BB60D7BC7B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e2146377b57e59317f0cd59e21a55ac08668dc2","datavalue":{"value":{"entity-type":"item","numeric-id":4818805,"id":"Q4818805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd94f1f3ceb5826ae2318dc2990fa9c9b962a33","datavalue":{"value":{"amount":"+0.7757277488708496","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":"Q4270079$C57AF8A0-8880-44A4-9D7A-36801F1B6C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a025efa84a18592663102e949dbcff0b082431ca","datavalue":{"value":{"entity-type":"item","numeric-id":2871830,"id":"Q2871830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d7017f7de24629becee062c19ec05decaa0639","datavalue":{"value":{"amount":"+0.7647067904472351","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":"Q4270079$6DCB5E17-2927-433A-B383-5AB288AA167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92814dd190447dc3809529a7c8a0548de19c5bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3024855,"id":"Q3024855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36796cf86d221a65929c7f84f1034953e297c847","datavalue":{"value":{"amount":"+0.7621317505836487","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":"Q4270079$19B98EA2-B5F6-4EDC-9A40-80007C1CA632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf5386af5c77ae129861b417cd884e0275d27cb","datavalue":{"value":{"entity-type":"item","numeric-id":5703795,"id":"Q5703795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7695ed5f272aa44b842c03eff76f5e500bb4751d","datavalue":{"value":{"amount":"+0.7478047013282776","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":"Q4270079$8F959F14-A09B-4BD1-A9E6-AFC9D8694348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e49efac56cb67d5bcd2de93c355c65cda5eb76","datavalue":{"value":{"entity-type":"item","numeric-id":3557847,"id":"Q3557847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e120cdc9980c655cb4bbfc30e507a6f9fbf05f52","datavalue":{"value":{"amount":"+0.7447934150695801","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":"Q4270079$6C85A9F1-7438-4241-BBB5-6B7880084F26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4270079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4270079"}}}}}