{"entities":{"Q3912567":{"pageid":5942472,"ns":120,"title":"Item:Q3912567","lastrevid":54969505,"modified":"2026-02-02T09:32:45Z","type":"item","id":"Q3912567","labels":{"en":{"language":"en","value":"Applications of Many\u2010Sorted Robinson Consistency Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3724429"}},"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":"Q3912567$4D27EF74-B64C-4860-B359-BD279CDBF3CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d8f5e7833f3da7d88d381f544db47835c211745","datavalue":{"value":{"text":"Applications of Many\u2010Sorted Robinson Consistency Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3912567$4DD4D0AD-C7B2-44BC-AE1C-833331BB272D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8abd480f73ab2712084aab342f88abfa2a25b67b","datavalue":{"value":"0463.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3912567$B2FB9766-ABC9-4F80-8F87-8F61F5BC6FB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3912567$C9068CC3-8800-4B84-A366-6C34AD322BDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3912567$3CABD3CA-F811-4582-998E-CFEE8B3F840B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3912567$FE95FF1E-A6B2-4462-8318-4514B1614739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3912567$0EF6E669-0642-4EBB-AB19-BE025E4657A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3912567$CF437C74-10B3-45E6-9810-B26D66DB23DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3912567$61EB4F27-8012-4748-A8CE-A0C5BA8976D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3912567$F6DCC0CA-0F52-4B08-9DB8-A05228965DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3912567$C8F2416A-3796-4A2E-964E-D30B7E673D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3912567$D36ADD38-5FCE-48E1-8485-5F35536B7801","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3ee85f9540f28c6ebf5a34982f44fd8bcdcfdc2","datavalue":{"value":"3724429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3912567$98E9D8C2-9388-4019-8318-2676A1F0D185","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2adf4ada3d3160eda079dc44d15d38273672034e","datavalue":{"value":"logics with extra quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3912567$F462760A-BB0B-4B84-BD93-79942867E3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6d8e4f1ad80f11fd4d66a9bbd9342f65ffa3ade","datavalue":{"value":"abstract compactness and interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3912567$FAC29F1F-410B-405F-BB70-E80415C2B709","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":"Q3912567$EF2B7A6F-D735-4C32-949A-B58F4A9718C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15fbf0382d8ced533ab71922f17611fcb6bea62b","datavalue":{"value":"https://doi.org/10.1002/malq.19810271103","type":"string"},"datatype":"url"},"type":"statement","id":"Q3912567$53891B3E-3E78-45A0-B55E-8C4F6B3CB40F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7145520d9e8d503aa493e5a502d74a5e63088e95","datavalue":{"value":"W2130796080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3912567$3145C762-55A8-4CA6-9805-180F7A2CD92D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0467550b7c6138a9164d8894ac7069459cb5f435","datavalue":{"value":"10.1002/MALQ.19810271103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3912567$FE6B4044-DC6D-4A90-90E3-30E21A82E130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3912567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3912567"}}}}}