{"entities":{"Q1823657":{"pageid":1834399,"ns":120,"title":"Item:Q1823657","lastrevid":49309555,"modified":"2026-01-06T22:50:10Z","type":"item","id":"Q1823657","labels":{"en":{"language":"en","value":"Program derivation by fixed point computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4115927"}},"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":"Q1823657$0461705C-642D-47A5-85DF-E09F7537621D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fe6bfbe6b2db27550f112248dece44aee7772c4","datavalue":{"value":{"text":"Program derivation by fixed point computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823657$CEE65958-4DC4-4127-992A-EB41B0E68CC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a67b09c322f79201053fab4082b5480bc8a82cf7","datavalue":{"value":"0681.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823657$CCCAB8B0-4109-455D-80FD-FCF0B0954CAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb7f7da2502dc9be99167ffc46f36d7141a77f26","datavalue":{"value":"10.1016/0167-6423(88)90033-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823657$CB2D1D52-026F-4D88-AA29-D949787BC0B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c40d0c3b8b5055a99ab492a1f7200af21d5e19","datavalue":{"value":{"entity-type":"item","numeric-id":673097,"id":"Q673097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823657$EA98A4B2-1025-4A3A-97DF-9D4238AE3843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97082c081dfd2a73c1aa05e682130efbaea9eb82","datavalue":{"value":{"entity-type":"item","numeric-id":673098,"id":"Q673098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823657$6B810272-9CE2-4D7A-883D-34617E087BE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823657$AF199860-C47E-46DC-A3DE-63E1EDFBDEB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1823657$4590E7BA-E49A-45F2-B060-ED91497568AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823657$74698ADD-D184-4507-8126-635F927A3A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823657$84E50C2C-1351-486A-973F-799ECAC27C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823657$877A14DB-EDA1-4714-B702-8B690FBB447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823657$D6112CD6-DAEF-41C1-856B-83931CED4EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823657$31AB5373-148C-46B2-9CC1-16F74C378B9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ecd99d5cb6e0385b03d1b68ab6e8493ffbc89a1","datavalue":{"value":"4115927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823657$744B74D3-9368-452D-9299-1D2773D7B6FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823657$5190828A-08CA-429D-8B9E-C552B393791F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2933d04897f10552611bf935b7cdad85bcfe7f8e","datavalue":{"value":"fixed point computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823657$B964CC9E-43E7-4442-971E-CE073C62843A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123212aa79a8c6aa156264be1012ed5853d996c","datavalue":{"value":"program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823657$B6E0F035-BA20-4918-82B6-FB8BAE7BC519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dca5b755a3b33e79b67a683448b6bb0d1d64360","datavalue":{"value":"transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823657$5F9DE7D7-7F9F-493A-B87C-435053AC67AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d8ace2742e65bcf42be1c5eb792ce4273906b8c","datavalue":{"value":"nondeterministic iterative algorithm schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823657$FE43DFC6-F9EE-4E6C-BC16-A24EFC63A1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94eb22cef142cd94fafd7e29182c87453d09d9c6","datavalue":{"value":"computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823657$A2EC1DD3-428E-4349-9ED9-4B9CA67D8596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3414c9c34ebdbff2600af922524c6ecca37123a6","datavalue":{"value":"design and verification of nonnumerical algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823657$5B8B9A03-08E2-4088-BAC0-D65F27AE64D4","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":"Q1823657$6D6E6A2C-C01D-4CE8-8A8C-6BAA11094120","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06f3183ae6f703a53fac2d16a447cb9670b99a45","datavalue":{"value":"https://doi.org/10.1016/0167-6423(88)90033-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823657$77752CDE-1713-4DB8-A1CF-CA1D5BBD4DFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c448f40cc2477c0deeaab9d0c8166bb43ffbdcfe","datavalue":{"value":"W1994511561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823657$858A4F64-511A-4191-B80D-43956504E81F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7a749919a77860a986f8b32dac2dfe6285d01b","datavalue":{"value":{"entity-type":"item","numeric-id":4281665,"id":"Q4281665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d381a454b351ca8c53c3aad86a3be900a70416","datavalue":{"value":{"amount":"+0.7768935561180115","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":"Q1823657$636A0269-2B58-41A4-9F6E-C63EA6368B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb70e32c7438af6fb904e891c8cbcd827c00fae4","datavalue":{"value":{"entity-type":"item","numeric-id":4002107,"id":"Q4002107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d381a454b351ca8c53c3aad86a3be900a70416","datavalue":{"value":{"amount":"+0.7768935561180115","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":"Q1823657$78D3A1C5-2F25-4D16-9A8D-F1E1F9942B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e1110c715fd7eb83db24aca9faa5abc83ce3f4","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8c9106d3e254a7b30247b77686706d54709c72","datavalue":{"value":{"amount":"+0.7564990520477295","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":"Q1823657$17349A16-CBB1-478A-93AE-BC9DBF4D5480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5df45c143d99ab4df25b9a08bdcc2a884a994f","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab588f7c159e52a40e5f75da7ed563fbd75e67f","datavalue":{"value":{"amount":"+0.7543454766273499","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":"Q1823657$1E404157-704F-4C1C-B52E-074EA7525A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d45c8242e321d4f6eb0b1f5b3105e920fb9c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4321937,"id":"Q4321937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20cdb8f020c232011955ab0dba2d075cf80a53d","datavalue":{"value":{"amount":"+0.7493566870689392","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":"Q1823657$34920BDD-7D93-463E-B1C3-F89ACFD35574","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823657"}}}}}