{"entities":{"Q7317482":{"pageid":31318582,"ns":120,"title":"Item:Q7317482","lastrevid":105110215,"modified":"2026-09-17T09:33:56Z","type":"item","id":"Q7317482","labels":{"en":{"language":"en","value":"\\( \\mathbb{K}\\) definitions as matching logic theories, formally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8243904"}},"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":"Q7317482$F00F8DCE-1728-40EA-83E5-09C62E4D18EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36d113b05404af23f45e50da362c7a571917f887","datavalue":{"value":{"text":"\\( \\mathbb{K}\\) definitions as matching logic theories, formally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7317482$31918BDF-47C1-45FD-BB2E-82DCA8ADB431","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c02953cca4731511ba5ea348fb534d5be3f284f","datavalue":{"value":"10.1007/978-3-032-22730-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317482$7D06EEEB-FBA4-40C5-90F7-5916F4D19179","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27d69fe091667616cf647bcb37bd9e4766720550","datavalue":{"value":{"entity-type":"item","numeric-id":480784,"id":"Q480784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$709BDFD4-503C-45C9-9AC4-3FB4FF8274EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8223a1cc94d53c53da1884b9915563b92aaaa82b","datavalue":{"value":{"entity-type":"item","numeric-id":2697003,"id":"Q2697003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$04CFEE81-11BD-47C0-9FE5-5E7BA16F0AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$29F0D490-779B-4B9B-9ECD-7DBD500569B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$1367F999-60EA-4BF0-8CE3-C5B116F080F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"679b4e0b22b8f0492481521a42d04ad8739e3203","datavalue":{"value":{"time":"+2026-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7317482$384E0E83-1F93-41E4-9E7D-5F6313087C58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317482$A4E9416D-0BEA-4771-8194-4587880EA198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317482$AEAA7CDF-D7FA-4248-9E22-17434D8815CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10afe9c30989d47dc6f660d1f05b442a7d4926ee","datavalue":{"value":"8243904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317482$ED6D9AA2-5BE3-4F9A-955E-70B5FE354C43","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$B69F65F2-E489-40F5-84E8-41AFF0F26BBB","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":"Q7317482$7A26B4E7-5C8E-42BF-9A5F-3D5DA490B945","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$6F0A8C6A-5913-4F5A-8511-011C3B0ABDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a7a357eb6113b166cb4bb85e076f679569ab25","datavalue":{"value":{"entity-type":"item","numeric-id":2819831,"id":"Q2819831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$FB70C08B-B5DD-4ECD-8B36-4B6B5D8631ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8c0e86671d44aaec58cb58488f90dc4b13c2e72","datavalue":{"value":{"entity-type":"item","numeric-id":7320675,"id":"Q7320675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$91CE7330-3C7D-4E73-BD25-51911C0291E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c97133cd3f4adca23df093d2ee4e318c2e47802","datavalue":{"value":{"entity-type":"item","numeric-id":832282,"id":"Q832282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$28A6F876-0A8B-4040-8128-4326CE2B0DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1090e201483226850d089b8ad409eed4ba0cad1c","datavalue":{"value":{"entity-type":"item","numeric-id":2035650,"id":"Q2035650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$B11EB453-2880-4D79-9A84-8076556DE27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae40bf7c9ca29e5a292c3f2e90b2185c1e061304","datavalue":{"value":{"entity-type":"item","numeric-id":6654486,"id":"Q6654486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$EA2ED105-7D0F-4326-89D1-092A62CE7583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d038ef42dda5d2e6f5333c278bf498c030a6211","datavalue":{"value":{"entity-type":"item","numeric-id":6829771,"id":"Q6829771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$80FDA72B-5B39-4102-A27C-7A95FAD31A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec914e13778f9f7efd28b1b1c29a040fb309cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3655271,"id":"Q3655271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$84F4587C-6003-40D8-8DFC-E36CF88B87F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$BAD2A86B-2308-4420-AD19-8CA0707B74B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$7051813A-3125-495C-936E-A37652790A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$1C32F13B-B725-45E1-B860-78529454511E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27db9e9581a3654ef6548465f8344084772f1158","datavalue":{"value":{"entity-type":"item","numeric-id":2324001,"id":"Q2324001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$93EAD9D2-3378-476A-BD9D-7DC504B898C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac21557d803c5a4877d0b0335294fac14ee919","datavalue":{"value":{"entity-type":"item","numeric-id":4600770,"id":"Q4600770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$0360D9F2-3E73-48EF-9BEA-21B55E64EC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$4ECC9CC3-84B1-4296-BAB0-B4EAA9081720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$5D69C4B3-AAEF-4497-8C2B-58B39B5EDE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4684db3cf2c851b921520e0cad4c1ac269d28ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2918990,"id":"Q2918990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$6132479A-A6EA-4424-B1B5-285CEAD549EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b5f9759fef698de8ef6ab62194c64bfc02f14e","datavalue":{"value":{"entity-type":"item","numeric-id":2778890,"id":"Q2778890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317482$77DD167D-6760-4758-9B65-4C7ACF318689","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:7317482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:7317482"}}}}}