{"entities":{"Q3192189":{"pageid":3202897,"ns":120,"title":"Item:Q3192189","lastrevid":52096619,"modified":"2026-01-20T22:35:06Z","type":"item","id":"Q3192189","labels":{"en":{"language":"en","value":"Proving termination of programs automatically with AProVE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348235"}},"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":"Q3192189$F11E768D-9CB6-49F8-82EB-2B0460D8079B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cf94e6f2af681207097d655dd7657b925eaa572","datavalue":{"value":{"text":"Proving Termination of Programs Automatically with AProVE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192189$D63EEC00-0AE0-4CDD-ACE4-53A2461F7A54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a151fa9470d123f8cc00075b290477c8c9833f68","datavalue":{"value":"1409.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192189$B5C3A374-12B9-4ED2-A887-7DB877A7DED6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a2dbce3ee4ca191af8ba8cf351488b7e9e13ffb","datavalue":{"value":"10.1007/978-3-319-08587-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192189$82AEA9C0-A38D-4D9A-A2F9-BE461A9A2D15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$EC594624-2BF8-4590-95C3-EB1ED0D21FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c620a21f59c0f5ba6bee7b541d3dbc342d398449","datavalue":{"value":{"entity-type":"item","numeric-id":1687547,"id":"Q1687547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$7860A482-9809-47E2-AE8F-D3009AC4D078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46954e25e8dfa4734990921b382dc03a75dfa019","datavalue":{"value":{"entity-type":"item","numeric-id":2351154,"id":"Q2351154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$70CD9480-D904-457D-BAE4-92D584A06703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ceff39412d9c06c1d2cd592800cc7acbcd40d91","datavalue":{"value":{"entity-type":"item","numeric-id":1647967,"id":"Q1647967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$53315FB0-1DE8-44A8-A048-08858629F879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$9EBD243C-24FE-4F98-8BAE-A64879544FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23d86bc6e3cb9a9ef0ecbf0cb26255c4eae3e462","datavalue":{"value":{"entity-type":"item","numeric-id":2362490,"id":"Q2362490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$6982A66A-0EB1-4AAB-BB58-F2ADEF7F0286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"583fdf85a7275ca9b748c6a159e3cd340be95172","datavalue":{"value":{"entity-type":"item","numeric-id":2362491,"id":"Q2362491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$F9F7B7B7-892D-40B4-AD10-6767EC09469D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$8DDF2AC6-306E-457F-92CF-A68F7AB0F5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d502f8409806637c1bdf4f049fbbcf18c395dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1647968,"id":"Q1647968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$BCDDDBB7-6C03-4EB0-9D2D-B94E04382A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1672675ae82fae8892e84f55c2ee118d41f9ebcd","datavalue":{"value":{"entity-type":"item","numeric-id":2362492,"id":"Q2362492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$9883896A-C11C-49B1-AFF3-C93B69E6083D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$2C6F75A3-759D-491B-BA8E-5EFF54E9A7E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$8AB35D10-4762-4A99-9F52-13AB83E4FE45","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":"Q3192189$D7DB1570-C582-449B-9D2E-A10F460E2BA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192189$5F9DFE82-8ED2-4692-9596-E3E6A569202E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192189$ECAF399E-300D-4CD7-8B28-02513E245D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192189$7C680552-D319-47B3-A65B-5CF8C8BF32F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f1d730ad21f7e23f63831f6853a31d17f04a518","datavalue":{"value":"6348235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192189$8C92A641-B449-4088-A913-76FF30ACC56D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$55921C4E-DFE6-4730-83E2-46023DCCDF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$B3B314CD-09D4-4F80-8140-58B916E49BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$B8A21E14-AB88-4698-8D4B-79B42630A23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$16A88A32-2004-4A1D-9D04-B1676189D08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$0261D2F3-7915-49C6-85FE-7ADEC43F69F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$E6CE7A89-0490-4A21-841F-A9DE99C37CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$973A782C-5ACF-431E-A908-5E2EEA595CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$DADC1D67-93B0-476E-823B-14500B6D28DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192189$EFA95EE4-95F1-49C4-B0B3-CE2875A86DFD","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":"Q3192189$D95D0829-E028-460B-A408-AECBD36D0F53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34759832eb696d8082a235405ea3e5de6f65c5ca","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192189$1FA2F53D-C383-4126-B88A-8765ED4FFF29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38ad7624c19da968056bad37adb971df328dddf0","datavalue":{"value":"W2115215132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192189$21388EF7-1047-474F-9010-184559AEA5C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1b6a1c9029c3ad5ca754749e0fc55f78ae6b52","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7942d0ba62d991d243ead617cc1ead70c90024b8","datavalue":{"value":{"amount":"+0.95620197057724","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":"Q3192189$862FFAEA-C9A0-43C3-8FD2-AF3B22E16BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c28bb92f351f81d042392026eb0190e20d557c13","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d91b2dabcff8663eb6bf81d7e0e24f1860fc70b","datavalue":{"value":{"amount":"+0.8091767430305481","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":"Q3192189$845D3405-EA7E-404F-BBAE-85345FE17EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a5c82206e18ca697df7de1d9738bc526e90d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5045475,"id":"Q5045475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eaa1286266b649ce49b241c93aa9e1057d73b66","datavalue":{"value":{"amount":"+0.8040426969528198","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":"Q3192189$7B2D1621-6144-479E-BBB4-FA75E1245327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0a65de170ed7221695048af1bed30ea3804d15","datavalue":{"value":{"entity-type":"item","numeric-id":5389149,"id":"Q5389149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf38738d3b1727a1a97e4708b579d6859fdab50","datavalue":{"value":{"amount":"+0.8030227422714233","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":"Q3192189$5C443BE4-8CA9-4F51-8937-6F0074982905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f056de6083db7c1bcc5be81def3768c6d2f2e9f8","datavalue":{"value":{"entity-type":"item","numeric-id":5389079,"id":"Q5389079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0383d51dfec184510ab829c7d8ffe6eb7bf030c9","datavalue":{"value":{"amount":"+0.7968565225601196","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":"Q3192189$5378359B-BBC2-4882-B1C2-D91065E8E616","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192189","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192189"}}}}}