{"entities":{"Q5045479":{"pageid":7075056,"ns":120,"title":"Item:Q5045479","lastrevid":40884456,"modified":"2025-04-13T18:22:47Z","type":"item","id":"Q5045479","labels":{"en":{"language":"en","value":"A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612682"}},"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":"Q5045479$1FDE4CBA-C20C-4F51-ABA3-2822B45BBB1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fed06536f480d4c612fa107b8be24ba43fa62bc4","datavalue":{"value":{"text":"A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045479$42FC8BBE-7104-49E0-B8C3-937395CC7306","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fb00f2227203b4dcb9350d411d5eebeaa7d9f2f","datavalue":{"value":"1498.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045479$5DD84568-DEB3-43C7-94E5-70EAA5353C1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac92105f7ec528e8945a22d05587bb34d075cf05","datavalue":{"value":"10.1007/978-3-319-66845-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045479$83BEA542-5F4E-4B51-AA00-F57813E18A51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6c406ecd06b3ea55be08348408af877a7eddfda","datavalue":{"value":{"entity-type":"item","numeric-id":777888,"id":"Q777888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045479$AB9049DA-856C-49C8-BFEC-3D4033F70D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44829478b634b2d2e981facbc9bdd616f9f20d3b","datavalue":{"value":{"entity-type":"item","numeric-id":1707600,"id":"Q1707600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045479$DFB1617C-953C-46FE-82C3-B99006B7ADA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045479$D0EF8C7B-2AC3-44AF-896F-B1FE62527DF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-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":"Q5045479$739116E9-976D-4856-A236-6A08C26AB085","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045479$9FBAE26A-D65F-4846-A321-DB8293BCCC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045479$0F59B534-5419-4839-A507-B9EC8CFB6B66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59056e5c0c6a195773e875d736de19cf59937120","datavalue":{"value":"7612682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045479$15D566CA-3D1E-48EB-8202-1767AB3935EF","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":"Q5045479$17E415BE-0E2F-4EC3-8FA4-BA03257C3FDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"808bc8f170631266adc4f672356b97fc5554fbf4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66845-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045479$09703D47-52E7-4884-814D-06C466C59038","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23f76a42e997fc01b725a3d634e4d4b0fefb6c50","datavalue":{"value":"W2750452981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045479$8A1CC8BF-B7F2-4E3B-A031-E1C2B288CC24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4fdb12ac73aec82697590200fdaa01dfdf49864","datavalue":{"value":{"entity-type":"item","numeric-id":2814096,"id":"Q2814096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05eb70605f896ecf98dad7a29de63bd896ee794","datavalue":{"value":{"amount":"+0.8666202","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":"Q5045479$7854FFC2-D189-4F26-B197-7C4104F38D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0605ef596d929245fcfc8a407c55f9f17fb78984","datavalue":{"value":{"entity-type":"item","numeric-id":3586008,"id":"Q3586008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ac4b666b47784a13b2e349ab30379abf2c8bbf","datavalue":{"value":{"amount":"+0.85700834","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":"Q5045479$AA644F4A-F8E6-4E27-8313-FC85B8119D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a39890a8754b4d980dadf774b94c025c1861f3","datavalue":{"value":{"entity-type":"item","numeric-id":5491849,"id":"Q5491849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84dbecf69e5e8e42f495d13f7911dc3379f0af5e","datavalue":{"value":{"amount":"+0.85638547","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":"Q5045479$1D45E4E1-5811-47B8-B9D3-93A2926CD005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2857b5444fba721f1f0ebd35ad43beecdf0a2204","datavalue":{"value":{"entity-type":"item","numeric-id":2265799,"id":"Q2265799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbad596b6da6449c257008e53061c9e8241a47af","datavalue":{"value":{"amount":"+0.8552459","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":"Q5045479$0C7FB8B7-5ACB-46C9-A7CF-48A0433304A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba91a2fa8a38f05d02fe6a811450a3326020603","datavalue":{"value":{"entity-type":"item","numeric-id":5176169,"id":"Q5176169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bbcb94c1bb3d64a185f4a8ca5f0e5633ae44891","datavalue":{"value":{"amount":"+0.8531647","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":"Q5045479$6FBB2CDB-C35A-4C30-80AB-537AD2420213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880ce12e3c5869538e915c6e6dc301f63852730b","datavalue":{"value":{"entity-type":"item","numeric-id":5222968,"id":"Q5222968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b20c64fa929f692436b5873cdabb3b9d0bc7ab","datavalue":{"value":{"amount":"+0.85305715","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":"Q5045479$F294EF89-77BB-4843-9291-654D9CAC9082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd18d3cac23c09596baa20c6cbc8879b4e8ac7bb","datavalue":{"value":{"entity-type":"item","numeric-id":4647830,"id":"Q4647830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9a465fbd66ca4431833981bed5e3f0958dfe7b","datavalue":{"value":{"amount":"+0.85253805","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":"Q5045479$25242EC3-5D85-4C86-9216-920356EF1EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbb0304e940bceb5735c561adfb0e7f12a33f27","datavalue":{"value":{"entity-type":"item","numeric-id":3646570,"id":"Q3646570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810545ef03fdc35e529c4b2179446b46f9583c8d","datavalue":{"value":{"amount":"+0.85252804","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":"Q5045479$0099F836-6D3B-49D5-A41E-E00F5761279F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5045479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5045479"}}}}}