{"entities":{"Q6161232":{"pageid":13296113,"ns":120,"title":"Item:Q6161232","lastrevid":57126762,"modified":"2026-03-26T17:25:08Z","type":"item","id":"Q6161232","labels":{"en":{"language":"en","value":"Combining higher-order logic with set theory formalizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7702726"}},"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":"Q6161232$F53EADF5-2183-40D4-AF8E-502093E3CB91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d306083b9cd5035b0ed7f2c858536320aede838b","datavalue":{"value":{"text":"Combining higher-order logic with set theory formalizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6161232$3913C0EB-D8B1-4AAA-B354-5D45C21FA746","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$1083CF1B-AE6F-4DA8-B554-E5FDEF5B78C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91705e7e82173950109985f05602a2e2cc8516e0","datavalue":{"value":{"entity-type":"item","numeric-id":286804,"id":"Q286804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$2CC9E39C-9B49-44D1-A724-79F1E1B3404E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$EA19C5A5-E427-4679-B624-F7378F747F79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52958a1a3302f5b699063490fddb5552c7118c47","datavalue":{"value":{"time":"+2023-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6161232$228FFDE1-16F6-4003-9CBE-DF7CFD3E8A43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161232$9FD6C997-5FA1-490F-A6F5-F6D3742A0D17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d39765a76fddb0c1f025c382c8cd40e190f857e","datavalue":{"value":"7702726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161232$1E897C8B-7C23-4402-94E1-BE1D840395A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161232$3CF5E5F9-F0D6-4C14-A2F8-AD52D48D135D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161232$9CE50B1F-65D8-402F-87A1-31CE5FA86028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6a2a43681c9b51a16caf3db6a6aa7e6ad53fdf","datavalue":{"value":"transport","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161232$C0DA2D14-5814-4824-8DB3-5D8F4302C4BD","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":"Q6161232$76747261-182E-4A6E-B52B-7F8662B6E6CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d21a74855a464ac5c16a8bf04df29abcfc765f60","datavalue":{"value":"https://doi.org/10.1007/s10817-023-09663-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6161232$9981E224-602B-4998-B673-DA6035680E78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2e2bcced0b6a4dc0fce15dba8754b5803a70c81","datavalue":{"value":"W4377965362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161232$6AE72625-47E5-4E7E-9270-B70B4DFEC15A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01842406e5a45c869ae6b85179d666cfdab3bd19","datavalue":{"value":{"entity-type":"item","numeric-id":5253928,"id":"Q5253928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$4141E4EC-5D80-49A2-83DA-1FF11D2E8455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$F39E3ED9-E1C2-444B-B40A-DC42F2AA40C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2474dddf4d0718a97eaa90dc970e977a75057fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2319981,"id":"Q2319981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$A3493384-636E-414E-B803-47CF1F760760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bc73e3351b113a1680b6365fb1851ae1d25213","datavalue":{"value":{"entity-type":"item","numeric-id":3453102,"id":"Q3453102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$B087E2B0-B6E2-4C39-B49F-C17F72F88A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34aa6e8dd44d61c6842f9f59d3edf69a4c70e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5875415,"id":"Q5875415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$B0073C1A-FF19-4B28-8F5A-E95F40A433CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e05ea58f62da680934df3cc5014ef80a73299db","datavalue":{"value":{"entity-type":"item","numeric-id":2287897,"id":"Q2287897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$59B1393D-99C1-4AD4-8D66-72F08D437A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9660934c4dfb287417da637d46414e83ae767c82","datavalue":{"value":{"entity-type":"item","numeric-id":1868506,"id":"Q1868506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$D8A80807-0DC8-43F9-9D4C-843C38E90CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7df3906eae3c2b887cc910e28b2339b9830fc52","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$32AE7040-81FB-405F-8E98-2EF60B831F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975193bacb8a76ff06ca8120b2a0330b2e6ef627","datavalue":{"value":{"entity-type":"item","numeric-id":5919010,"id":"Q5919010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$5035725C-7048-4D7E-BC69-434403A16116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95e6f4239597f494af058b4706d90738a0b9a69","datavalue":{"value":{"entity-type":"item","numeric-id":3460068,"id":"Q3460068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$5C20864A-CC1D-460C-915F-F8300B321645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2e8f4770b19dfe4ed5db70d9e22ebf6c799bda","datavalue":{"value":{"entity-type":"item","numeric-id":1640642,"id":"Q1640642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$CD197AB7-308C-4E30-839E-6183DB6D6262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$BF6D8277-7CB7-4C76-8C11-B8FCE1845F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$67BB2F99-5C71-4272-91AB-EE02B52F8FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63983f76bcac6e0c986bd71036b36fda64f6bd04","datavalue":{"value":{"entity-type":"item","numeric-id":977177,"id":"Q977177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$6E4F1CDF-D8B7-4A90-87C4-B77EC578D20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$690EF870-0F68-479D-93ED-76C12A7065B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$5AC1BD94-C22C-4F3F-B825-438A64F4C1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c55f09c39173f168f9ee166ab49eb8e620c679","datavalue":{"value":{"entity-type":"item","numeric-id":5477651,"id":"Q5477651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$441286CC-4025-4AA3-94E9-99AA077F6E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$37C878B2-C49A-4237-A977-1CDFA65DFEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4bda10af2e87b39afdb3a3aad9bae730b307c5","datavalue":{"value":{"entity-type":"item","numeric-id":4628488,"id":"Q4628488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$96BF4247-9DE8-4438-9398-56080ADFE450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3664b6907ca78dcc7471c19ca41bf9ba07ff81c","datavalue":{"value":{"entity-type":"item","numeric-id":2323445,"id":"Q2323445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$6E0E132D-BA05-49B3-B52D-C51619340BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ce30dc10f3e0497c37db12b8b2a82dc1bc9767","datavalue":{"value":{"entity-type":"item","numeric-id":5875449,"id":"Q5875449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$CD8E2936-76C3-4B5B-9F82-AE04813F381C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1a0dcbfc561e1e5ffac774e9501a5c3c966797","datavalue":{"value":{"entity-type":"item","numeric-id":1722645,"id":"Q1722645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$E9FB9FC1-EA43-4A26-8479-635A8D30B140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd5dbcb38b666776488131e5bf9d829be1c318c","datavalue":{"value":{"entity-type":"item","numeric-id":6079227,"id":"Q6079227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$5F1C4545-BFB8-4A7F-909F-8EBE36EA3044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c913a72527b57ea467866b24b8cfd23fe78226","datavalue":{"value":{"entity-type":"item","numeric-id":5747659,"id":"Q5747659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$52B82455-FF1D-4CB9-BEAA-EC2094525C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12145c5e201ee3f7759ed285759c2b5f5112ba5a","datavalue":{"value":{"entity-type":"item","numeric-id":1739909,"id":"Q1739909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$AE9F226F-AB7E-4AC8-9260-7B2E6769EAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39c7a736e0e2ac275eb08aa4f632c9e6e208158","datavalue":{"value":{"entity-type":"item","numeric-id":2364703,"id":"Q2364703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$2439D4D1-5F67-4D99-A5EC-A7885E87E923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40624b38a7faa4c6c832521e0945c8bffefa2bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5055493,"id":"Q5055493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$2B81CB76-5D7B-470A-BB4A-CD826447F7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$E357D692-FC9C-41F5-B67A-65248CB30DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c2de221e3b126781b22b880228fcab371b66f0","datavalue":{"value":{"entity-type":"item","numeric-id":3525155,"id":"Q3525155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$9B6B4CE5-F2E1-42BB-A60C-2A3B59BD55AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b639cba4135cf63c741ea53febe1888956d5b23e","datavalue":{"value":{"entity-type":"item","numeric-id":2865745,"id":"Q2865745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$83A51384-03F8-4B68-BA22-00C3B3516595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304f75c151f80fcac7f593c768b36c06de8b16e3","datavalue":{"value":{"entity-type":"item","numeric-id":467807,"id":"Q467807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$7CDA8D6B-7FCB-4EED-BC48-B6E0E48B8E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de19fe14cb9bc4a1be2b032722a8384e976cd1f0","datavalue":{"value":{"entity-type":"item","numeric-id":502702,"id":"Q502702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$00B55BB5-623E-4CC6-BD84-C3131A8B8E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27bc65ecd4b8466f0459f6ce2818c690e76ea0f2","datavalue":{"value":{"entity-type":"item","numeric-id":2113837,"id":"Q2113837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$56CF931D-8695-4F41-B1E3-41D8AB10320D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$E04FF22A-47DE-4703-8CC5-E0BCA27012EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$D815A3E7-3B37-4EB4-99BC-F6D1A982FC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33986f59fa18cd060155d2e9e24a78d8bd71490","datavalue":{"value":{"entity-type":"item","numeric-id":3133182,"id":"Q3133182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$58A21F76-1A81-4A89-B73A-861D7599ECA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c6d0109398bd1f94e64526a7240bba3d26bba7","datavalue":{"value":{"entity-type":"item","numeric-id":3100202,"id":"Q3100202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$32C427CF-3394-4F03-B369-554DD56CF792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81087b834bd0f0342fd52d99726619dd5c97caec","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$9380E815-BDCE-41C4-9CCB-EB3E559E2D54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88ff2f01ef2f90c66d72cdb0f7dd0590af3540f0","datavalue":{"value":"10.1007/S10817-023-09663-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161232$FCD1A935-1789-4F26-A432-CC98EDE53635","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161232$1F52CA6A-9AD0-4F63-993D-45DCEF44FFC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6161232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6161232"}}}}}