{"entities":{"Q4040283":{"pageid":6070001,"ns":120,"title":"Item:Q4040283","lastrevid":55251109,"modified":"2026-02-05T08:16:48Z","type":"item","id":"Q4040283","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 193479"}},"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":"Q4040283$C59A7C2B-A45A-4F3E-AA2B-1AA02EAFE704","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3566d8df30b298e1a6a5162e90dec9ed7a4e58e","datavalue":{"value":"0655.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040283$D4B8E335-D32F-4806-B879-3296EF918FB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c80439908def1f47a2850b299ced02bb922e89","datavalue":{"value":{"entity-type":"item","numeric-id":861688,"id":"Q861688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040283$65714836-BA62-4EB1-96AC-42C3FC87066A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040283$E605B3C4-28D1-4D07-88DC-87266215BFAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4040283$19EE3427-BECD-410E-9A04-F62D7B130FA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040283$977EE57D-4412-4D8C-8E32-FCEAABEEC7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040283$B4AEC2CD-D762-4A2F-B357-98656C19E537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040283$7C84D511-0041-431D-8E75-24647B1F525E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040283$5C31DA5E-02EB-4F49-8979-07A9D6DB1014","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f167999ca7a5005c379466d9ffc0d2d55f5a6a0d","datavalue":{"value":"193479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040283$CC9DA389-A18C-459D-8930-AC268B9A08F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040283$8564828B-AAFA-4B36-8DC6-BE84D98331AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040283$9C9791F0-6AB1-4CFC-A940-2A8914DA1EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040283$8EB74559-2F3E-4EB1-8CE1-C25275864CA1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040283$D861E910-C9A7-4BAA-BCFA-91FA84710CBD","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":"Q4040283$500C3F36-93B6-4368-BD42-936C6C87BD3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda481b541398e1a99f4b5d3ef12a328b1ce13e","datavalue":{"value":{"entity-type":"item","numeric-id":6488518,"id":"Q6488518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7400e0ab933cc975ffea5434d3072c6c4a1404","datavalue":{"value":{"amount":"+0.7679545283317566","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":"Q4040283$0F949CDD-62A5-4C8C-A1C9-C797F726DE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596001f2ecc4a532c34f374751e7d376e807374b","datavalue":{"value":{"entity-type":"item","numeric-id":2724155,"id":"Q2724155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9154e880070045cdbd1dd2db27b81e62fd6d2ef","datavalue":{"value":{"amount":"+0.7586982250213623","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":"Q4040283$651DD7E3-48A8-4159-BD7F-EF5DECBA6A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf898fcd85aa2a37555a4d59abfad3eac2a5c21","datavalue":{"value":{"entity-type":"item","numeric-id":1107510,"id":"Q1107510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fa197a1c0f4c7be59281d2bf6907e049133335","datavalue":{"value":{"amount":"+0.754715621471405","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":"Q4040283$751BBFF7-9E0A-46C3-B6B4-92AD18B67229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2544998a6e23a306d22b6d457af576cfff1c107","datavalue":{"value":{"entity-type":"item","numeric-id":2771587,"id":"Q2771587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc063d16d20f62badb7a22242961e700ead5337","datavalue":{"value":{"amount":"+0.7524726986885071","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":"Q4040283$809CAB18-4E41-4B94-8A0A-F7185F6D47F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeda66ad919da2068505ec6cb62abbf8df07469","datavalue":{"value":{"entity-type":"item","numeric-id":5905500,"id":"Q5905500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc063d16d20f62badb7a22242961e700ead5337","datavalue":{"value":{"amount":"+0.7524726986885071","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":"Q4040283$FEE5AACC-F5CD-42B8-9B21-42B9D17A87A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4040283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4040283"}}}}}