{"entities":{"Q4894127":{"pageid":6923706,"ns":120,"title":"Item:Q4894127","lastrevid":29016597,"modified":"2024-03-05T16:54:44Z","type":"item","id":"Q4894127","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 930362"}},"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":"Q4894127$B756B281-BFEE-408A-85F3-C1AFE06547BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c300b78414f9316bb6dc84d75b24b322bbceeb0b","datavalue":{"value":"0852.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894127$B6B41134-79E2-43E7-B884-7615669B5B7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5866f2312a96c68937ecd247ca8e2756e26159f0","datavalue":{"value":{"entity-type":"item","numeric-id":1201998,"id":"Q1201998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894127$4CA1D1A1-D204-48F5-B5D0-50A0349C3DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894127$E6E09896-7964-4C94-9AD6-8D9A5ED14717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894127$FE21C246-F761-4E6B-B35F-2FC01BB12823","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0271cbeeb928d08d15c68ab78652d82beab9308f","datavalue":{"value":{"time":"+1996-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4894127$23F2C769-06E1-465F-9C6E-4E4377B97692","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894127$A7A2A474-EB3E-47BB-AEB8-DB772FB89787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894127$B20295A4-B32F-4EF9-B4A4-4447AE564C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894127$2BE38205-E803-4DA5-826F-07EF7193E024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894127$A3E8A34B-3149-4C70-BD54-D11BEBC605D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80fa696b6c18ad679a5a6f87d33b6f2b2e491998","datavalue":{"value":"930362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894127$4F21C338-2A1F-455D-82A4-95807408B9E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72408e7175e8f95f895d5003de2d4e1a618fc15d","datavalue":{"value":"classical predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894127$2D7926DA-E2E6-4BBF-86AC-5361D2A85D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894127$C7517F20-B6F9-4FBD-A228-B2F04976C6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894127$A48F1FD3-AAF2-4193-8979-58756992893F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d159edb24bb95c4042e5ecd46128a4c0bc85209f","datavalue":{"value":"first-order predicate logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894127$E52892C7-4F6D-456F-8B17-BD4C7C8050D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894127$E0EDB6C5-2BED-49E4-88F9-34A42F0A0091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"520258b9889bd3663eb9b8c0174c75ed754d195c","datavalue":{"value":"logics with infinitary languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894127$3A0B9D93-507F-41C0-992A-B066EEB3DCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf159a8f08b33f65cdc58b33b95156c9004c761e","datavalue":{"value":"logical foundations of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894127$68A12CC7-2A9F-4A13-BFC1-EA6B0703310D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894127$979EE4F5-4694-4DA4-8A85-6407889A8F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65774537aa8d9b3aa37477bda72e9435e06365a6","datavalue":{"value":"syntactic interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894127$F663C737-5037-42C8-AF65-BAC3EADAFE99","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":"Q4894127$9D7884FE-134E-4CD4-BA98-AEB35BF2BF9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4894127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4894127"}}}}}