{"entities":{"Q6612873":{"pageid":14224030,"ns":120,"title":"Item:Q6612873","lastrevid":57442260,"modified":"2026-03-30T23:09:26Z","type":"item","id":"Q6612873","labels":{"en":{"language":"en","value":"Intensional harmony as isomorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7920759"}},"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":"Q6612873$9ECC1E82-C3E5-4ACB-A960-3149B393FF05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9703273b59a89b9d4c06df9d5aaec95a3b9de62","datavalue":{"value":{"text":"Intensional harmony as isomorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6612873$4605DD83-B424-4ADE-8B1B-19CCF325E9E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5dd7e37e46938ff3d8d7d4af86fc8d1bf3c1324","datavalue":{"value":"10.1007/978-3-031-50981-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612873$6C8176F6-333D-4AB6-ABB7-4793D920F895","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"833b94707d11d9754b30179a565d9345a149561c","datavalue":{"value":{"entity-type":"item","numeric-id":2117747,"id":"Q2117747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$A5B5E0CD-288A-4821-99E6-9737B5AEB51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff00a37020abfb1072c98141396d6673e6995d93","datavalue":{"value":{"entity-type":"item","numeric-id":694490,"id":"Q694490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$45ECABA5-CB62-4E46-A7D2-169ABAC8D9AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9920dd23d0b992023e85fc96356e313613230508","datavalue":{"value":{"time":"+2024-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":"Q6612873$8DB70F78-723E-4C91-8B91-D0852708B925","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612873$126841A6-520E-48B4-AC12-5F188D8B6D0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"841faa45c726c84d567c17b722218319af91c795","datavalue":{"value":"7920759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612873$DBE06C5E-76FF-4740-88BD-EA858672B180","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdeedfbe2cc116d22a334a3935e3954c6415bd6c","datavalue":{"value":"identity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612873$DFC53CA2-0D2C-4E4B-BA34-A905EDA941D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f978daac89527e0e5d0b756742ed1dbc9f451b","datavalue":{"value":"equivalence of derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612873$6923E1E7-6108-4458-8E7B-EB4EC7B56C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612873$E1B0F9B0-FDC4-47D0-AB01-F34803BE4E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612873$EF1C03ED-6EE4-4728-9596-DC135978278D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826cb17a61389397478ca005848e294acb35a0eb","datavalue":{"value":"system F","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612873$23B952B2-0123-438B-9A00-FCD1B432FBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612873$AB703128-9A9B-42C4-A9A4-06628FEF16BE","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":"Q6612873$DDE5B0D1-2D7A-445B-B5F8-898A18D8A51B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$1CD394B8-B486-4D06-92AA-BEF5CE595F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df5064c4cd62495b137a4dd525be1a9717c050df","datavalue":{"value":{"entity-type":"item","numeric-id":571213,"id":"Q571213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$4F572332-46CA-4242-AD40-1A5593FA82E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9f006d727f3acf3298f51fc9745240df942ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4650310,"id":"Q4650310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$D8A22AD1-B0C4-40BB-BD2F-660393D7720E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f12726e90794380dd81264e93de3b1d3cf4f88","datavalue":{"value":{"entity-type":"item","numeric-id":4916173,"id":"Q4916173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$6656C907-E31E-4494-856A-652238D73D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$BA76EDD5-26D2-4F94-8FF6-85A76F079BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219c1bb96cecb67d33cca75f9ca3069dcf90679b","datavalue":{"value":{"entity-type":"item","numeric-id":1606917,"id":"Q1606917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$83C73A14-719A-4455-8ADC-630EDF218B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0960af88a219be75a74665ab7538b65eed52d581","datavalue":{"value":{"entity-type":"item","numeric-id":280200,"id":"Q280200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$385D0EE4-6E00-4BBB-B067-51119F37EFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b2db17a8a957ae7f7e516c41f7cb9901e61f95b","datavalue":{"value":{"entity-type":"item","numeric-id":4635638,"id":"Q4635638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$0FC868E5-24B6-4A57-A59D-A5A7E9DEB37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80be655ea2068c75ffb129d49e2a04a12b4cd9ec","datavalue":{"value":{"entity-type":"item","numeric-id":1314360,"id":"Q1314360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$DF91186C-4A98-4B24-8B99-FDE73D776015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00008b4232b38610c91158c514082f3892081a12","datavalue":{"value":{"entity-type":"item","numeric-id":4704206,"id":"Q4704206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$1EAD0DBF-3285-4A86-94ED-7F6CDDE5C315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd727e431a0612239ab93fd34fdbc2b73d957f4","datavalue":{"value":{"entity-type":"item","numeric-id":4637941,"id":"Q4637941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$5DC3610A-CDA1-4184-8B4E-EE93606E6CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$4287B0F2-71D7-419B-8F86-569EDEEC231E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$6EC3740B-C6FC-4535-9F52-8D5D9A584835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c184dd6d98ab919424ff261c66d8446cc64a28c1","datavalue":{"value":{"entity-type":"item","numeric-id":4192055,"id":"Q4192055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$8F7F420D-F152-4847-BB24-3E32BFB56CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e305086dbb5d7eb2e70b336cf8b6d4f42f1e2d","datavalue":{"value":{"entity-type":"item","numeric-id":5370875,"id":"Q5370875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$AD08A124-F95F-4208-831B-06B1264E4C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4661468a127bf992bd354e4286421faab253fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3661478,"id":"Q3661478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$1C6F6B3D-171E-4119-9337-8E796FBBBB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$E57E00EE-723D-426E-940B-7F3F9C3D252D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0875aa1a95c9b83c4f38fc2058fc836f0c3de42","datavalue":{"value":{"entity-type":"item","numeric-id":2259011,"id":"Q2259011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$D76DA133-861B-44A6-87AB-41FD9DFD1D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e9e998159715183fea9c2d3ef9cf2a541c2040","datavalue":{"value":{"entity-type":"item","numeric-id":5864209,"id":"Q5864209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$8BC96CAC-4529-4F08-A38B-9109BA85C54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2db2ba829b037cf2efb18b93f4aa34513a9246","datavalue":{"value":{"entity-type":"item","numeric-id":1838563,"id":"Q1838563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$941317AC-6C57-4A87-AF4E-CB672ABB11B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93f973f98b4638e8fbd5879c5084c6be77b8024","datavalue":{"value":{"entity-type":"item","numeric-id":3322071,"id":"Q3322071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$9C9D4BC9-7345-4C83-8A27-1BBF21CC8E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036e5c22d0346ebd8afe2f0065acf9457584fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1566861,"id":"Q1566861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$870423EE-94FA-4B73-BC34-15BFF45ADA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$3F403F50-1FB6-4725-935A-C755F9F6FB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ba3bf1ed93a75b2b881f77d76ba5030cf5a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2339006,"id":"Q2339006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$F683B64E-64C4-4132-ADE5-1A43374FDB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f438116a01398ab16f739ed0a52e81c33b7bfb","datavalue":{"value":{"entity-type":"item","numeric-id":2695033,"id":"Q2695033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$829DA29E-420E-41DC-93E4-BCA13F1300B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a406e086e1f9a6620270b8ea6107ee488883c73","datavalue":{"value":{"entity-type":"item","numeric-id":5739972,"id":"Q5739972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$B99C8137-C39E-438D-A8B0-DD9EB368B503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4add67d37da67ecb779b5e47f9ea60dc9ee587b7","datavalue":{"value":{"entity-type":"item","numeric-id":1633237,"id":"Q1633237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$AA7B9897-05FE-46A1-A49E-F7AF7B637A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6853a9537341e883738cc0ed5cbba1c3e2b1bf","datavalue":{"value":{"entity-type":"item","numeric-id":2288280,"id":"Q2288280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$64AF4F0E-C37E-4BF6-BF34-DD4BC5AD6B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8eb702959acaa970a57c99338f253dbd7414149","datavalue":{"value":{"entity-type":"item","numeric-id":2631649,"id":"Q2631649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$41352ABB-FA5C-41A1-BFE0-C8494FD77966","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612873$2A19AC1F-5BA3-4F68-8023-B46DDB40B755","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6612873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6612873"}}}}}