{"entities":{"Q4885625":{"pageid":6915204,"ns":120,"title":"Item:Q4885625","lastrevid":47403709,"modified":"2026-01-01T15:48:25Z","type":"item","id":"Q4885625","labels":{"en":{"language":"en","value":"Inclusions and subtypes I: first-order case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 910480"}},"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":"Q4885625$FE560884-184B-477C-A20D-19BD4A82136C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"202945aa1f8fdd9de614ddc652ada6adce515641","datavalue":{"value":{"text":"Inclusions and subtypes I: first-order case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4885625$581BBB4D-951E-4ACB-AD5F-0DA0C90B21D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"980f2f9b7b10279968cd1f08e90133ac5c967cfc","datavalue":{"value":"0931.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885625$4AEDE6B7-F13D-4A5C-ACB3-DB9E2E7C473A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4885625$2511E23D-FE7F-4118-B7C9-DFBDFB90A1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4885625$D8B1FAFA-BBEB-4996-A659-C017B1B29708","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38736b16377d65c133558922b8d6a1a038ca7912","datavalue":{"value":{"time":"+1999-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4885625$AF9E476B-CA91-499B-8120-16DF4D291866","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e1064eb0cf0e00c9aefe9e706a219c8c567bef5","datavalue":{"value":"https://semanticscholar.org/paper/400acae3551ee7874606f95cec5c8cdb800e13f5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4885625$5173EE8E-7EBC-48BB-8275-903964B5043D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885625$B6DDBBA7-4918-4A28-8AB8-42328C23A603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885625$6CC02E62-534B-4080-BB12-4C0F8619E88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885625$C965AE38-701A-457F-88FB-4E16E0EC777B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58e0c871713d129fa425ec29cac7751561c72428","datavalue":{"value":"910480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885625$A7FA790A-20A9-49BD-81D3-217807C08EF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b89d8abc36510bb4d576266c87deb27a7b7b09da","datavalue":{"value":"subobject","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885625$9FFC431E-A365-4202-99F5-6BDF04489E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08ca963d26bc1a30807d01dd3d48be7959a36341","datavalue":{"value":"subtype as inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885625$DA165F4C-D107-4273-B476-E515E466C8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca25eaa0211b0d0c6288069e19fb2d8a16753861","datavalue":{"value":"subtype as implicit conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885625$E2A3F637-5F59-441E-9CD4-B32B8C127C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885625$8C865A2C-CB88-4DC2-9E78-C4AD2F2B8713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca49b7679db5fb9c2d86f821f312169b345614aa","datavalue":{"value":"first-order equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885625$F651C56E-0BD0-4DC6-897F-964795D95B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885625$BF08CC45-B8CB-4D24-B4F6-6E56628B32DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32706d3cf5c0180dcd1b9d83daad32cee9c1125f","datavalue":{"value":"adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885625$860A936D-7567-433B-A463-6A9CCC02DCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dff5e7fc1577c821dc99caf3095ec122b16e6040","datavalue":{"value":"theory presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885625$D45473C7-D838-4083-B55B-FD1166D127B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64530bc5b6c7b365bdbe986a8466553b2ec453e9","datavalue":{"value":"model categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885625$95E5ABD2-B33F-4E25-B2C3-0743323EC536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb1ac66ef737a0a7f0a4be220e54404f698fead6","datavalue":{"value":"operation overloading","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885625$1E256561-BADE-4479-97BF-9AE4BE3228B9","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":"Q4885625$DEFF57CC-5463-4282-8A2C-D16F78556C0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71db96c56e5b01bdb49565caf4dc043e77f84870","datavalue":{"value":"W1980498809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885625$AC54181B-7C90-4DCD-BF53-EA5A275C93EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ce57d8806fcd15969f137bd7b71793d35cd19dc","datavalue":{"value":"10.1093/LOGCOM/6.3.409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885625$9777FBC9-42C5-42E5-9065-3F2D38CFE64E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4885625$FCB6E9D8-C5F6-403A-A172-BD6194A3F75F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bf0d36d749e91dce63892337f523a6100c1cbf","datavalue":{"value":{"entity-type":"item","numeric-id":4895548,"id":"Q4895548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8eaa14069b1ed8fc1908c29d1f4204c76476e8b","datavalue":{"value":{"amount":"+0.9243623614311218","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":"Q4885625$B3FF5690-EACD-43B5-9213-D47E61E74052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d92dceb269c65cf39dff28b8770a29ee637fa22","datavalue":{"value":{"entity-type":"item","numeric-id":1177151,"id":"Q1177151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c60ef07bcc7c603a5ddbf1f05bac6537fde164","datavalue":{"value":{"amount":"+0.7637136578559875","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":"Q4885625$E8191A3E-01F3-420D-ABF1-D97025AF5E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1df1567701ced62c33c1c3e96d454812ef2f414","datavalue":{"value":{"entity-type":"item","numeric-id":4222927,"id":"Q4222927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c60ef07bcc7c603a5ddbf1f05bac6537fde164","datavalue":{"value":{"amount":"+0.7637136578559875","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":"Q4885625$E852FE27-DC67-43F4-A4E0-CBD5E12AC962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53facd2fa443e736e0cad757fe7e0f6d3112630d","datavalue":{"value":{"entity-type":"item","numeric-id":3768870,"id":"Q3768870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"979cb228be0a66e5161895c34d426819accfd9b5","datavalue":{"value":{"amount":"+0.7635946273803711","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":"Q4885625$26A30784-9168-4A8D-A71C-681711CE53FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3821927c64d0c0ba421c5ec62acc1c2def4a813","datavalue":{"value":{"entity-type":"item","numeric-id":4703042,"id":"Q4703042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cbda6035291af15336881cdf1437c06f3dd6552","datavalue":{"value":{"amount":"+0.7475202679634094","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":"Q4885625$3CDFF975-9D0B-47F4-BDAE-44441580B37C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4885625","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4885625"}}}}}