{"entities":{"Q5210766":{"pageid":7240337,"ns":120,"title":"Item:Q5210766","lastrevid":53639186,"modified":"2026-01-25T11:42:26Z","type":"item","id":"Q5210766","labels":{"en":{"language":"en","value":"Mechanizable inductive proofs for a class of \\(\\forall \\exists\\) formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154542"}},"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":"Q5210766$0BA65B19-B393-4D79-86AE-FED6E35FABEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"244bcbe02ef8d20f9bc1121b70d3d54a8f648efd","datavalue":{"value":{"text":"Mechanizable inductive proofs for a class of \u2200 \u2203 formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210766$DE4196D3-ED2C-48B9-9830-0EB7835A1C85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6744ae6c75e0ee88908bb8ce4a01168faf17d14e","datavalue":{"value":"1434.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210766$5C16FD48-3179-40BC-B2F8-FE6DA8CAC2E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a6b5c78a37c62bd06ef254a21b677f28a3bee01","datavalue":{"value":"10.1007/3-540-58156-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210766$0424E39E-7FA4-44D9-BB69-86AD97AA3651","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"303d387feb9e123f60412a1d427a017068d42b12","datavalue":{"value":{"entity-type":"item","numeric-id":1241667,"id":"Q1241667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$1B6162DC-6E6B-4966-91EA-D71C3554E5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20b4944fe4b96d4fda5cc5e09d49f0846d30e2b","datavalue":{"value":{"entity-type":"item","numeric-id":685351,"id":"Q685351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$7101EE0C-98CC-4C10-BFA2-50D93118B451","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$2A8675DA-909D-44BD-A289-B4631F8B6F7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210766$072D1259-1324-46F1-B37F-56958A733896","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210766$D279E292-7D46-4114-A186-DFE400BF02FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210766$FA54D53D-10DD-4DFC-BD2F-03DC5F178DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210766$EB99FC88-E3A7-4098-AB86-9440CA54FFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210766$5CDBF64E-9986-42F9-BD1F-E47E91DECA0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fc65fd22183ac86cf77af1290c01801c7aaf09e","datavalue":{"value":"7154542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210766$FCC04063-05EB-4149-A019-E38DA5898455","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":"Q5210766$C228A638-CC53-4EEA-A93D-DA234B0AF6FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d4e33e8201d62fade95f332de455ee9fc721e17","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210766$283E9A51-2956-40DA-9B5F-5EEDA9C04488","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fa6e1c9e5046731da77d61fc6067896c7942abc","datavalue":{"value":"W12716309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210766$6BCA6995-BB62-4C5A-B646-D95C2ADE29E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$1A08582E-9509-4369-932C-76138278503F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$FE788FEC-DA14-4D8C-8646-BD3672F3094F","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":"Q5210766$50E6271C-02AE-486E-9942-7EA7E4EC34FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$E37577FA-16C7-4D99-9412-D4C26F37CE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$7189B924-84BC-4C9F-9CE0-862525CD57AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27f4896b2b37d7836caabde9e0c30bf3087be77","datavalue":{"value":{"entity-type":"item","numeric-id":4190106,"id":"Q4190106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$3373BBE6-DEA3-43AB-B2C2-E26E634E17CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63122194b3ddae51c07012542f84f5383e4f333","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$C037BBD1-BF80-412F-B44A-1370F7783E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$7F824744-8BD7-4D08-B2B9-BA45FF91E03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$A080A027-6D55-4BD9-9107-BAFBBAE31FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$BCC807BC-82CF-4113-B5E3-BC5E8F3B2601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfe00f727b087a386cc5c62c253e81e5e8c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$8B316D08-64BE-4ED9-8461-CAD0D389084A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c644393292b3f41469d648371f2669fdfbbd2a","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$1B7BF2F7-0491-41FE-A00B-A9528E897BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b870e69f3dbfdeefaa194d7a638c30bbeb478","datavalue":{"value":{"entity-type":"item","numeric-id":3976041,"id":"Q3976041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$044489F9-3ECC-44F7-BAC6-9C5C59932EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f28bd12adf4f08b88e1bc9b70377dc99daeb17","datavalue":{"value":{"entity-type":"item","numeric-id":685352,"id":"Q685352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$FAE05077-01FF-49D4-B438-019B635778CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7409adbeea4f06044f7b07a21aeeb141df7f0f2","datavalue":{"value":{"entity-type":"item","numeric-id":4712663,"id":"Q4712663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$A0F141C6-7122-47E5-98A4-10F5DD3DFA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e9bdddaebddb563767fdab13b5d71ba14f7f56","datavalue":{"value":{"entity-type":"item","numeric-id":4040341,"id":"Q4040341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$E85EDD4B-247C-46F2-9302-2FD78080E550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098701b77640969d6c5a6c2843a41c1bc5c5110","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210766$C9BC5D5D-41CA-46A8-AE75-CF3C2B858FA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4baa166647374ce26227c8ae876aaeeb41de44f6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c722c8fba6d944c9ab82c3d0f4528c5b11a58c7b","datavalue":{"value":{"amount":"+0.7841221690177917","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":"Q5210766$41B24F2A-1DCC-4DE5-964F-4E2833B474F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2416de24d22529cb6f8bfdba301499b7c098d1","datavalue":{"value":{"entity-type":"item","numeric-id":1317862,"id":"Q1317862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048477a275eaae81595c90e21662c88758b0f01a","datavalue":{"value":{"amount":"+0.755680501461029","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":"Q5210766$6CDCECE3-536E-41B6-B0F8-1A6BEC514A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e5c77ba2c4b6918e12085fa7af2d25e97f05044","datavalue":{"value":{"amount":"+0.7472518682479858","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":"Q5210766$E6B57C15-C00D-422A-89AB-D1ECCAADAE13","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":"86e4281512d60b6357a4b572ea3c202651562638","datavalue":{"value":{"amount":"+0.7462264895439148","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":"Q5210766$567A7C6D-124E-40BB-86BC-BA7A363F13CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95624fd48ac22c1d1a10022afeb19a857a2d7c86","datavalue":{"value":{"entity-type":"item","numeric-id":4712663,"id":"Q4712663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1603f424261edb8406a72050b83d0ddb812e01d1","datavalue":{"value":{"amount":"+0.7382240295410156","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":"Q5210766$0C8902B9-ABA7-4F5E-8BAD-EEA0A9898CF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210766","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210766"}}}}}