{"entities":{"Q3719822":{"pageid":5749728,"ns":120,"title":"Item:Q3719822","lastrevid":50667113,"modified":"2026-01-14T18:05:37Z","type":"item","id":"Q3719822","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3949704"}},"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":"Q3719822$BBD33D26-F8DC-4507-9445-F9D07515DD9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80f0e23abf179dcbe40e9162192ff5939ccafc12","datavalue":{"value":"0591.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719822$7432ADD7-A473-4465-ADFA-D8A172604FD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9855519466bea582497ad753450d3bdbddb3c75b","datavalue":{"value":{"entity-type":"item","numeric-id":918206,"id":"Q918206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719822$B2CE27A4-0A1D-43E6-8A30-6D84051EEC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f45a908dae7b276a058142218ca9cfb2d00bca08","datavalue":{"value":{"entity-type":"item","numeric-id":6481523,"id":"Q6481523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719822$7F7E2B01-C654-4F5B-8FA7-E9AB716FC5B4","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":"Q3719822$BDEFB2F8-DFF1-4269-B1D2-4121F387961B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719822$3E291E17-894A-4991-B2F2-E92672166284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719822$60E9C9CB-6BDC-4CD9-AF38-7E7A85D3C402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719822$12C31604-1919-4C94-B98A-DFC127230A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719822$683EC6D4-9045-43BA-9560-5C270881EEEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1e5e62eaaea73c0820977b98b7b7b8ca1a6e1da","datavalue":{"value":"3949704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719822$4709217F-AA69-48F9-81C2-CB8B75E8B9D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719822$49064830-73BE-4601-91FD-880D7A28346D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719822$3BABF2E2-D52D-48EC-9B86-A50D7B6F3737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78ff9a60b74189b2daec43f91e02e6e79fb14f9","datavalue":{"value":"well-foundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719822$780CE95B-C6A0-4329-807F-D8EB4B80B8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719822$7C9782D5-22EF-418E-B5EA-72DE3D579B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719822$6061D0BB-D277-43FB-835B-05B996B07A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719822$E5CBDAAE-820C-4548-9E8A-E272ADBE6BD4","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":"Q3719822$D82022E2-F17A-4D5B-BDD5-479D89560D34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f92a45f159be251ed93348d45e4f3a3a03f105","datavalue":{"value":{"entity-type":"item","numeric-id":1075045,"id":"Q1075045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ec8db2691c63f5cb9c07a11c63809f575ec8d5","datavalue":{"value":{"amount":"+0.8103630542755127","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":"Q3719822$0DA20BFD-FE5E-4B19-9B73-2C4E309CC33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"732eda92476be2e599b62eb948905b55c17c8867","datavalue":{"value":{"entity-type":"item","numeric-id":3833260,"id":"Q3833260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e23ca16632dcfa74ab6819804e29072c797da4e","datavalue":{"value":{"amount":"+0.7315241098403931","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":"Q3719822$815DC52A-B4B8-4685-98DD-468D92E7EFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d153bdbd4c46008273d1c95e371848763483c8b","datavalue":{"value":{"entity-type":"item","numeric-id":1293885,"id":"Q1293885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d048cde62b349fb13a7dae6a610c7a8e2ea2cb0","datavalue":{"value":{"amount":"+0.7281859517097473","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":"Q3719822$937BFE39-5621-4F73-8D67-93CA51F3375E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402b043ba809e575cf97e3cbb4f0ebe1041a993d","datavalue":{"value":{"entity-type":"item","numeric-id":4796352,"id":"Q4796352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2592f851c697717c4bdf48a66c90fbc1fbdc351","datavalue":{"value":{"amount":"+0.7231453657150269","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":"Q3719822$20817510-F952-4F5E-B8A9-A97251EEDA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d00e8bfd4beca7dd8c2ed987e26021dc21afa8","datavalue":{"value":{"entity-type":"item","numeric-id":1583261,"id":"Q1583261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d389dcd93caf1779a714b1bc865a51ce50103696","datavalue":{"value":{"amount":"+0.7143858671188354","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":"Q3719822$00C82D8B-D09B-46F1-9C27-D5BA4BB90272","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3719822","badges":[]}}}}}