{"entities":{"Q5744123":{"pageid":7773674,"ns":120,"title":"Item:Q5744123","lastrevid":52458113,"modified":"2026-01-22T16:58:44Z","type":"item","id":"Q5744123","labels":{"en":{"language":"en","value":"\\textsc{FPsolve}: a generic solver for fixpoint equations over semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6541851"}},"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":"Q5744123$FC850B1C-6563-4539-9741-CB948C4D7BCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80c1ddd60c4fae47bd1c664ef5d5f1a3dc722989","datavalue":{"value":{"text":"FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5744123$BEDE2363-07C7-4F0B-A6E4-6FB4B3EAAD90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e21dd84854a1fe3bf64b940f52525b6028d10ee7","datavalue":{"value":"1330.68353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5744123$4CCFF7CD-B379-4713-8AD1-F01E1AA6EF20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"520ffed39e4c2eb1b3db3015533c7304a9c2a272","datavalue":{"value":"10.1142/S0129054115400018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5744123$C1D0403B-0E47-48F7-88C1-4CC43B50CB7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5744123$7E3B5D7B-54DB-4A2C-A7C8-3D36F5C9DBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"588d4cd6027e05d734af16e4bd4c6f301c53cc51","datavalue":{"value":{"entity-type":"item","numeric-id":418124,"id":"Q418124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5744123$8C95AD58-A827-41EC-AB93-46E54DF1C06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f76b870587f8aabcd01c2ec6c7bc17a9c4b16c6","datavalue":{"value":{"entity-type":"item","numeric-id":899319,"id":"Q899319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5744123$918F7480-2E67-420B-A252-79A1939CFF82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5744123$FBCDEC87-194C-438C-8177-AB2977D7AA84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cccc2e9774146717f2e9840d2775c6348713b9b9","datavalue":{"value":{"time":"+2016-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5744123$51CCDBCD-F444-4810-AB88-49779CF86477","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5744123$C9773446-C0FA-44A7-B6FC-1F08245287A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5744123$3753D534-BF98-4178-8974-1A541CAFF57F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28956d710c061e90cdb627b368514ea3c70e1747","datavalue":{"value":"6541851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5744123$C4BEB550-15C4-45FD-BEEE-CE5F43AE460D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5592425186ab9646b7d9f7edd840de20cd41afc7","datavalue":{"value":"fixpoint equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5744123$5D4BB354-88B1-42D4-B1BB-1EA301055658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5744123$41847285-426D-4239-B5C1-BDBF7B6DE8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1736cb68dc4e94b68b37018132c473552b61bdfc","datavalue":{"value":"Newton's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5744123$5F7A8702-E9C8-4A72-8010-696ACB9501D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f2d76aef31cc8b3f1e471b40296e2dec4ecc2618","datavalue":{"value":{"entity-type":"item","numeric-id":22811,"id":"Q22811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5744123$DAB8B49A-36D2-4450-9C6C-CF2EB7E80F90","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":"Q5744123$C1C98627-4E04-4FE3-AEE8-B154FC2AFC20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d670d33660aacd2261c7d7a896038e46ca1e0ae9","datavalue":{"value":{"entity-type":"item","numeric-id":5696926,"id":"Q5696926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5744123$230EEE2C-499B-4349-A024-23D53424F0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315ca477012cc40bb4745637b4fc7cc906fb2ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2999782,"id":"Q2999782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5744123$4C4B1E3C-0716-45B2-9E59-7BEBA4A6D5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0c598d6ddfbfae4ea8479557380be0e2aa296","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5744123$99A20B98-3BFF-4284-B4A5-96A89470CEE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e164f85bfdf01514a0d62f19b035408dbcbaf08f","datavalue":{"value":"https://doi.org/10.1142/s0129054115400018","type":"string"},"datatype":"url"},"type":"statement","id":"Q5744123$A86156D9-8956-49F3-83BD-C499B31EF9AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d2a374942e46c5e165d98896f17c351053cef6d","datavalue":{"value":"W2232045809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5744123$9318FC9C-DF14-4DDD-B3E0-29C1EE6EA1CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169a950f09238a837af1698b0abfa717b2cde9ff","datavalue":{"value":{"entity-type":"item","numeric-id":3192248,"id":"Q3192248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9de062d5dfeb0fc168c2fce170c94ca65a84be9","datavalue":{"value":{"amount":"+0.9911773204803468","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":"Q5744123$0F28DF29-2566-4ABC-B74C-042D3514C256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70577ded4bc50ffccd326ccfc37d6fb32cbabb32","datavalue":{"value":{"entity-type":"item","numeric-id":4683183,"id":"Q4683183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813cacd0a0b48faa284865d773f76fcc2d45e9eb","datavalue":{"value":{"amount":"+0.7673779726028442","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":"Q5744123$40897185-4E98-4169-8F23-EE7989FA25F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4406259f8e110fdd58d2e5ccae0c02e504d9de","datavalue":{"value":{"entity-type":"item","numeric-id":2870166,"id":"Q2870166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba5832f9945f8ba31e0195c58c58598d4cf251c","datavalue":{"value":{"amount":"+0.7500638365745544","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":"Q5744123$C7D761FB-F2A3-4468-A349-EEF4E3B1D77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7919f883435133146fff3ed35f34af0bdf1de4","datavalue":{"value":{"entity-type":"item","numeric-id":3090856,"id":"Q3090856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727e6515f114bd2d51d0bfd79d99b83a7836af48","datavalue":{"value":{"amount":"+0.7425462007522583","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":"Q5744123$D559049B-FFDA-40CE-89B6-5C2AB27C14CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35aeda22f3a920efb04a4f7ba6583fa071520c28","datavalue":{"value":{"entity-type":"item","numeric-id":5030194,"id":"Q5030194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1921c87396099b414853f2aa2e1efa66784c300","datavalue":{"value":{"amount":"+0.7329475283622742","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":"Q5744123$65E6C1FE-D54A-496E-9F15-834F5A20CC71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5744123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5744123"}}}}}