{"entities":{"Q5206956":{"pageid":7236527,"ns":120,"title":"Item:Q5206956","lastrevid":53622584,"modified":"2026-01-25T10:54:45Z","type":"item","id":"Q5206956","labels":{"en":{"language":"en","value":"Axiomatization of typed first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145920"}},"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":"Q5206956$BABD2FD1-386E-4A60-A877-5DC11F001823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f71d7c15641d3118a0736c4a303733561fdb76e1","datavalue":{"value":{"text":"Axiomatization of Typed First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5206956$84338E60-4DB9-4F75-9330-95578BE9F389","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"121e53c08ed3c89d7f86e26efdb48a4509be705a","datavalue":{"value":"1427.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206956$AE5001CA-2743-436B-9CD3-AE8BC2945DA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf81af0495e7f42a793471fe29a7d5e21bc2ffe7","datavalue":{"value":"10.1007/978-3-319-19249-9_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206956$8F47D6B8-6FFD-43A1-B778-A0264C56EE3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54b40af6acb3456c1b6977fa01e79eec0014485a","datavalue":{"value":{"entity-type":"item","numeric-id":1630024,"id":"Q1630024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206956$AC12DF53-7F89-4F2F-81EB-949798E255DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924cca174357738b06b9173e0c5b8febd23b6af5","datavalue":{"value":{"entity-type":"item","numeric-id":1202018,"id":"Q1202018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206956$4DE696EF-46BD-4976-BC27-F760FF716CB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea507ca7ecb53fb64a642a5e1bbd9b47380c0a44","datavalue":{"value":{"entity-type":"item","numeric-id":5206946,"id":"Q5206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206956$24AF9139-DC23-41C6-85BE-55A0F294F576","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5206956$FEA45056-E1B4-41C2-887B-854E3C3A818F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206956$5C1B2A6B-F3B8-45EC-B414-2CE09780E344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206956$58DEF9F1-F861-4AB5-A70F-1049D72546B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4419a65d90b1b332b22a8d2c89168733a33f653c","datavalue":{"value":"7145920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206956$4861B1F1-F402-466A-AA7D-061F44A9C334","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":"Q5206956$6298B10D-A5E8-4513-8EF6-9A939DE359B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b36bb4e23ae50c8f377cf0bd3c702398b34fc285","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19249-9_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5206956$BA8A43CD-BBA2-4C04-A077-CB4BDC8A61BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba3bba1307506c6d9e1c217b3ecdf388f451d102","datavalue":{"value":"W2296150819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206956$8BA676E1-CBD1-4B57-ABCC-F9C76CB21625","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"777fbab1eaa15a06783a0bbd465c24796c8f6e48","datavalue":{"value":{"entity-type":"item","numeric-id":3172884,"id":"Q3172884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206956$7B7BC492-3206-4C19-8963-F528B8387B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6441bc23e743b0af37f31cc5da8b52686a5488","datavalue":{"value":{"entity-type":"item","numeric-id":2268737,"id":"Q2268737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206956$EC06FB99-8B52-4EBA-9EF0-3FDB593A452B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206956$12BC01ED-3A26-4450-8350-12A13314BE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ffc6c4074b8f3bb24fa9a6dc2e41ef291c3b56","datavalue":{"value":{"entity-type":"item","numeric-id":5479273,"id":"Q5479273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206956$AFBF1BE4-FB42-444D-8584-8BCE6A689A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9d05406c8520c743824ba3092f3947dc01da67","datavalue":{"value":{"entity-type":"item","numeric-id":3557085,"id":"Q3557085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206956$B31BD52B-A4C7-4FB0-9CB0-FA3523727576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110305ba8cbf5f6b77f7b57bfd209d6174af2dec","datavalue":{"value":{"entity-type":"item","numeric-id":716576,"id":"Q716576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206956$1190B6A5-3E01-492A-948A-3F7420468DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a177420faefcfce6396fc744cae98a5ec9b03f8","datavalue":{"value":{"entity-type":"item","numeric-id":3992821,"id":"Q3992821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206956$0D51BBAC-EAA6-4ED8-8327-E317DED2D7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f054e00d8c41d716c93e7c6fad80f0d0d75871","datavalue":{"value":{"entity-type":"item","numeric-id":4860657,"id":"Q4860657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206956$49CB3EEE-588D-4BBE-84C8-FFF4DD9CC456","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b884e616fa3408b10f2624cdf544e03c9ee7c19","datavalue":{"value":{"entity-type":"item","numeric-id":2891471,"id":"Q2891471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce035d15cf26147b8cc3c5dde9983bc46537aac","datavalue":{"value":{"amount":"+0.7394903898239136","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":"Q5206956$D490F6D7-C1E2-4355-9E37-340411748AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751e935b2cd35d976df2f1709e3d83b3d0fa2611","datavalue":{"value":{"entity-type":"item","numeric-id":4704760,"id":"Q4704760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c9206a15b2ebfb472ad7e635b591d6e0d47118","datavalue":{"value":{"amount":"+0.7343224883079529","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":"Q5206956$FFF04645-DC72-4E5E-B10D-0ADF500CD138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56491fc49d1028195cb7228b1ed3b7afdcd41704","datavalue":{"value":{"entity-type":"item","numeric-id":2751367,"id":"Q2751367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c9206a15b2ebfb472ad7e635b591d6e0d47118","datavalue":{"value":{"amount":"+0.7343224883079529","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":"Q5206956$1F0A368C-C175-4E9D-9048-E59C8BF6F816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c1815bf0656f13c667314002ab0a2238bf23109","datavalue":{"value":{"entity-type":"item","numeric-id":5479273,"id":"Q5479273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc9ec4a17eeb70eaffdeda86a2854b877a520a4","datavalue":{"value":{"amount":"+0.7222411632537842","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":"Q5206956$40500425-B900-4292-AC32-D5082E3E70F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de5eeb0ff3a9413d84e7a3800362585af93762b","datavalue":{"value":{"amount":"+0.7119482159614563","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":"Q5206956$AC9FD881-613F-4421-A59F-427CC29ACEEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5206956","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5206956"}}}}}