{"entities":{"Q4647552":{"pageid":6677133,"ns":120,"title":"Item:Q4647552","lastrevid":53320976,"modified":"2026-01-24T17:43:39Z","type":"item","id":"Q4647552","labels":{"en":{"language":"en","value":"Reflection of formal tactics in a deductive reflection framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001942"}},"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":"Q4647552$76DF2955-B5B1-44C4-9613-7BD6F0C6B368","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e0ff90fba633baa8bc54bf7dd4f6c801c4ecee4","datavalue":{"value":{"text":"Reflection of formal tactics in a deductive reflection framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647552$CD5B1066-E8B5-4CBF-BA49-B36CF360E910","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af73bdf7334e99a401d79aaa98a704bcdefebd5b","datavalue":{"value":"1412.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647552$B75271EF-3981-41B7-B7EA-E50D70D736D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b9657c0ad5687da82eae551584e6dbf663553d0","datavalue":{"value":"10.1007/3-540-61511-3_118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647552$5DE18807-B256-4755-90C7-A90A8BFBC40F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e260a263a8c533b05d7f8d3aa8c89b45a7453f","datavalue":{"value":{"entity-type":"item","numeric-id":2055858,"id":"Q2055858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$7A338CB8-CF06-42B9-84D3-C887386B503C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$2F043D48-5270-4FB9-A828-D41BE7B50435","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647552$6B70822C-6750-4168-8DDF-45E937F23ABD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647552$815F9983-01E9-4A43-9AE7-4876D014D7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647552$0E8E9163-7F1C-4F48-91C1-6FEECF81F856","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27743f1330ebf263ad34af5ba4fe384a8d1c237b","datavalue":{"value":"7001942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647552$9293919A-DF48-4DA1-A899-E92903BE70DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647552$A26AA31F-CDD8-4030-8697-10A20ACB47D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543bf8400f98f9e945a1fb4a6d773856ebd6d9fc","datavalue":{"value":"abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647552$874D3CDA-2123-452C-9418-78832A6A76A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7ef6a6dbe3f6818e8885b9872ec6cd3307cfed8","datavalue":{"value":"correctness criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647552$F7A5A153-AD57-444D-AE5C-3A524906B134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647552$0A3EB9E5-EEF8-47E2-B79A-B439C7983920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb3100754a4a6d00fd4f42625ce2e1ccde7811d","datavalue":{"value":"proof term","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647552$70A08093-00E0-43C4-A3A8-80AE4726F90A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$185C5F13-8140-411B-93F1-7A959652A3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$338048AC-7D56-427B-8246-2A7FEFF3DF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$3E1E7636-8C8F-4FFC-A6F5-B4630E28D073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bab752e9cf98240487eb3aae10666dc541b36d41","datavalue":{"value":{"entity-type":"item","numeric-id":43692,"id":"Q43692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$9F54A96F-457D-4C55-854F-79BF4F8F2F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$00C0073D-BE70-4A2C-B8DC-0E929FDCE334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$E5922460-89BB-43F1-B159-0C22AC8C01E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$CB587A88-83CB-4F02-8681-1E6286D8E64C","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":"Q4647552$3E5ED89B-9246-4DBC-B68E-03CBFB5FDC67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a532e678e95b014a1ddcc75cca8a3b349f3e4b15","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_118","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647552$A6C876C6-AC01-48EC-B50A-A77B3C4B4479","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5279b3d8814004a7b570e87c3542deb6d1a0767d","datavalue":{"value":"W1540592429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647552$D17A84A0-8120-4B9A-B521-70F444B00B7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$C21B248E-FD56-4617-8EA9-9147AC21AB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a0c8df1ebe6e984c4d874c516da41cf5d410c48","datavalue":{"value":{"entity-type":"item","numeric-id":4261732,"id":"Q4261732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$BB5CD3BC-0D9B-4360-9CCC-04753FB7B9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce4f5ae886a6add198cde1454a758dfcc3c40fe","datavalue":{"value":{"entity-type":"item","numeric-id":3932277,"id":"Q3932277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$7E5A11C7-109E-4619-8BBD-B43565EDE6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$0F2A6690-0AF1-42A4-830F-BA76243BC38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$B67802FF-5726-4148-A012-9F7039134ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$C9207E85-A705-4028-BA53-2AF95EBCEAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$19C6D349-0DB4-42EE-99E0-2655D01C0F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$F6A8326C-11C2-40A7-864D-20B7462C4A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ff2c56493bc73260aa24ab8da7ef8171115e19","datavalue":{"value":{"entity-type":"item","numeric-id":3138833,"id":"Q3138833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$A01BE456-3A4F-4EEB-8AF5-70754C5FFE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$55ECF9DE-C928-4DFB-8BA0-8F80CF9ABD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$B2297673-70C1-4CBD-A8B4-B74A987766E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$88333C6F-886A-458E-9840-E001F23507AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff7991562411ba98f0f54372afaffc7b89e7d1f","datavalue":{"value":{"entity-type":"item","numeric-id":1349667,"id":"Q1349667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$87DBBC7F-9A17-48FE-8FFE-954938D4FDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec82fb7c3b060722d92e660196cc4f450e49446","datavalue":{"value":{"entity-type":"item","numeric-id":4335795,"id":"Q4335795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$5031590C-F000-441A-8AAC-7C500CADF85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$9DC4B43F-8FF5-48B3-B713-8336BE003DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57b8341b2c03c0ab6ceafc6b146f7913b41ddcc1","datavalue":{"value":{"entity-type":"item","numeric-id":4162635,"id":"Q4162635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$55389C8A-CD62-4B18-8462-CEBAFB70AD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d1d8fb42339a481de309d10a4b5b6fb7e49eec","datavalue":{"value":{"entity-type":"item","numeric-id":1140436,"id":"Q1140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647552$8E2568B4-7190-43A2-B5FA-8E08E1F4C3D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7a7c4f5dac6dd56f6689fbd94d027549e0a9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5756755,"id":"Q5756755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29502bc252a9ba1eadeaffd49c6592d3f06d7f07","datavalue":{"value":{"amount":"+0.7889546155929565","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":"Q4647552$CEFD58FD-5FC8-4E6C-B83B-66ADF6200EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d8460ce4f486383b05ac93c44ee0afdba81933","datavalue":{"value":{"entity-type":"item","numeric-id":1791152,"id":"Q1791152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121ff0af6a48e36712cc3993620d6907fcae7ccf","datavalue":{"value":{"amount":"+0.7827447652816772","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":"Q4647552$3BD7E118-36E3-43E9-8A4B-A347EDC65C64","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":"565c3d30dee0d8979bb0d9d03497de73eb41aaa6","datavalue":{"value":{"amount":"+0.7811987400054932","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":"Q4647552$493CBFD6-9120-49AF-A003-F6E2B7E6155D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9877f0dcd65138cde5cfee90673e908a79f3337d","datavalue":{"value":{"entity-type":"item","numeric-id":5464643,"id":"Q5464643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665be3573723608e531844e9a52c78cb8bad9ee5","datavalue":{"value":{"amount":"+0.7578836679458618","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":"Q4647552$7D147CC5-89FE-4D30-9CED-F3D63AC82625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9535aae83cc059803d499aad5c60b21a49286ea","datavalue":{"value":{"entity-type":"item","numeric-id":1283204,"id":"Q1283204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200e8aec3b05cccb7d47a49ac50d2055e723d8a1","datavalue":{"value":{"amount":"+0.7567095160484314","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":"Q4647552$3A242D01-189B-4B18-BCC3-50C5729E5D18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647552"}}}}}