{"entities":{"Q6174522":{"pageid":13309410,"ns":120,"title":"Item:Q6174522","lastrevid":41226697,"modified":"2025-04-21T17:00:54Z","type":"item","id":"Q6174522","labels":{"en":{"language":"en","value":"Symbolic computation in automated program reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728832"}},"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":"Q6174522$9CBE6CAD-C038-4602-84A2-CD827DB687B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90b4d47b3307879912d31a2bc5cd88194681b454","datavalue":{"value":{"text":"Symbolic computation in automated program reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174522$BE3B4EC1-CEC0-466B-8DE8-8D284A223221","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00afc7342be17a0128aab9a5b664dfeca37ac13e","datavalue":{"value":"1529.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174522$8E6E9ED5-60C2-4FFC-BE58-83B8FE5145A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"526d20443196353db7031f11f1942c1807171ee0","datavalue":{"value":"10.1007/978-3-031-27481-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174522$9C8BB12A-90A7-4757-996A-C53FDDCB2B18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$3688599A-058B-405E-A287-0388A87C91D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$95D42F4E-DA83-462D-8360-2517E612D9B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-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":"Q6174522$CE51FE61-0738-4A88-929F-C4F6F20E1AD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174522$F27808E7-23C2-4EB8-B33E-2B611239F08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174522$7CEAE8A6-9776-47B8-BB5D-E2E224A39279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174522$01581B92-D92B-4876-85AD-C05F73057DF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9218b1af6382a677a82e2e0c1cfde88d14c1cc5","datavalue":{"value":"7728832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174522$CD084395-E6B5-4D62-8B0F-B34C9F81C0FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174522$DE3B238E-CEF5-4243-9211-86E712A21C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174522$AEDDDF0E-8027-4EAF-8F57-88C4CF26232A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99a99d7776c0f5f3f241030ed8edfdfd6718359e","datavalue":{"value":"loop analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174522$FF0A61A4-4309-4FEA-A663-59757246BA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"179c6ef57a3775d6a12b38f39bd0a3e37e248346","datavalue":{"value":"algebraic recurrences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174522$2058726A-A942-4B76-8DC4-2811F1F5CA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174522$632A958D-DEE5-4BBB-BFDD-CFEDEEE188A4","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":"Q6174522$C110E8CF-1B6F-42A4-B019-333CB3738A31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4313b7cd7e3eb4dc6884d0e7e6274cad6d7dd806","datavalue":{"value":"https://doi.org/10.1007/978-3-031-27481-7_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174522$7516FA84-61A9-49C9-ADEF-3905DCA659D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bb29b63995e177b408568cc76aa770677901d7d","datavalue":{"value":"W4323026993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174522$01B43287-6409-4375-8D43-662B5886EFFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d3c28222f64d276a34eebbf1e2db9d88d0c497","datavalue":{"value":{"entity-type":"item","numeric-id":6164420,"id":"Q6164420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$1E69C850-E51A-43B8-824F-A673C0EFC2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e24f505165fe62fa16da70d2b9108c5b0bcf3d6","datavalue":{"value":{"entity-type":"item","numeric-id":3297595,"id":"Q3297595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$9672EE00-5D67-4C0C-862F-204080C0F0F4","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":"Q6174522$B0AB9DE2-C40E-486B-9830-F3814CF47EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$47AFC1CB-D19F-43E2-B472-3DEF40E7A0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$824DAC91-43E3-4D50-B7FD-AD6A78F4F62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533c73fd3bc256dec44dea269587bb2e0bc2dfe1","datavalue":{"value":{"entity-type":"item","numeric-id":5145329,"id":"Q5145329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$598BDAD7-E3F6-43DC-BBA3-58CCDC56C14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8475621651cac9cb40ce3325316cb92a5729de0","datavalue":{"value":{"entity-type":"item","numeric-id":5119943,"id":"Q5119943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$D093B61C-DD7B-4E51-AD2E-A570698818C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e8ce8066168ad7a705a67763d71d75f0c26781","datavalue":{"value":{"entity-type":"item","numeric-id":1798956,"id":"Q1798956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$38A70CCD-929E-4886-99D4-D16C30091561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86744cb77930e800c9f689e113529cc299242903","datavalue":{"value":{"entity-type":"item","numeric-id":3296330,"id":"Q3296330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$BAF97107-1C5B-44CC-9336-52F9DEE39FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde1171a1e61455ff21c0984feff3bab884b2d41","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$3E59B19D-E8CD-4BFF-A532-AC00927F24D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2299d78cc913e31f2436e101e03018970aa99d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517807,"id":"Q2517807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$D900B9EF-1533-4184-B0BE-543BF55AC3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5d95758bb9129e98b79a218897e3777e4fac6b","datavalue":{"value":{"entity-type":"item","numeric-id":3541707,"id":"Q3541707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$A0DAF578-3E0D-484F-9476-675D959A9246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88a4d21f9c10003cdb38349b5ebb6aa4815e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5458331,"id":"Q5458331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$C98E7340-3A24-4C94-9179-92DB29658AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3457db4aeeca705bdfa43bc4ff297c870d568c","datavalue":{"value":{"entity-type":"item","numeric-id":5145272,"id":"Q5145272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$603D047E-FBA1-4BF6-829F-952DA111272E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$2DA47EB3-18A5-4622-A48F-A6BF8A137D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e2b7a6bd7a5f7a192b9dd9b1850490db36beed","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$7F5C792D-07D5-4CBD-93EE-6FDE7A70BACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1bd4af1cd6a9185f3f1ca9691777de4271c1e19","datavalue":{"value":{"entity-type":"item","numeric-id":1161289,"id":"Q1161289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174522$343D8D97-2B78-43BF-AD5B-A1A67D3A9D94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd74387f6524ea5fab32b18d79f8cc77af49349c","datavalue":{"value":{"entity-type":"item","numeric-id":5175699,"id":"Q5175699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60799c3ba25f476668460d1efe91362a1f90075","datavalue":{"value":{"amount":"+0.9371243","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":"Q6174522$5152D691-462F-4115-8C7A-67A8BBBFBC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15583c90b66bff55af73c0c32cc4baedcfb4b97a","datavalue":{"value":{"entity-type":"item","numeric-id":578835,"id":"Q578835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ced55ea067a2b964505f1e0341e12ee1865b0a","datavalue":{"value":{"amount":"+0.91960883","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":"Q6174522$F12A0176-D95D-4F49-90E1-4DA4F41FB7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a13dc7f22145c3ee7d01646b1b7659ece94a963","datavalue":{"value":{"entity-type":"item","numeric-id":2287903,"id":"Q2287903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7001ca019555ef19e5a79e8f2d582d5edd9e038e","datavalue":{"value":{"amount":"+0.9137421","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":"Q6174522$C3C5868A-B9CF-4719-A935-4E7F79517B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e813b1b673859fe15835418e4057409d03b4c00b","datavalue":{"value":{"entity-type":"item","numeric-id":1623144,"id":"Q1623144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db63d193fdc83b8b42f94716d77d0c9258f9bed","datavalue":{"value":{"amount":"+0.913448","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":"Q6174522$79FA06EA-C9CA-4586-A28A-18156498FA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a74a6039dfc21f2e859918ef95b068da78852b","datavalue":{"value":{"entity-type":"item","numeric-id":2244827,"id":"Q2244827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e931cadd826ced5a6135f022cc3ac941e706a9d9","datavalue":{"value":{"amount":"+0.91243196","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":"Q6174522$BA881FCB-7A20-4171-8249-89AF6AECEB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb36606985c8193ee3d13843b9a810cec286113","datavalue":{"value":{"entity-type":"item","numeric-id":4385444,"id":"Q4385444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508bc002524a6d50a0d1cae9a4efc2e1fddc9c2e","datavalue":{"value":{"amount":"+0.91161156","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":"Q6174522$9F4792F2-B052-4F31-ACF8-9A8F56CA9DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb576da7a97d4219efd5522ee48966c32b87d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4519354,"id":"Q4519354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7849c80625dd0626ced21d09f8411550a0b48672","datavalue":{"value":{"amount":"+0.9049387","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":"Q6174522$5ECDD5EF-420A-4AC6-9680-E29E1989CC2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174522"}}}}}