{"entities":{"Q3727957":{"pageid":5757863,"ns":120,"title":"Item:Q3727957","lastrevid":50803892,"modified":"2026-01-15T05:57:38Z","type":"item","id":"Q3727957","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3959378"}},"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":"Q3727957$BB910F86-9E90-4A53-B535-AFE3A87B0BA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d181d2178ee490a005bf098f3db8ed73fe0af7d","datavalue":{"value":"0596.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727957$D6C5BA37-2613-4B25-9D9F-3D08EC8C72D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6b4c8e5a626f90825fb5c9b57becb6ed89457ac","datavalue":{"value":{"entity-type":"item","numeric-id":1095654,"id":"Q1095654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727957$46A40841-FF2A-4AF6-8933-375CAE1C9569","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3727957$D86D6CAA-CFC4-409D-B495-B1823DBD930E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727957$C37F1FC9-E91A-4F3E-B415-002621EBCB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727957$919869FA-F968-49EE-A544-DDB74C374563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727957$A9A0E8F8-C289-4BF2-B1C9-6E25160E6AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727957$AB28ED27-7A80-49EE-95A0-E21B59909ADB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"583303dee8ed956a6dc694fc997b456b9f65bcab","datavalue":{"value":"3959378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727957$C5884810-046A-461C-A5FB-EDF2DD257771","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a36dbd2a1775192b1b649f15da273a78acce77","datavalue":{"value":"infinitary logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727957$89FBE444-887D-4750-A4FC-2FE7F2FAA436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727957$B557BD2B-2970-4AAC-A6C5-A41E81139F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727957$935BEB54-3B3D-4D61-8860-4B62C6B946BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"228e82a26d462940b15b7d4e921204264da1b8b1","datavalue":{"value":"complete Hilbert- style axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727957$7D093F65-DE24-4DFF-944F-BD21A7459EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6034d5fd305e2d46a78d4f6ff73cc5870c6e170d","datavalue":{"value":"axiomatizability without quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727957$EBE22D46-943A-488F-A146-6AB494F10D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727957$A5E026D5-0A4E-4B63-B086-14E21AEEDF5B","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":"Q3727957$6364CC59-A7D1-4E11-9EAE-BB7DAE07C96D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4985c9fd9c204152fe3ea40b3af46521c9bde2ac","datavalue":{"value":{"entity-type":"item","numeric-id":3320347,"id":"Q3320347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814d6debad27972cbd0a126e1d240877934f88fb","datavalue":{"value":{"amount":"+0.8019974231719971","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":"Q3727957$B50BD9A0-71D9-40E9-A9CA-B2BEA51BCF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac6eadb73a14cbf8169a11d39b10f78535fd9b9","datavalue":{"value":{"entity-type":"item","numeric-id":3792662,"id":"Q3792662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401851969f9bbc6f344776ee4582941213515446","datavalue":{"value":{"amount":"+0.7929224371910095","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":"Q3727957$4921BF33-4E7B-4455-B82E-903E06590CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efac5f92616a993598950babf59f95f7bdc4fce8","datavalue":{"value":{"entity-type":"item","numeric-id":3678648,"id":"Q3678648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3103783b39877251d10bddb2986662c1ce4016f","datavalue":{"value":{"amount":"+0.7792559266090393","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":"Q3727957$13382148-4973-4A90-953C-2EFD471E91C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22f6d7e523e489ef0a596f6cc8b424319f28cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3709842,"id":"Q3709842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797812b438eaa751d4af65943fd57c1a70028536","datavalue":{"value":{"amount":"+0.7591688632965088","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":"Q3727957$1CD67390-4FDD-4AA3-88A4-B23E641E7A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e874f13cc3f5e9462d79cffaab3c7bd50eead9","datavalue":{"value":{"entity-type":"item","numeric-id":3681934,"id":"Q3681934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fd3533596b9e7c19216856cbb495d32df1dd8a","datavalue":{"value":{"amount":"+0.7526008486747742","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":"Q3727957$CF976103-9C71-4A84-A95B-96631935FFA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3727957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3727957"}}}}}