{"entities":{"Q3345747":{"pageid":3356455,"ns":120,"title":"Item:Q3345747","lastrevid":48760159,"modified":"2026-01-05T19:30:08Z","type":"item","id":"Q3345747","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880074"}},"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":"Q3345747$97AADD03-2502-43F4-BDD2-EEC6E097016A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecb36e4f1534bf6a2917c51e9b297a52f3704a0d","datavalue":{"value":"0552.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345747$2FCA0658-B6CB-4ACF-B58B-BD89171481B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345747$6960321D-F8D2-423F-8454-CDFAD1CAF6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0530af78a69085c7bfc0867e4b4548e1bab174da","datavalue":{"value":{"entity-type":"item","numeric-id":737094,"id":"Q737094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345747$FF889948-577E-4799-84DD-CF04E800F6C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3345747$57B4D874-920C-459B-9B6B-3E2BBF785F74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345747$FC437898-CBE8-4915-82EA-698C17D6A083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345747$7C51310D-C25C-4889-9BE1-BC6E6782AF1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"289d6e50e8135b31f9d8fbccee752642760b763f","datavalue":{"value":"3880074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345747$25C884D8-D915-48D5-885A-0893DD75D213","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345747$8ECB83D5-A359-426D-A77B-086C0539416C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88de3d5076173861034c8af6ab60e6e599ba9aa3","datavalue":{"value":"F-semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345747$7A0BCA8F-2B6A-48C5-8CD6-6128D8AC19CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea19cdbf269d58cd7ffb68181364ce525ac5cbac","datavalue":{"value":"F-soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345747$31746005-E192-421D-AA88-2FE29B6F79A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6175d25034abd323717843bb2542901eb40b4390","datavalue":{"value":"F-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345747$FF21D555-B9B0-4D3E-91EF-E853FF76B0C8","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":"Q3345747$36A4145A-F195-41F6-AC50-438521F2BF76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfceb6caafbfe2e4f796e40f246bc9f2311b224","datavalue":{"value":{"entity-type":"item","numeric-id":1089331,"id":"Q1089331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ce524d3bbc4d0e10bcc814a3009b6ade7baa74","datavalue":{"value":{"amount":"+0.8857511281967163","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":"Q3345747$229B39D2-02E7-4B2E-AAA4-37E625EAE59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc55ff89662a19ca44fc4e65a75d3087d84d21e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329739,"id":"Q1329739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9599c6264080b65871d7de6aba25083e0ed5c7","datavalue":{"value":{"amount":"+0.7990894317626953","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":"Q3345747$50413F19-7C9E-44A3-B29A-E2B102661605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614e24fba81ee90527427cb20b65fbb1bc00c52a","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f7d8bfc159ec4c4a3d4f3a13341f2f504f8277","datavalue":{"value":{"amount":"+0.7946611642837524","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":"Q3345747$F8EB4B11-71BC-4C1A-ABBD-42BD8D4CDC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a24d66b790e8bfe1c8aa1b1fb29d83d11908933","datavalue":{"value":{"entity-type":"item","numeric-id":2369008,"id":"Q2369008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18229df3ba031a2120d884a23e23cd4ae0d9fb3a","datavalue":{"value":{"amount":"+0.7705498933792114","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":"Q3345747$7675860D-0A45-4113-97A6-14EBD4F079B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75404aa6cd937afc99b35aa3cf093b458fcf2966","datavalue":{"value":{"entity-type":"item","numeric-id":5267426,"id":"Q5267426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aab6e0515a0d3a7c2f9c2f1b9bf2051a90b10da","datavalue":{"value":{"amount":"+0.7620466947555542","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":"Q3345747$EC157C69-CACB-4B41-BCD6-69DF6F9A10B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345747"}}}}}