{"entities":{"Q1257471":{"pageid":1268221,"ns":120,"title":"Item:Q1257471","lastrevid":70014930,"modified":"2026-04-13T11:51:19Z","type":"item","id":"Q1257471","labels":{"en":{"language":"en","value":"A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3630708"}},"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":"Q1257471$42B82209-5F35-4FED-908D-D660E0E3E6A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d232b49f1b6f8fbce93d336820f3a164a1ba39bc","datavalue":{"value":{"text":"A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1257471$BC6C916F-AE32-47B7-B589-64405380C25A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7df2c85fd6c6f665b3b59ec292575317582129dd","datavalue":{"value":"0406.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257471$D241397F-1BF7-487D-A708-E3B8949264E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfd8577a33c498adaf7bfd9d32bd405062923639","datavalue":{"value":"10.1007/BF00370439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257471$EBBB6783-1B7C-4C06-84D7-B3AA0DB0ADA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2c9310ba4403f502f62bb76aa7c520204441b8","datavalue":{"value":{"entity-type":"item","numeric-id":358689,"id":"Q358689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257471$E1263C64-7BD3-4E29-BB18-A92F19051D60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257471$801509D8-C3CD-4AEE-84CA-20E6FE21E768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1257471$C3841686-D20C-4A0F-922A-0E2A8684941A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257471$B423C9CE-01A0-4952-B41E-4742FD1D6759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257471$4D918184-A87E-4E6D-A8C1-E36DA64DE3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257471$E067DD27-BF37-4083-92E5-67276A84827D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257471$162FBDC3-BE14-4C1D-B986-6A24292FAF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257471$9AA17F29-A907-4A86-A2AB-DCD1A015A7AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc1e73241202e88e9910c1b48186ebb62dc70547","datavalue":{"value":"3630708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257471$BC6B4631-A8B5-406B-A60B-1F4222C247DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6417168c93a99808e263f878c4ff296a8ee967d5","datavalue":{"value":"Three-Valued Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257471$04C71B4F-CDB4-4F42-B93B-B8FA81D6E4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e017e720115e4dcc64fa12a27214222e3f65af41","datavalue":{"value":"Model Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257471$46C4B648-EFF0-458A-BB69-10F650726375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a08dbf85f718c776b9ba8ec0b2396d380b3acd","datavalue":{"value":"Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257471$40C84980-8822-4564-A4FA-C57C261BC17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b812cba1d3e58a4a56d022cbfa90469629807e","datavalue":{"value":"Type Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257471$A534B918-AE33-4350-9DBF-BD87879AA6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5246d0ad4121b7eeb59100ba16882b8365a3c0f","datavalue":{"value":"Relevant Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257471$DA993C04-7D34-4A84-8ECC-731DDE225F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a531b609de5cc4866d32f3f5896190f29947e64","datavalue":{"value":"Consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257471$D757D277-9535-48A8-ADBC-51E05F011C30","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":"Q1257471$94612164-68C6-4BE0-BF48-31B264BD24E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257471$26A2B373-52D2-4A6E-AC48-B53FDBB88A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257471$1F02A199-1B33-4B2E-A6DB-F1419BBF1542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"455e580484c24f3d02b9fd38a724536f13b4b19d","datavalue":{"value":{"entity-type":"item","numeric-id":1226480,"id":"Q1226480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257471$C9B6DB46-42F8-4578-9AC1-71A44D5A56F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00c048de3a88d96b6f40b230504fc727def866e","datavalue":{"value":{"entity-type":"item","numeric-id":3236674,"id":"Q3236674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257471$9E80B543-89D4-4E84-9E13-DEFA56807B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ba3ea96d89c1181d699d16adfb5d07cea2af8e","datavalue":{"value":{"entity-type":"item","numeric-id":5585364,"id":"Q5585364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257471$F444344F-6B25-4FE2-B964-12B7FF6A381C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f82b58ea8413e4adfe5d8f5b6a6b06fa6f1b3f3","datavalue":{"value":{"entity-type":"item","numeric-id":1394338,"id":"Q1394338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257471$F5889154-DD19-4C40-935B-5444183EE77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f992c28364a0b564f47c2bce87a027c7fa20db","datavalue":{"value":{"entity-type":"item","numeric-id":758985,"id":"Q758985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257471$8ED5EC17-11F7-4BAD-8739-2273AFCF2914","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theorem_in_3-valued_model_theory_with_connections_to_number_theory,_type_theory,_and_relevant_logic"}}}}}