{"entities":{"Q4507804":{"pageid":6537397,"ns":120,"title":"Item:Q4507804","lastrevid":47513002,"modified":"2026-01-01T23:03:27Z","type":"item","id":"Q4507804","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1515261"}},"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":"Q4507804$D60B4C98-FD05-4A21-8D08-73BBC295C856","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a16263afa95c63dd75212a376787f17eeb85a837","datavalue":{"value":"0959.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507804$FEDE64E1-B1FB-43E8-9000-C4C27EA47E30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91ee56105cf0b4ca2d436df1d8fbe85f59c5c0a1","datavalue":{"value":{"time":"+2000-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4507804$1BA4B4DB-DF07-4002-B148-E71207EBB566","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507804$0602284F-4F98-4CCC-ADD6-28EC47C3F60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507804$16417C4C-53A1-4B98-B577-30234B98F93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6d1ec52031732a7dc8db0752c0fcd99128394879","datavalue":{"value":"01A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507804$55D661C1-BCCB-4532-98AF-815EAC99A949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507804$F3527F8C-F376-48E7-98CD-C4AAC00D59D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507804$5DA9F474-4A49-43C5-9AEB-1AB2C3045631","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a3dc403e267c35203b18e2c5a4fbf6d6aabcf2d","datavalue":{"value":"1515261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507804$A28B2D1A-7EF0-4613-80F3-3A501EEB3339","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$D2DE7B09-841C-4FBE-8707-8B81FC0CB8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$3FA748F0-B856-49A9-BC5D-52A7881E78A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5940a2253f0317438a2a99e0b3d3be03e977b54","datavalue":{"value":"theory of axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$C1671EF7-975C-4050-9ED5-3AA0B6DBE985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$B0D03560-6D55-42DA-9DCF-B7AAB2A020EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1faf8468e79a01663beec97348aa6b18da393113","datavalue":{"value":"representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$E42027BA-513B-49C0-AD55-6804EFE2B6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3505d4a1a47ba6779c1bc97acbae985df00be0","datavalue":{"value":"isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$90CA8ED9-D6EA-47E5-8BA7-BA5F27E1DD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f76f0233061772a2b57616e93692e5eaa4f08e23","datavalue":{"value":"monomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$E2A999E8-071B-4358-A199-5EDD2AFFC96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$67777FD7-5460-4703-90D0-96C8349342BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$00F44964-5C30-4655-A85B-1A49F566C642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3edd8035c315c19a9e6e4c9f779e4c65165fb381","datavalue":{"value":"theory of relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$3B6F4188-E000-4580-AD61-B791BAEA2D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1f7a073452ca9e015eb8e3001df43b03dd5df8","datavalue":{"value":"logicism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$D1CC1FAD-47D5-40E3-A1D2-A994A3020324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a1f0da3b3a9ceea147f0137c46e4c4cdaa2bea","datavalue":{"value":"forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507804$E02AAAC2-F85A-48E2-BB10-124BE46E08C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfa68c2b1a9c2a3b18e4e95dbf066622020e8f8a","datavalue":{"value":{"entity-type":"item","numeric-id":1437053,"id":"Q1437053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507804$D36325D4-1D4F-4105-9237-37571ED8942E","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":"Q4507804$1BF65EC3-1CBC-49FD-8C2D-4A094A3B0C66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7fa5e98170be2ce0ec031c2306dba0b5ff905e2","datavalue":{"value":{"entity-type":"item","numeric-id":4899962,"id":"Q4899962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f43c382ba1c7f9cbc425432ce21133f60d1559","datavalue":{"value":{"amount":"+0.785780131816864","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":"Q4507804$E77AC595-69C6-4C16-BC68-D142BDE51009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9b29eb92a631b852dd033b3ea756fd75b79db2","datavalue":{"value":{"entity-type":"item","numeric-id":1708750,"id":"Q1708750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e53b814ea5e7151b30b21214aceca8781dfa2f","datavalue":{"value":{"amount":"+0.7535155415534973","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":"Q4507804$881D5E5C-F9C4-4E14-9B81-D7DCC8EBED3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ba536e2cfb49c8d04ac7f76e323080eab95100","datavalue":{"value":{"entity-type":"item","numeric-id":2906144,"id":"Q2906144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1df91e8ab047908c1384c31e7e5bb5746428310","datavalue":{"value":{"amount":"+0.7435248494148254","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":"Q4507804$F7FA4EEE-61A5-402A-BE95-0566E3A57A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25556a3d7404dcec795e9415c15251ef19bfea24","datavalue":{"value":{"entity-type":"item","numeric-id":5946331,"id":"Q5946331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3669f10a23b93fd2b377af9c41cde3153c3508b","datavalue":{"value":{"amount":"+0.7170056104660034","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":"Q4507804$9DD72C27-EB3E-474D-BC3A-D02D3C797642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6962958d696454a2cf9abbf00e1c730b6b84aa","datavalue":{"value":{"entity-type":"item","numeric-id":1313378,"id":"Q1313378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d899e0cd9ca51fc8651a761da30ddd64ae6a2379","datavalue":{"value":{"amount":"+0.7135751843452454","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":"Q4507804$937770EC-AF69-498F-8FF2-976BFCE1B1C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4507804","badges":[]}}}}}