{"entities":{"Q4039897":{"pageid":6069615,"ns":120,"title":"Item:Q4039897","lastrevid":55242985,"modified":"2026-02-05T06:01:53Z","type":"item","id":"Q4039897","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 193025"}},"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":"Q4039897$EDE289A0-435B-436E-A974-C82E57F767B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5a943d496347cede13dc4eba8897b3090bdbafc","datavalue":{"value":"0643.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$E31BE911-1B5D-4F3E-8C3D-59784D96952D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a019d923ec2e84f225dca3df7f7d8189cc0ed6af","datavalue":{"value":{"entity-type":"item","numeric-id":4039896,"id":"Q4039896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4039897$C65EE337-8B2C-42EB-9F6B-8481DB494151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e4a178ff6c1edcbccb2ac0c265348578728ae4a","datavalue":{"value":{"entity-type":"item","numeric-id":1804198,"id":"Q1804198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4039897$1AA14D17-DC46-4A31-8385-D6354B16F202","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":"Q4039897$B6A44DBC-D715-4F16-B414-EF8A8C865612","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$C480F452-F861-4C38-A912-6769CC77F9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$51BEE06B-3AF4-420C-8325-B87B598A58F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$5F4F3933-4C69-4D34-88FC-D2F9B7913A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$875C8E32-B89C-4B90-850C-1886D3721463","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f418bb60c565347f0bdc9daf4c325d6cc936eb6f","datavalue":{"value":"193025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039897$25DB537A-C830-4587-BAE7-F9567CC7A20A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ed1720e648e83f0dc91cbb7eafb0be5f4086a9","datavalue":{"value":"structured programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$61D2A33A-90DE-4D31-9A87-CC493AD98C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$C7867CC3-03D6-4001-ACE0-A72E4C76F0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634811a402ce627a7bf6d717e8f7d92a0b2fb82d","datavalue":{"value":"sorting and searching. algebraic data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$3EDD0332-CADA-41D4-8B92-E5774F18303B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c63ae166079da87c4a71c41a19e3c0a472a2ef","datavalue":{"value":"Standard-Pascal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$7F65C510-D842-4752-B2EE-13DE25CCB07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb901dcebf6650d0f4074feca8fcd6ffa79d541","datavalue":{"value":"computational implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$2F5CB29A-92C3-4FA5-9844-D14A966F4CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$4E3F539B-4424-4402-977D-2F9979E8CB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$D4186724-E005-472B-BED9-BF10900E5089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039897$84490150-A4BB-427F-8849-4E06C27A4060","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":"Q4039897$26905D88-9E3E-4327-9249-9FB3F264096B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791a8d72064d6511b3aa3d336fd9ca7640994b89","datavalue":{"value":{"entity-type":"item","numeric-id":3996206,"id":"Q3996206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1215f60e37bc2343cbccdc742ed16205caca07b","datavalue":{"value":{"amount":"+0.8082984685897827","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":"Q4039897$587D010B-222A-4B93-9D88-027E0D7E2242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85fcac71626b201e0bce485fe8df754b5f8b2e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4040015,"id":"Q4040015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16edcff1af5f75c803b617afd8886a68dcf76900","datavalue":{"value":{"amount":"+0.8033803105354309","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":"Q4039897$EA6C2B6E-35D5-4F4E-B6C7-A4483987011F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817af586ba100baced2833974a5452a170bb2a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4940744,"id":"Q4940744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c7a461e1bc8a91b5695d09e35ae7c594b87a69","datavalue":{"value":{"amount":"+0.796778678894043","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":"Q4039897$A8E96322-5F58-4774-8273-792A713C2763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a866eba67af079cf31c7d20d4e8a6b647c62c198","datavalue":{"value":{"entity-type":"item","numeric-id":3756496,"id":"Q3756496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c7a461e1bc8a91b5695d09e35ae7c594b87a69","datavalue":{"value":{"amount":"+0.796778678894043","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":"Q4039897$1372EEE7-D2BC-499E-8294-341A80EE9E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59c10fc069ecd79845cceced1253948a7162964","datavalue":{"value":{"entity-type":"item","numeric-id":4680533,"id":"Q4680533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f480ca90593618fd3d2964e9190cb9ded82115b","datavalue":{"value":{"amount":"+0.7965328097343445","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":"Q4039897$98F1714F-BA30-41AB-B7E5-82F7151C93DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4039897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4039897"}}}}}