{"entities":{"Q3785897":{"pageid":5815803,"ns":120,"title":"Item:Q3785897","lastrevid":52540313,"modified":"2026-01-22T22:17:09Z","type":"item","id":"Q3785897","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049001"}},"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":"Q3785897$179E7CA9-3348-4444-8DC6-EF534DA35D39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d314596753c8daee985ea8902363d3f96007022","datavalue":{"value":"0643.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785897$73BCC4AA-AEFD-4DB5-95C0-9CFFC8502CF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92d8e9bfb1d529bde3f643029c01737c5d3267b1","datavalue":{"value":{"entity-type":"item","numeric-id":3753928,"id":"Q3753928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3785897$6BB59CA9-C76B-492A-BC0B-230D8ED5BE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b688a7592baad85ca09886808cbf00959ce07750","datavalue":{"value":{"entity-type":"item","numeric-id":3753929,"id":"Q3753929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3785897$8CF357C2-949D-479F-9A07-36B7C0C498A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3785897$9E6702D5-D1C5-4763-90F5-D7D1FA00ECA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785897$BBF12C48-C629-41AD-80B7-43C4E0303907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785897$226CA65E-073A-4408-B2BB-74F198C28111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785897$746F7932-AC74-4B2E-8315-81558FCF703A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40d68249d136a68bc243d943e31c3969e4d73c29","datavalue":{"value":"4049001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785897$EA2709CC-966E-422D-A5F0-22CEAFD41811","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0379afbd6795c2a651fe1c32648e9240030c82","datavalue":{"value":"algebraic data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785897$657127B0-884F-491E-BCF6-6712121E5342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb901dcebf6650d0f4074feca8fcd6ffa79d541","datavalue":{"value":"computational implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785897$7DB1271A-5D1A-4F2A-84FD-FCA34ACA31A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785897$3E082133-3BC6-4A2C-AE6D-E2EDFCC11330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785897$9AAC004A-8F0F-4867-ADFC-95A28BFA035E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785897$D16FB6A3-878A-489A-8B21-DF8F56E1751E","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":"Q3785897$83626C18-A255-4065-BB7C-5DF9F9105CEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee587041bd51b390588853fbdc48e5ebdfa9d1d","datavalue":{"value":{"entity-type":"item","numeric-id":4267721,"id":"Q4267721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178e3a2f18bbc1e71788b91c6123503779161960","datavalue":{"value":{"amount":"+0.8300623297691345","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":"Q3785897$69DC439E-9710-4002-9079-45F9D5BC5D2F","rank":"normal"},{"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":"acdf3abbcbb1a98f4b9470038e912e98a7cd6276","datavalue":{"value":{"amount":"+0.7554633021354675","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":"Q3785897$FBD2C288-C71A-440D-B70F-299E0F2DA566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5165fb053b6bc59ec772a976e5d73251586e9e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4895558,"id":"Q4895558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9f595990be8b618aad2326c6167ac035342719","datavalue":{"value":{"amount":"+0.7462833523750305","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":"Q3785897$48BE8A01-1B92-47B1-8765-94FB6435B7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36e30c473efe86fbb830e5ed990880d4f822f57","datavalue":{"value":{"entity-type":"item","numeric-id":1318281,"id":"Q1318281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9f595990be8b618aad2326c6167ac035342719","datavalue":{"value":{"amount":"+0.7462833523750305","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":"Q3785897$381994E8-CD06-4454-94B1-6CA83E42310F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116ae40af25df1caab31ce7865056cc8623f9e19","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7af3f531d36b8056fa4d0f2443eb7ed711f934d","datavalue":{"value":{"amount":"+0.7453422546386719","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":"Q3785897$F8EDD167-4493-4C2B-AA3A-A1802AF5D9AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3785897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3785897"}}}}}