{"entities":{"Q3192248":{"pageid":3202956,"ns":120,"title":"Item:Q3192248","lastrevid":52096739,"modified":"2026-01-20T22:35:11Z","type":"item","id":"Q3192248","labels":{"en":{"language":"en","value":"FPsolve: a generic solver for fixpoint equations over semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348285"}},"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":"Q3192248$12928695-AA8A-4276-9CF1-D2C37E74301E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f1e2a817e0a211c800705e05dbffaa862e486e3","datavalue":{"value":{"text":"FPsolve: A Generic Solver for Fixpoint Equations over Semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192248$F7AB8243-11E1-48C0-8D5A-9B6903693413","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e24ef12bedbc9a96241980689da00abbb0484bc","datavalue":{"value":"1302.68330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192248$FC519531-C2F6-4D6A-814F-70FD8E15B7F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e5072b27518585b5862d9a588b8b0216a0d79cf","datavalue":{"value":"10.1007/978-3-319-08846-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192248$E49D68B4-EAAC-4CE2-9054-C84A7E3B0AC0","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":"Q3192248$84A53C07-08B3-4D96-94D8-BDB7165DEF83","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":"Q3192248$A1799CBB-DFCD-4EDC-82B4-C2FA620A27EF","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":"Q3192248$2120C092-5388-49DA-B4F0-5A4AF66FEBA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192248$A1ED1A3C-CDC2-4CD8-9FFF-51F38663C134","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192248$AB93161F-B233-4CEC-8B37-C7707C7E010B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192248$E84E5BF7-2CAB-4473-9C76-D08357735E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192248$FA39A5AA-0D1E-45C4-B121-91980BA5BC61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4dcee40ded2387d013c1979a586f215af1f707b","datavalue":{"value":"6348285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192248$498F65FD-5DE6-45FD-A8B8-C494330C255C","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":"Q3192248$1A3C3900-8BD3-4572-A57E-5B6B8CD5BB01","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":"Q3192248$5DBD8519-B808-43D2-BBEF-BA554091FB2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6628bdbf8c6aed68ec684e0aa4a5b7be3b5e5c6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08846-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192248$86F3B246-469B-42A2-972D-169049249A4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2360c809e2a8e20f0f6cdf06ed2574b43806fe50","datavalue":{"value":"W1027809600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192248$726A9C1E-E836-4AD7-ABA6-5CA5A77C865E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0eb8f42634fd5463d7a6e54ac1e0786d4dbd72b","datavalue":{"value":{"entity-type":"item","numeric-id":5744123,"id":"Q5744123"},"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":"Q3192248$7540A25B-FC1C-4E5F-84F9-E2D976730749","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":"ae8408ba00b73648e4b635c4b6a9c6bcd6a41485","datavalue":{"value":{"amount":"+0.7640669941902161","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":"Q3192248$9B9D476D-A343-4D69-AC0C-F77B9F547B63","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":"d031ba432c85d6654930fa7faded67bf0177cdcf","datavalue":{"value":{"amount":"+0.7514376640319824","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":"Q3192248$261E8071-8473-4E0C-BACE-1FC9630C0196","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":"efa6609650481e0b267ea933d9f99053e45f5721","datavalue":{"value":{"amount":"+0.743418276309967","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":"Q3192248$CF7B8DB7-AD69-42E2-B865-019D4EC2A9FB","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":"81d369aac25af5e5327b7a2d1bc0f44d86fe12e1","datavalue":{"value":{"amount":"+0.7408618330955505","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":"Q3192248$DE0279D7-2107-4F29-A50E-7AAB3D68A23B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192248"}}}}}