{"entities":{"Q5756502":{"pageid":7786053,"ns":120,"title":"Item:Q5756502","lastrevid":50157572,"modified":"2026-01-13T07:23:13Z","type":"item","id":"Q5756502","labels":{"en":{"language":"en","value":"Precise Fixpoint Computation Through Strategy Iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187161"}},"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":"Q5756502$37EC98D6-ED9E-4298-96B3-65EE90E451C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ec1a178468cf019caf2c7d2ec2258cd9eaad82e","datavalue":{"value":{"text":"Precise Fixpoint Computation Through Strategy Iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756502$4946C705-3D6B-4DF4-8BB1-BA14D0A733DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a79c4dc5bfe21ffa25cc75dcb51ac388632323e","datavalue":{"value":"1187.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756502$F640730D-18F2-42EB-8353-BEEA4888254C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f5139834b6cb8bedf96a4f5d2413d717ba0c9dc","datavalue":{"value":"10.1007/978-3-540-71316-6_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756502$3805A9E6-705F-4AEA-A783-E0ADD41DE111","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff75dd00fcd4a3f56295820358cc11a89e7faf1d","datavalue":{"value":{"entity-type":"item","numeric-id":435966,"id":"Q435966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756502$0CC4AE02-9339-46A8-B09D-E982247BA1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756502$DC0AAC83-A88E-4CD0-9C91-279BBCB96060","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756502$3E4553BB-2795-4174-908F-8C21525DB8BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756502$6356228C-4D54-4CA7-8AFC-0275CD685B99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756502$837AC1DE-A563-4667-A60A-8B9627A941C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af4626857d8888a321817ad72e18ab6e4c1f1355","datavalue":{"value":"5187161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756502$614F1A91-F763-4A55-8A72-9B47F70C88E7","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":"Q5756502$0BD8C70D-CC03-4C12-87B6-2EEC6DEAC846","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"928d9fe91c46984c3117a139b32866ff575f6ec0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71316-6_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756502$395C9F1E-374E-42EA-BF01-AD6669B5116D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d556a43e3f1f12855d8855dbd4753d1b42161775","datavalue":{"value":"W1559488388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756502$E6DF467A-A08D-4F96-88A1-71DB8E199496","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4389e6fcab0901e3894e24f0dce3a08a1d0612","datavalue":{"value":{"entity-type":"item","numeric-id":3608402,"id":"Q3608402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1fb15989e7ab63700db8b8f24dbcce3de9f957","datavalue":{"value":{"amount":"+0.8535133004188538","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":"Q5756502$E536FEDF-D524-4741-8F18-A5E6F32C7CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1957e826f1e37f9c40be58e3df85db6371c0703","datavalue":{"value":{"entity-type":"item","numeric-id":3644736,"id":"Q3644736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6728fed10094bc6b148b78423d60a7bf6a9d90b4","datavalue":{"value":{"amount":"+0.8481422662734985","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":"Q5756502$A619BC29-7FE4-4D88-BBD8-7BFAC44BF63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa6d5bace0612eaf4442c281bc93ada19255dff","datavalue":{"value":{"entity-type":"item","numeric-id":3113763,"id":"Q3113763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46b1170b7e45cabfa6dfed62d560e8d062bb45b","datavalue":{"value":{"amount":"+0.772644579410553","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":"Q5756502$23CD4C8F-7AC7-47E7-A519-5E93BB37CA34","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":"bca0d5aff56f270ab2270db72230e941798ea5c7","datavalue":{"value":{"amount":"+0.7666323781013489","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":"Q5756502$68719C77-CC5D-4607-8BC4-97334A94224E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15a0f670d447c92da0b79199cb8434bb941069b","datavalue":{"value":{"entity-type":"item","numeric-id":4632443,"id":"Q4632443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45eafbe7d516fb099b997371f3ae9e0b2f06d19","datavalue":{"value":{"amount":"+0.7568902969360352","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":"Q5756502$A49AE3E1-B69E-4ACF-9AF0-AE554C1D4931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756502"}}}}}