{"entities":{"Q3939271":{"pageid":5969176,"ns":120,"title":"Item:Q3939271","lastrevid":55043290,"modified":"2026-02-03T03:03:04Z","type":"item","id":"Q3939271","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3755911"}},"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":"Q3939271$2A63F9C9-6F4C-4987-B117-72022CB03376","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"917a79e7f1ce329bb97a76fd920690a99cdba16f","datavalue":{"value":"0481.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939271$84ABDC54-87ED-4CB7-806B-B3E66F3D892A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"237e66ed3a5f704af046532209ece27c956c02ff","datavalue":{"value":{"entity-type":"item","numeric-id":685470,"id":"Q685470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3939271$BCEA771E-0D8A-4BF8-99E5-8749B920B6A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3939271$ED33BB6A-2FC5-4702-8928-9F60FE0D2E6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939271$E0E5D31E-8786-4882-8CE1-B2D9FDA75FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939271$CAF5F1A4-3BA7-4939-85C9-F9648ED10251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939271$16698ED8-E4F3-4431-A3FE-79B79B8FD97A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5955e7952bdcb8e1773850e260b9a7f1b534d941","datavalue":{"value":"3755911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939271$8A1C0514-8205-465E-B141-F401BADEC2B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a70146c5c18ee49fcf63fd60925116ace35b070d","datavalue":{"value":"function-free first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939271$5958C97E-2302-45CE-9F8F-54ECCFDEC1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"077116a664f2615c9a4b2c42ec3783a99029d9a2","datavalue":{"value":"extensional database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939271$D7ACC578-6432-4F64-BB09-1EC200658801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94e9fce0a7d33476dada538cfb95e1153aee4ca9","datavalue":{"value":"intensional database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939271$339B66EA-29D7-4C25-A065-D45F31AB3307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06dbdd17c579835b9a14cdf65e8680f6405d60f7","datavalue":{"value":"resolution-proof techniques over connection graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939271$9A3C1A85-5E42-4819-B710-D5CBCB4A16D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"999be1e1acae33706aab61d627fe9d5bafea934a","datavalue":{"value":"program of retrieval requests","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939271$27D2F229-4957-4534-8D3F-45809A47817E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74473800caa00ca2354e3822045142f9adaae316","datavalue":{"value":"relational database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939271$7E797B08-4041-4FF1-8E75-2689D23AB838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f8c1da089c41652b32c777782bcdc739795e13","datavalue":{"value":"first-order Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939271$3AE08210-C75E-4D0D-9441-FE4F0B2370C0","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":"Q3939271$BB6CE524-6574-4256-B816-92502178882C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3939271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3939271"}}}}}