{"entities":{"Q1391536":{"pageid":1402276,"ns":120,"title":"Item:Q1391536","lastrevid":71671407,"modified":"2026-04-13T23:47:06Z","type":"item","id":"Q1391536","labels":{"en":{"language":"en","value":"An improved algorithm for the evaluation of fixpoint expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1178080"}},"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":"Q1391536$A766E676-6213-4985-BC54-CDE74F0E8673","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d05bfa0da9b859b26a6a710e953b87d7d18791d5","datavalue":{"value":{"text":"An improved algorithm for the evaluation of fixpoint expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1391536$AC88C5D2-4A04-4E16-831E-11AC3A02CEB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c17cf154ede5d2d4105f27ea973117cd5816f39","datavalue":{"value":"0901.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391536$EBC231BF-13A4-409F-9E19-711F29EFBFA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b538b7b7f84aa699ced5712e9dbc7c2c06e72129","datavalue":{"value":"10.1016/S0304-3975(96)00228-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391536$76EB9D1D-A811-40BF-A560-472102BB6C45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8ca735896d8fd1610d4d740dab3fd7cadda6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1380459,"id":"Q1380459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391536$9DD5519C-37AF-4517-8732-6480FB6AC855","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391536$962101AD-976B-4F55-8FD1-1DDC3FE4CF6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1391536$8A6A0002-90D2-4FC6-B792-410663CF40E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391536$4F90BFFC-29E8-4637-9ACD-43CFC9C7DDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391536$D2A69315-CE8B-4DBD-B55B-F17AD5BF24B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79a59f014ded74a38c12068d93ee822c32de17d8","datavalue":{"value":"1178080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391536$A740BB21-2ECF-4287-9193-495E33A229A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642a6a53ff6b3c5c4c35cb5f9857781a273d89bb","datavalue":{"value":"verification procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391536$B73AC481-0E69-4716-9550-6DA9D616C10A","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":"Q1391536$8038FF50-8EFF-4650-9A6F-183C95E1E884","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391536$82CEF805-D8DE-447B-96B1-AE5D9A1D43F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6720ea54e8d7bda1f526d6d3b9396cc0b55a891","datavalue":{"value":{"entity-type":"item","numeric-id":1115196,"id":"Q1115196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391536$50E716DB-3C37-4DB9-84AC-840E55E2A2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391536$A669C3EC-381C-4300-B5FC-131F47A20D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391536$4BCB68BF-7560-4296-A25E-86972C0F6E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d442c5d346825598cba0b99212b15bd39377066b","datavalue":{"value":{"entity-type":"item","numeric-id":685507,"id":"Q685507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391536$9274BD6C-5ECE-421C-9AC0-2D0EC6B3310D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391536$CAD31233-33F7-4ADA-92DE-A01D58258E37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"333be5241593647ca73b05ea57296e4564b6d7da","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)00228-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1391536$D0018445-D860-4793-A90F-BD4F231D172F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e6ac114167a8c0de8de4f038609a2f96004c5fb","datavalue":{"value":"W1974672595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391536$F2D44078-E308-4A99-B451-E97379321C76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a590f69552c89f2832a30b2ac1dbf311cc562af","datavalue":{"value":{"entity-type":"item","numeric-id":3313639,"id":"Q3313639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc27f68d8339c6df9189eda6ca6ce511fa1ef35","datavalue":{"value":{"amount":"+0.8573731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1391536$90957625-1029-47EF-A75C-796A491DC213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f058dfffaedaeeaf9056891c6b31bb4f92f2694","datavalue":{"value":{"entity-type":"item","numeric-id":861146,"id":"Q861146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bdb0cbdd6f8207c4e98e3134ec7ac4662c06eae","datavalue":{"value":{"amount":"+0.8474049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1391536$7AE35D16-EB4F-4B24-999D-E05C2BFB2CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38908310ed9c4c5f698846dd6ec487cc46c6a70d","datavalue":{"value":{"entity-type":"item","numeric-id":4635946,"id":"Q4635946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3477439afe9e0f1a4dccd475562efb36a7e73e5c","datavalue":{"value":{"amount":"+0.8452984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1391536$360888B3-02E8-4099-A53D-2BBFFE5303A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ca958789f7e9cadc7952e779a963c144007024","datavalue":{"value":{"entity-type":"item","numeric-id":4222782,"id":"Q4222782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1264b61e8a472dbf9c3e11971b9963a91ca8f37","datavalue":{"value":{"amount":"+0.84353197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1391536$2E60A717-25DA-4ADB-A370-D9F30B1D2397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91556af65fefde1e91ea947aa73ef40eeaaea2d0","datavalue":{"value":{"entity-type":"item","numeric-id":6058250,"id":"Q6058250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c0665e92d726212651e5fa85412cbd88a586a2","datavalue":{"value":{"amount":"+0.8370384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1391536$69EFF70D-A8D8-4ECA-AAA2-09A33E5F56B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b795da76533bcad7bdee3d10fa8f18a8797118ad","datavalue":{"value":{"entity-type":"item","numeric-id":5455198,"id":"Q5455198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd174f14320519f6e5af391169d27486a124f30","datavalue":{"value":{"amount":"+0.83690286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1391536$2114B002-E7E2-4813-9278-2680C8DC5B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3f59b105cebd2bef8df572fce8915b60d0647d","datavalue":{"value":{"entity-type":"item","numeric-id":2692222,"id":"Q2692222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b84a2e2bef715a87fff115f9efea3706d40a94f","datavalue":{"value":{"amount":"+0.83388627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1391536$C4079366-6D5F-48AD-B3FF-60DA151D8112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82118010ad0a81b4f563bd9b09363f96ac956ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1905214,"id":"Q1905214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7c183e8ae32f2d4d64f00efbfc59acb9ef0df2","datavalue":{"value":{"amount":"+0.8327046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1391536$2658B2D3-EA3C-44DA-A609-99551BCB4EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ebc2d105daee245e7a5bd9bd08b294af7261c9","datavalue":{"value":{"entity-type":"item","numeric-id":4025502,"id":"Q4025502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35f3b23b04a89e8ea93db27f77cb0c98fc9902b","datavalue":{"value":{"amount":"+0.83235437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1391536$528D7400-B498-4E84-89A3-DA66792F7973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58072a1594e316f44a47d736a2e8e5cad55eff7f","datavalue":{"value":{"entity-type":"item","numeric-id":3766723,"id":"Q3766723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35f3b23b04a89e8ea93db27f77cb0c98fc9902b","datavalue":{"value":{"amount":"+0.83235437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1391536$BED4BE58-95DE-4CED-8166-78898A86A7CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An improved algorithm for the evaluation of fixpoint expressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_improved_algorithm_for_the_evaluation_of_fixpoint_expressions"}}}}}