{"entities":{"Q918722":{"pageid":920570,"ns":120,"title":"Item:Q918722","lastrevid":65378469,"modified":"2026-04-12T02:11:12Z","type":"item","id":"Q918722","labels":{"en":{"language":"en","value":"A calculational derivation of the CASOP algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4160151"}},"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":"Q918722$BD8A4A2C-CD1B-4848-A1EB-5A2E32BA49DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4849c01489c1048bc7ff51177d2355dae7276273","datavalue":{"value":{"text":"A calculational derivation of the CASOP algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918722$7115F2BA-E144-48BE-8F4F-53829FD66825","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50de854ec3aeefde915594f01e1a9c1049704d13","datavalue":{"value":"0706.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918722$8A730501-3B80-4665-BC42-0EB6C05A2A74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b6da91a65ada3c4137d161eac09bb83f2adbb39","datavalue":{"value":"10.1016/0020-0190(90)90042-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918722$B6898CE0-9A13-4281-B263-A1B50DDBFB04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd4bd62bc9f424402f54fd18d5f5055ce32ab2e7","datavalue":{"value":{"entity-type":"item","numeric-id":918721,"id":"Q918721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918722$02E0D511-5E0E-472A-BDB8-3C973779CF71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918722$32615E11-C90C-4A3D-8316-D5EA43C36DCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q918722$5647C9FC-8141-4E27-A932-BC8DFB0E6654","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918722$1BC3A082-0922-4D1F-B3D1-A537A7C67278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918722$1287EED2-8164-4A95-A3E6-E99EF80BECB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9020920e971db81471417ca1cf2cea53eec472de","datavalue":{"value":"4160151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918722$7FC98D89-E538-4EA7-B88D-D588A4D8EA34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q918722$1D8C50A5-62C7-4DA9-96BC-2543ABFE6C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0414d4eeb011ddb80d6ca884b3df2fbaf362bec","datavalue":{"value":"formula manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q918722$0B4457A9-666C-4735-B156-053128DE4AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f169ad32d81ac0d9af815e210a6906fff391665","datavalue":{"value":"functional and sequential programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q918722$64BD94CA-DC4D-4846-9BDC-DB1ECD4027BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06ae94f851282737001cf2f6f1b72b8bf65ec41","datavalue":{"value":"Recurrence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q918722$8152AB11-FFBB-4203-A45E-BA5ECCE11614","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"105cbdb552ee81bc2b159345af6b348adb2f448e","datavalue":{"value":{"entity-type":"item","numeric-id":14638,"id":"Q14638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918722$1CCAC55C-B66E-4511-A57B-5ABB6417C31F","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":"Q918722$9E6C9BC6-FC32-4517-BD30-F113F72EFB26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce7b6977ac10b2f07be93e4bf5223023b1764cd","datavalue":{"value":{"entity-type":"item","numeric-id":910217,"id":"Q910217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918722$9E13DAF1-D23A-4DB9-9F2E-85690DF5D5F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cad35f32903a0cc6c3044751a4d117fe0b7ee86b","datavalue":{"value":"https://doi.org/10.1016/0020-0190(90)90042-v","type":"string"},"datatype":"url"},"type":"statement","id":"Q918722$6296C23A-7FAE-4CE4-8AC9-E6AD378D2CD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d0cad6af8041440a968d5791bd322f233a8c252","datavalue":{"value":"W2090873316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918722$1A3E0B88-CE90-4EAF-B752-D7EF27519BCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff678192cea919d902856759193d95928a5a703","datavalue":{"value":{"entity-type":"item","numeric-id":910217,"id":"Q910217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c045c508774fd08a0dca97d59541f2f6bbae7794","datavalue":{"value":{"amount":"+0.7125324010848999","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":"Q918722$657F210F-F7FD-4C23-9EE0-590BD076C9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0037bba882c01f3d606a1e0dae87d0e29cacc80c","datavalue":{"value":{"entity-type":"item","numeric-id":1330443,"id":"Q1330443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4d60dafa4362ab460222cfd021650b49dd34bd","datavalue":{"value":{"amount":"+0.6934543251991272","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":"Q918722$5036C381-09CD-4E56-AB9D-53AEFEFE37AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c40e4eae604cdcd5d5407d3721c9c71c46d48a","datavalue":{"value":{"entity-type":"item","numeric-id":4281661,"id":"Q4281661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360d8f0040ea3278d055b971eda5a04835c5f715","datavalue":{"value":{"amount":"+0.6872761249542236","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":"Q918722$AEA28123-DE89-48F0-ABBD-C617C81633B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679cea4a7c26475ccf942f5f1fed53e6cb86b6af","datavalue":{"value":{"entity-type":"item","numeric-id":4515224,"id":"Q4515224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b035a5ab3dcc93d755d612d766d51c21af45e3ec","datavalue":{"value":{"amount":"+0.6849507689476013","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":"Q918722$3756EBC4-A0E2-4D2B-BA3C-6709132D135F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7db1cfaf78e5b9f0283584d43192a4da29beee","datavalue":{"value":{"entity-type":"item","numeric-id":4312395,"id":"Q4312395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b035a5ab3dcc93d755d612d766d51c21af45e3ec","datavalue":{"value":{"amount":"+0.6849507689476013","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":"Q918722$0BE87D0E-1CC2-4450-A97D-FD843D0E5C91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculational derivation of the CASOP algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_calculational_derivation_of_the_CASOP_algorithm"}}}}}