{"entities":{"Q3707379":{"pageid":5737285,"ns":120,"title":"Item:Q3707379","lastrevid":50486642,"modified":"2026-01-14T04:32:27Z","type":"item","id":"Q3707379","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3936491"}},"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":"Q3707379$F8CC505F-2A83-4F00-8822-7F2B5D64D456","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"666bd71b9b45dd90054de617981804dc7786abc8","datavalue":{"value":"0584.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707379$EB49C908-0837-457A-90FD-1B77889F1E1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0adf550b0adaf683014b95f040f3d0b889baf077","datavalue":{"value":{"entity-type":"item","numeric-id":674196,"id":"Q674196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707379$2E0F7D8C-4798-4D5E-BEC9-5BB9F99042EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3707379$20F85EE4-BFEE-4C39-866C-7B2CF4D402BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707379$F7495AE1-EFBF-4AC0-A03B-5D1DD0C28DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707379$4960656B-8C1F-45E4-AEA9-36014D8A874D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7dbd68e7c009a470973e55c738fd9be4f0813ec","datavalue":{"value":"3936491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707379$F9F632CD-DD22-4ECC-8145-2A1A4EFCD154","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b7f1691b6445dd3ab635553d084c3e94e8603ab","datavalue":{"value":"automated proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707379$C7AB75C9-128F-4333-8E4A-317E70F1BFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707379$FFF60DA6-BCE5-4A87-B8DE-4A79518761E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71136dcdf3b574afa41ac45e76659510e76dc9de","datavalue":{"value":"error handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707379$4F7EADDE-63F5-4B82-8D24-61D727AAAFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d5d7172717da3c6de14f7440a21b55aa1b18e57","datavalue":{"value":"parametrized data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707379$25A76BBA-C2F1-4DDA-8F56-BD4020BCCC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72a19992b5029e67a46878f45664442ce1bcba3e","datavalue":{"value":"subsorts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707379$6D490DFA-50D4-4B4A-9769-BFB6AFD70BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec44778685040bd9bd5cbc0ffb12f352e97e79b2","datavalue":{"value":"overloading","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707379$EAB81060-6B17-4477-95E2-FA9790B1144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dfb3a27ce8e713a3a19c7fd161107a8af15bde","datavalue":{"value":"parameter passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707379$0AA51553-7E3D-4267-9962-7F265A38E2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9e058dbd663cc456437c0f8d93ee3e608ba0eb","datavalue":{"value":"persistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707379$58248FFF-061B-48AE-ABFA-0EE22B9C2380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707379$424B48CD-6577-4C10-9180-648C4830CB6A","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":"Q3707379$07C07FFD-68BA-4594-84E7-FA0D1F7F9B78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09dbe533079883cea783ec5d0f44b9b6fa24142","datavalue":{"value":{"entity-type":"item","numeric-id":4721636,"id":"Q4721636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04f1b9d666e90de5e07ed99e82df7443c9c2e8a","datavalue":{"value":{"amount":"+0.7465820908546448","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":"Q3707379$A93BEB10-1F3D-41DD-9E64-FE0D88A518E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc7bc0efbef0b273c4371869bc665575a565e81","datavalue":{"value":{"entity-type":"item","numeric-id":3707388,"id":"Q3707388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca8e2e6b40436309c73c476349df682824eb9c3","datavalue":{"value":{"amount":"+0.7105280160903931","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":"Q3707379$2052A081-2FCB-496F-8CB8-C16F97C52923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"189cef3026bb537aeb379042c8f5292dc514c7a5","datavalue":{"value":{"entity-type":"item","numeric-id":3809237,"id":"Q3809237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933179e8af7e7c62b4b2cf87b034a9a4c814f8d3","datavalue":{"value":{"amount":"+0.7100711464881897","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":"Q3707379$E1FE48C1-D115-4E66-9EC1-AF9A1FB8E61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b676f0f263454034175e078f153762fb9cf49ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3345752,"id":"Q3345752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8517654432755b9afd1a1978b34e45f282e41d5f","datavalue":{"value":{"amount":"+0.7084794044494629","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":"Q3707379$56177A72-9B46-4CF9-9594-EF5CE61D1C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0629abc93a55b58aa569134018ad6319a4c11715","datavalue":{"value":{"entity-type":"item","numeric-id":4207566,"id":"Q4207566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a7f57d19f008dcb888e8b481529e85b2831f00","datavalue":{"value":{"amount":"+0.7024253606796265","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":"Q3707379$C9E028BC-1226-4F89-B82F-F3283ADE9F3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3707379","badges":[]}}}}}