{"entities":{"Q6487292":{"pageid":14066061,"ns":120,"title":"Item:Q6487292","lastrevid":55910089,"modified":"2026-02-21T01:48:51Z","type":"item","id":"Q6487292","labels":{"en":{"language":"en","value":"Definitional Quantifiers Realise Semantic Reasoning for\u00a0Proof by\u00a0Induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7627757"}},"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":"Q6487292$1AFF2BBD-6DBD-40B9-BC58-D9C5A2D48E23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"394ced71e2f1ee6294d3b8a08324017c80ec8730","datavalue":{"value":{"text":"Definitional Quantifiers Realise Semantic Reasoning for\u00a0Proof by\u00a0Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487292$F5F72774-BBD3-43D5-B294-9F9DAD044F21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37a1af4372360fe56c4603b80e7768194acdeda4","datavalue":{"value":"1514.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487292$7021484F-DB90-4F56-AB45-746289EFCA58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72c2e00db383e5e90cc1bf7ff9e438d3dcaa756f","datavalue":{"value":"10.1007/978-3-031-09827-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487292$8ED76148-FB14-49F7-8EC4-A75D1F617E46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bad250d2383a6addb9f20421ad8f0febdd8925ab","datavalue":{"value":{"entity-type":"item","numeric-id":1798970,"id":"Q1798970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$416D88CF-976D-48E9-93F1-CC1F1A16F879","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487292$76CCA279-2279-4DBD-BB1B-62DC2091F629","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487292$819DA391-5F75-4973-8431-2FD9939BDDB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11b92aa85ccdad566b52ff05f86774e76ace76e6","datavalue":{"value":"7627757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487292$9A48C04B-DCB0-4B05-8C02-27157CD246CA","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":"Q6487292$8D3A9A4A-818B-4533-B80A-ABB58E8B2344","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6b847528569308c270822a9e669d3f5e692fc","datavalue":{"value":{"entity-type":"item","numeric-id":2219409,"id":"Q2219409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$82BE1B29-E198-47F1-A628-3CAA7786558B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fea6dff3d36407dad60fa8e8c9bcc1f06ec22da","datavalue":{"value":{"entity-type":"item","numeric-id":5200019,"id":"Q5200019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$7858A1C3-7ABE-4593-BC71-CB03ADF05CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec94ffd495194cd30ddf8cbb404f2f83d1c7a766","datavalue":{"value":{"entity-type":"item","numeric-id":983523,"id":"Q983523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$98511D21-59C1-480C-83D3-E3299AAF15EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$B694FA3D-84F6-460C-A7DC-70B2F2B1B9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$C6D7B916-BD4D-4EF3-A7D4-4646BBF7D0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635d658e492778c40a0dc6463613126938b64c17","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$C150929F-309A-49BB-8A46-6630109B4842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$4FF15DC3-9A92-4083-BC00-9B12B6D2CE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c32d3283dbc1fe39bfc7c16048659fcd75d91f","datavalue":{"value":{"entity-type":"item","numeric-id":1687553,"id":"Q1687553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$30A07179-C7EF-49B0-B9BD-919D56766274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd3cb6b9019747c7bbfc2bed55b78e42a7665495","datavalue":{"value":{"entity-type":"item","numeric-id":1663240,"id":"Q1663240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$96ADA62A-4013-4F27-8CBD-56DBD6BE1B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df01f1f257aa4e0eda78a40444b30a121e95f5c","datavalue":{"value":{"entity-type":"item","numeric-id":4645730,"id":"Q4645730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$42625A82-35DC-419B-806A-D91E6912D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c5239edfd305efbd1c9a075b6bf62b0b4959a45","datavalue":{"value":{"entity-type":"item","numeric-id":2870142,"id":"Q2870142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$8C476353-AB11-4BEC-9C0D-AF61325D18BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38ed23fa88b668d708e7fcb251bdfab0a9247138","datavalue":{"value":{"entity-type":"item","numeric-id":6108816,"id":"Q6108816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$172AFDEF-6C32-41BD-AADC-EFD3F9F10F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f0da0a09bbdbd8336886d62c2c8b015aa727a44","datavalue":{"value":{"entity-type":"item","numeric-id":2250560,"id":"Q2250560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$76F38BC1-8FFE-4E92-8EB0-35C42F98F61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c550078709a24810b3ec6e1d82a47c85cb06a5","datavalue":{"value":{"entity-type":"item","numeric-id":2018657,"id":"Q2018657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$0F47B732-9E6A-4B15-9CA8-66B9311FC2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f817c25e678d90420f00554ce09d160ef2c5bd73","datavalue":{"value":{"entity-type":"item","numeric-id":5875432,"id":"Q5875432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$C0B74A55-356F-4C70-9EB0-E1D8C4D6C54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$99A22F7B-35A2-4C12-94F6-6280E5B7F7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532a62b60e075fff433f243b2f28347c1a6df5f2","datavalue":{"value":{"entity-type":"item","numeric-id":2405272,"id":"Q2405272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$14E5CEF7-5F9B-4BDA-8FA3-80FDDF82F405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456393b3b7cf69779e1831677ba234943c4a049a","datavalue":{"value":{"entity-type":"item","numeric-id":1798971,"id":"Q1798971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$BB296445-E3AE-47CD-AC4D-261924599FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$9642D42D-B7E7-4DAF-9B6E-82777E46F89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ebfe73c4af93de38a926b953d335f0d3eb1fd6","datavalue":{"value":{"entity-type":"item","numeric-id":5049029,"id":"Q5049029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$ACC3B7FD-C09D-478A-9CF1-36FFE5A90DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44e9e532a60b0c2fe7f69fc24b91b25cb2cddc4","datavalue":{"value":{"entity-type":"item","numeric-id":2305434,"id":"Q2305434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$097BA96C-538B-494D-9F6E-532391DACCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d789ac168a4414aaee7be5ed0816585e0b06ce","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$82FB6976-18B1-4689-8068-315018400B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487292$EE3DC3C0-C9A1-41BF-9B6F-DFA127A95828","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac25501e10601116990b60965b583eec10389c","datavalue":{"value":{"entity-type":"item","numeric-id":2891425,"id":"Q2891425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600ff63c806bafaa5110fa7f3c07ed3129e9a38c","datavalue":{"value":{"amount":"+0.7260736227035522","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":"Q6487292$06A4EED8-AFBB-4392-9B50-1CF91CC57411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f225124d15a7a6aa53392ac079722a1eb252bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3345810,"id":"Q3345810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8abc16e8d1ddcb82e979cbc6dd0e227a6dee230","datavalue":{"value":{"amount":"+0.7207948565483093","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":"Q6487292$7B71FD52-CCA4-463C-8FE7-05D01761ECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435c230f2e936567467c911556c7b07e730f6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2802496,"id":"Q2802496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2913f82b756a854c1d16c28216315a423de8731","datavalue":{"value":{"amount":"+0.7121614813804626","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":"Q6487292$7A2ECAE2-99E2-475F-81DA-A29078DC79F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51852894019aff4da996e23e31ecb38fe929c33b","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fd8594fa3aef05896ac788fcf4c7baf622f4c4","datavalue":{"value":{"amount":"+0.7115941643714905","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":"Q6487292$3180EAE7-6FBE-4D04-96C8-2D273DAC6533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a02b86f5e7c12a000ea62837c3061ae5ebea26","datavalue":{"value":{"entity-type":"item","numeric-id":4645730,"id":"Q4645730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fd8594fa3aef05896ac788fcf4c7baf622f4c4","datavalue":{"value":{"amount":"+0.7115941643714905","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":"Q6487292$F4BA68AF-C453-4838-B4B1-BA04151F14D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487292"}}}}}