{"entities":{"Q3795272":{"pageid":5825178,"ns":120,"title":"Item:Q3795272","lastrevid":52992422,"modified":"2026-01-23T23:49:41Z","type":"item","id":"Q3795272","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4060764"}},"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":"Q3795272$54E2ECA4-3B5A-4435-93DD-3E0CE77CB07E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86ea4a91678324701e1539758540bc6627747260","datavalue":{"value":"0649.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795272$9C984DB9-20C7-4DED-9E25-A7B04216FB14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e42f61abee5d0be714abd63eada834f81b1eb971","datavalue":{"value":{"entity-type":"item","numeric-id":3795271,"id":"Q3795271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3795272$144FE361-299A-4635-B3A0-A2C000DD44B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f468c70d224827fefee70639fa02168462f5456e","datavalue":{"value":{"entity-type":"item","numeric-id":915478,"id":"Q915478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3795272$878A9FC3-FBB0-4665-93DE-E140301BC277","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3795272$2EB13BCD-635C-4A42-943B-2595E03046D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795272$516FBDFB-C482-43F2-9EF5-318540D17885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795272$44F8F0AC-AD01-47B1-9C7B-E5D084455EFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6202bf1e7a72961d9ec67512fb155634f28b12ae","datavalue":{"value":"4060764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795272$E8DE4829-BF3F-4033-8573-895A1946F9E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795272$BC057CA3-A66B-4D88-82E7-FC3F9AE791CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17552d63bf3c6fa64332e77183b9581e68b0ed68","datavalue":{"value":"polymorphic type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795272$8922247F-2FF0-4951-A5D3-026D6D2F1ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795272$9C3CAD95-4369-495F-B93B-512BDBE091E3","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":"Q3795272$04001CCE-111A-4217-A867-DD04CF887673","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6b7de8c9ad0dc6c2d68ec5c7827d4d180f9483","datavalue":{"value":{"entity-type":"item","numeric-id":4208863,"id":"Q4208863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00a5ab263ad92c1c575bd5a749d3d5cf398ee44","datavalue":{"value":{"amount":"+0.852560818195343","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":"Q3795272$0EE75B2C-8C03-4326-A722-2B3CD1907DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62f1244d78a5efe20bb6804ce2227abe3a0de76","datavalue":{"value":{"entity-type":"item","numeric-id":1208426,"id":"Q1208426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e40846d541f94567beeab41398894eb3d5536b","datavalue":{"value":{"amount":"+0.832187831401825","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":"Q3795272$817FE8A1-6844-438D-9213-072515B88CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228568055ffda0658da0fba8b76aef21d32e22d5","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05eec6f0cf045234034b92057f102b2c8bb5805e","datavalue":{"value":{"amount":"+0.8261626958847046","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":"Q3795272$F57913FC-A913-4AB4-884C-1E2359B7CEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608e0e73fd9e819f3c3a8aa3e7b8f07c66e6d1f5","datavalue":{"value":{"entity-type":"item","numeric-id":1311964,"id":"Q1311964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2507df2b73e4e75a4dc2d57daa817bb6a8ad614b","datavalue":{"value":{"amount":"+0.7972948551177979","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":"Q3795272$4139EDFD-3EA4-43CA-8788-36A8D46F493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148266ff4e0b442c3f261f3074a1b4783bbee6e6","datavalue":{"value":{"entity-type":"item","numeric-id":1758668,"id":"Q1758668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f6e303397b69f3f92763dda51431e757ca568b","datavalue":{"value":{"amount":"+0.7895691394805908","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":"Q3795272$CCAE7FEF-2188-48D7-88A0-FD60B8D75FA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3795272","badges":[]}}}}}