{"entities":{"Q4812966":{"pageid":6842546,"ns":120,"title":"Item:Q4812966","lastrevid":74578239,"modified":"2026-04-14T23:26:35Z","type":"item","id":"Q4812966","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2090534"}},"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":"Q4812966$CFA2F0F7-28FB-4843-AD46-90A7DA0E52A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a59ec0c34a8d844e59a894651f988f4f72c98e24","datavalue":{"value":"1045.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812966$887C18A4-0536-4C24-A129-88174D286762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd1436eb1440c41587109ffc68f038ce05aa2c73","datavalue":{"value":{"entity-type":"item","numeric-id":4812965,"id":"Q4812965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4812966$3B07D70E-F5B7-4560-A103-3278FE276483","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecbb3420f48001697e43edc0b6a7cf0adaddf1ef","datavalue":{"value":{"time":"+2004-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4812966$6C00416C-D62C-4FCF-8A3B-F77CEAF4B95D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a5ab82e3732281ee3cbbbb878ff2204fca22c3d","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2401/24010287.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4812966$9B4E20A1-4B04-4712-98BD-0113080DF795","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812966$00FA299B-BFC4-4401-9381-C5EF0F468C89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9ccb4dfdd6021ada2d9bb01fb8ed451be201e2c","datavalue":{"value":"2090534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812966$8CEA7B67-0D9F-4CFA-83E4-AC8F7BF378D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0d713e1155d9d049a4ba969dcc90213cd782ba","datavalue":{"value":"Program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812966$C9038C73-0CC6-40AB-96D6-DBB974ACF300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812966$AB93FA3B-DAA3-4264-BC36-767CAAD0673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812966$33ACA18B-2DE8-464B-9E36-FC6E82DF93FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812966$6D296429-9EA1-40AF-B6C7-1858A39C95AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b222fdab189321c99a4872f256180399bb00bfa","datavalue":{"value":"reactive program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812966$7C732B29-4324-4706-9642-492D6736CCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812966$25D9BBCA-2698-410C-A67F-088B61E87E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2392b672efbd1bb0bba2c5ac67141a3f83c1afc","datavalue":{"value":"constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812966$562B59E2-DFC8-44E7-A30D-CF3CC3C12A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80741ab8c1e1defd9f4c904e31551867139f157c","datavalue":{"value":"CLP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812966$2C1A4EE0-9001-4F5C-A83F-7A478329302C","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":"Q4812966$B667B383-A1EE-4625-B1ED-730585087BC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbaf149280ddd0521d9f96e3a9026b27529fb8b8","datavalue":{"value":{"entity-type":"item","numeric-id":4385452,"id":"Q4385452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ffa26492c1d61218721e9bab0c5001657b372e7","datavalue":{"value":{"amount":"+0.9032198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4812966$518E591F-3157-4E04-A23B-FBE954BE6092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e835cb8ce8c147df68390707c75433f15f63697","datavalue":{"value":{"entity-type":"item","numeric-id":4245935,"id":"Q4245935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b625ac3e0a49a8ef4598ef1301c71601f0a6c3bd","datavalue":{"value":{"amount":"+0.8924734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4812966$008D5629-DDA6-4047-A096-5B9B90D014AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b458980223d7931ddccb4b936e86dc5b8152c682","datavalue":{"value":{"entity-type":"item","numeric-id":510898,"id":"Q510898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4d9fa29cde83328df3cd949260ccd9da56009e","datavalue":{"value":{"amount":"+0.8923885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4812966$D246AB32-3D1B-4D51-98F3-D37BF95A3BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53750e778f847713f90c4de725d66f46175e2206","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1399fc60011b1ac3395d389a8f56f93c01ffd1d2","datavalue":{"value":{"amount":"+0.8909339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4812966$4C510174-A723-484A-BC73-660441EDC8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc087e84bc48376cccef6bab164ef2fb789bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":4635889,"id":"Q4635889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234ba3252b769574f5d273191c624bc7262f3ee8","datavalue":{"value":{"amount":"+0.88977236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4812966$E5E5D39F-D21B-41FE-B447-6D62B624E7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c048cc47da0573a7e9e604dc925be68570fd75","datavalue":{"value":{"entity-type":"item","numeric-id":915460,"id":"Q915460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1410b795df9231b92cf4603ae8e65f932e0fa3d","datavalue":{"value":{"amount":"+0.88723814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4812966$6068AD4C-A125-4645-8D04-9CB7EF4E19D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a3b90626cd9f864c262c45698573772dcf659a","datavalue":{"value":{"entity-type":"item","numeric-id":3694664,"id":"Q3694664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98fb0cd53a0cd92301e1437f36e0a3ad8348b1c","datavalue":{"value":{"amount":"+0.88502413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4812966$7DA37079-613A-4E44-BB32-5D9FD8F02AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12e2d07fed965fe7dda8bd47e4112d7a8e643eb","datavalue":{"value":{"entity-type":"item","numeric-id":3217582,"id":"Q3217582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98fb0cd53a0cd92301e1437f36e0a3ad8348b1c","datavalue":{"value":{"amount":"+0.88502413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4812966$7144A7A6-C80C-4580-8A0F-12C047492794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fb052b74a5e537a7695e04e6200ec00c8de16e","datavalue":{"value":{"entity-type":"item","numeric-id":4858579,"id":"Q4858579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598aca78c83525968d58e06e772417e69e03518a","datavalue":{"value":{"amount":"+0.882392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4812966$8B0B0FFB-5C3F-4E72-AD43-4C62A2DB6ACE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2090534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2090534"}}}}}