{"entities":{"Q2825403":{"pageid":2836141,"ns":120,"title":"Item:Q2825403","lastrevid":52641008,"modified":"2026-01-23T04:21:30Z","type":"item","id":"Q2825403","labels":{"en":{"language":"en","value":"Unsorted functional translations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635956"}},"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":"Q2825403$F03E5ABE-1E4B-4F74-B599-67B55A3E7851","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ac41b3e300761ea6d41d0acc8ac5837d2d9a11b","datavalue":{"value":"1347.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825403$D1BDDB44-9649-4B3F-A83D-5147F78F9337","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$DB4AB685-013F-4185-8F63-A12F7DB4AF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75910c3998f3e6d7a5be008fae7c3261563e6e33","datavalue":{"value":{"entity-type":"item","numeric-id":631074,"id":"Q631074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$FC9E4DAC-5E20-4384-B5BB-1A56604CB286","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$CB03F483-7989-4A76-9FA1-D56EFC6DB756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75c97569af4c6b39def7afa4b7124bea406ac5e7","datavalue":{"value":{"time":"+2016-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2825403$DDE58FF8-55AE-4068-931C-1699D3FF81AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825403$FBD5CF5C-79C4-49C4-8792-5ABB82343C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825403$C52BD80F-1813-4E9C-99D9-B4050396285E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825403$9EA74DE3-4336-4BAC-A17E-FBCE83060413","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5652b05bcc08ce935760e7ffbd208f419d2e544f","datavalue":{"value":"6635956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825403$14BED6B2-F7F5-4439-9AAF-41083F5D8062","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825403$85E84866-5FC5-439C-B0B6-F3A57435ECB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5722fccd6c284426b6c488d536cb954b7335ffe","datavalue":{"value":"functional translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825403$702B8C12-60D0-4A94-8AE0-82B94C720055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be66603713d3da92b1d4b716da3eba7ce72a2866","datavalue":{"value":"sorts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825403$BFD9EEB8-5109-412A-B527-3080126D13C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$4BB5B934-9E48-4A1B-92BC-878173DE76E3","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":"Q2825403$E6B131A3-9831-4580-B899-86BC60FCA231","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5035191033a8033b240664e956a822f4aecd7a78","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2825403$8B45C072-A930-49ED-9AE3-314CC1AABD76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a89dbc6bfebf14c584508b8fad022932acd6510a","datavalue":{"value":"W1976699340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825403$F59AEDED-5B80-42F5-888A-D8039190FDF6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"101b98cd31d811ea86cca5281f61b07a23a02ec5","datavalue":{"value":"Q113318207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825403$61507D01-DB2F-44C5-96FC-67B47AE8D533","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c4afd063e45d6804d2e85b15032fb9f38c7458","datavalue":{"value":{"entity-type":"item","numeric-id":3490986,"id":"Q3490986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$665C5DBD-2CAF-4C4C-BEE7-38C3EA7A5C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8650a071223264bfee34c96b2e4233b3080f6fe","datavalue":{"value":{"entity-type":"item","numeric-id":4018166,"id":"Q4018166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$135F5528-8841-4FAE-8EAD-423FFE49EACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f71c78fa37d89de9f639230f926e61413cb8289","datavalue":{"value":{"entity-type":"item","numeric-id":3800001,"id":"Q3800001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$31877F0D-6956-4D06-B0F4-15A22D9F45B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a600081f69111d4a4efd0a8b327a22f543f40a3","datavalue":{"value":{"entity-type":"item","numeric-id":4088789,"id":"Q4088789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$168D1380-BE24-4097-BA35-43066FA1F47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee35eec4f1bcb8802869b456425f53aadfa3936","datavalue":{"value":{"entity-type":"item","numeric-id":4443417,"id":"Q4443417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$D1A155C6-F7DF-4173-9717-6F93FD37ECA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda6d4bc4ff06358c5dfe216b9a7a58bec1514be","datavalue":{"value":{"entity-type":"item","numeric-id":4102765,"id":"Q4102765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$F6CA4865-3A4D-446F-98DA-8B2AD4DF45E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$EA918BFD-255C-4433-951D-FA45829D92F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5db726edf837519cac147ea3a710fea1c2fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4365320,"id":"Q4365320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$C5B2A695-726A-46D4-B68A-F1F3EDBBC8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47b5cce3befb4b6dd08a3de34853c35e40e671c","datavalue":{"value":{"entity-type":"item","numeric-id":1284704,"id":"Q1284704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$13BA7A4F-6398-4A83-8BE7-C8D2FC60C8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff71e0133d53551329d80967df255d2d67f7a6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4013971,"id":"Q4013971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$849A27C2-DC34-4D58-8589-F0789C644045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$3EA2344D-FA55-4FA8-9BD0-7230CC97E66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d1c2c50e4f6152c1646f7649b15d27250c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3608799,"id":"Q3608799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$E2D62DB7-EA31-4847-8252-2CAF792CE7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f940523a458bccd6681941d0a5dbe305adbb02","datavalue":{"value":{"entity-type":"item","numeric-id":3480013,"id":"Q3480013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825403$08413BDD-135C-4329-BF26-02E2D6B5DE67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ec6e9b47c2225186b71f9fea45878f73e45e092","datavalue":{"value":"10.1016/J.ENTCS.2011.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825403$C8EB9257-9B48-42F5-8C41-FA4DE7B1A2BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e25a7c6a8d6ed8e8661be6acb36f43aa664703e9","datavalue":{"value":{"text":"Unsorted functional translations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2825403$6BE12374-4CB9-4362-860E-9990507F58EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4218bafe9535cf8c15af114a234bb401c1fe04","datavalue":{"value":{"entity-type":"item","numeric-id":4365320,"id":"Q4365320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2757034a744deb7657ef9f7019317828075fdd","datavalue":{"value":{"amount":"+0.7940059900283813","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":"Q2825403$7134D963-47B8-4F4F-B433-26BA0246FF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0bc3db9f544a0d2af7b777694ee79acef8ed47","datavalue":{"value":{"entity-type":"item","numeric-id":4282526,"id":"Q4282526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c768572b782f4809d9c89c18679814bb0d3987c2","datavalue":{"value":{"amount":"+0.7778441309928894","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":"Q2825403$07E1CC24-8A38-4B70-B644-C304915905C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e097af348854ab93aad7e36f6d021a4e268a2957","datavalue":{"value":{"entity-type":"item","numeric-id":4866982,"id":"Q4866982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e730302431a398d40290d2d5606b32a365e8dc","datavalue":{"value":{"amount":"+0.7570383548736572","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":"Q2825403$BBCDC15D-B4DF-47A6-8140-D5DC35ACCE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1feaa1516919f55cac66a1733ae434104fb82f3a","datavalue":{"value":{"entity-type":"item","numeric-id":2035658,"id":"Q2035658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980919a3e6e35885dc6c4ab708d090ce47c89728","datavalue":{"value":{"amount":"+0.7461719512939453","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":"Q2825403$73CA2EF7-8777-4811-9AB7-3B5096B27797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2279955c93bc35d36a8e9f3c86e6c0d66b146480","datavalue":{"value":{"entity-type":"item","numeric-id":5477453,"id":"Q5477453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a4d026fd30e5a8757ceaa15831f954e8f9d769","datavalue":{"value":{"amount":"+0.7340840697288513","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":"Q2825403$F445164F-32C8-468B-BE16-07BC9D518DFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2825403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2825403"}}}}}