{"entities":{"Q1381432":{"pageid":1392172,"ns":120,"title":"Item:Q1381432","lastrevid":70290819,"modified":"2026-04-13T13:46:25Z","type":"item","id":"Q1381432","labels":{"en":{"language":"en","value":"Computable models of theories with few models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1129579"}},"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":"Q1381432$2C861C8F-CFF4-481D-B905-5DAFEFA67941","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0111e9cc88115f365dd20c53f1fba82c52825b6","datavalue":{"value":{"text":"Computable models of theories with few models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1381432$D2A5DDD1-B293-4659-AEA2-2150DDAA5B0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65620a4c01366ea7b388899922a65ae5a4d74936","datavalue":{"value":"0891.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1381432$28351609-E8BF-4CA6-9D2F-D043EBC85F5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"908230505203eccb837b53bb6b9c33b396a9a16d","datavalue":{"value":{"entity-type":"item","numeric-id":188054,"id":"Q188054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$7947D7A9-F546-4AD9-87D1-8ED8BEC3927D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$A2852DD1-B99F-4829-A1D2-7A9875A5482C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43fe99ff9293f8f20f9f81a490ad97d6c40cc252","datavalue":{"value":{"entity-type":"item","numeric-id":218973,"id":"Q218973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$E634B379-D0A4-45D1-9D84-57461765228B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$0F4E0F80-C146-4148-A048-12E5F88658EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af87286476d3c4390fa6a80ac7d5398e1e09059a","datavalue":{"value":{"time":"+1998-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1381432$BC568CC3-546C-447B-AB04-939869045B7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1381432$F0DCD454-F281-4336-A5B5-6658612BAEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1381432$9BD724E1-F2B8-4EC1-AB99-9DC7218C2615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1381432$D5A0D90C-6437-4F0B-8F01-6F9E43AB90F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84789216d43d05962b7459bdffe79ea96db56b58","datavalue":{"value":"1129579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1381432$9F30390B-0D7B-440E-A9C1-1756318C7590","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87d5073b069c37ba12997c0ace3e1db711bcacba","datavalue":{"value":"\\(\\aleph_ 1\\)-categorical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1381432$C61A9367-EC31-49E0-98DF-39BAC52786FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0898223c5ee46ab46d14d5074537fca200eca9e4","datavalue":{"value":"computable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1381432$276A5EC3-E78B-4C34-8370-9B58332360BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"706e645825093554e486025b5dfd4907c71ec9d0","datavalue":{"value":"Ehrenfeucht theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1381432$E54BBD05-A582-47F1-841E-8BBE78FE8D90","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":"Q1381432$F482B74F-F5F0-43B0-A9A8-E0C94AA43ECC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"569cb66f97dea7ca32ef89fa212df7fec52a6391","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039724885","type":"string"},"datatype":"url"},"type":"statement","id":"Q1381432$73CCEE83-1E63-4113-9DC1-6BF765FCCA9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b21c42523aeb6bf1cffa6b1cd424b0c331fe718","datavalue":{"value":"W2070346525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1381432$534CA46A-2D4B-4878-BAAC-6FC9C5260D58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db76faf1b9cb27a7e3311f76ef3ad8104510de55","datavalue":{"value":{"entity-type":"item","numeric-id":5621361,"id":"Q5621361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$0FE3977C-EA59-402B-A68C-334FFE2F5D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f8e58b6659bf01a2e8436fdcba6bc391759014","datavalue":{"value":{"entity-type":"item","numeric-id":1255943,"id":"Q1255943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$85B35644-367C-49E5-B21E-B496F45B6B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a35750ebe495fb07f5eb97a9eae3c66170233a8","datavalue":{"value":{"entity-type":"item","numeric-id":1142774,"id":"Q1142774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$AB0FCD38-3F84-440C-BBBC-57DEFC5B6982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af90cbe357c1c686065486b4985fd0c8409ae0c","datavalue":{"value":{"entity-type":"item","numeric-id":4096938,"id":"Q4096938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$F88EE4D4-9F7B-4339-B9EF-31D8D467C630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4d20770f8530d329ea7744ac8388e2bdb1534c","datavalue":{"value":{"entity-type":"item","numeric-id":4125208,"id":"Q4125208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$34DD6F90-9DD2-47F5-AE2A-F09CB3F61B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6ac5f0b3206710cab5fd71b1f506b560ffc61a","datavalue":{"value":{"entity-type":"item","numeric-id":1239318,"id":"Q1239318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$E4A0258A-1DE9-4048-8EA0-74609576BB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f489b3a7495b815c330f4e8f569bc6adf03839","datavalue":{"value":{"entity-type":"item","numeric-id":1214409,"id":"Q1214409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$80FF45EF-9977-4918-8207-FC2755A9C26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1381432$87F86F26-A937-486F-88FC-CA2CE295A4A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0258e2d18bb193a20899b504cc15e26f3c8ed64","datavalue":{"value":"10.1305/NDJFL/1039724885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1381432$C6B91E06-28BB-4F4D-80E0-6D1234E01685","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4fcbfcb3c59faaebaad8937b732e44673f8e4d7","datavalue":{"value":{"entity-type":"item","numeric-id":4406589,"id":"Q4406589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da32fb1bf41c9c7dd9753b4aedb9a724c346f768","datavalue":{"value":{"amount":"+0.8679596185684204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1381432$24EAFC70-468D-4E15-A563-DC305FD1E333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649e1d7d1dff7d1171b263f10934f4731a60f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":3546079,"id":"Q3546079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd963c7b26a95c52b53cbd88e7c5810b4a858005","datavalue":{"value":{"amount":"+0.8578113913536072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1381432$93746417-0D4A-43A2-8481-3C372C18CF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539707d923e1f54437806e8bf9308116cadb82e5","datavalue":{"value":{"entity-type":"item","numeric-id":1943912,"id":"Q1943912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9d2de3ee85dcd59a833eda4d18331fb2a55ae5","datavalue":{"value":{"amount":"+0.8474261164665222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1381432$A9F1F7A7-84CB-4DAA-91FD-0DD5017FDDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"745719b4045ee8c7a22accce8cd19cb05d523017","datavalue":{"value":{"entity-type":"item","numeric-id":2883037,"id":"Q2883037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ea736b972aed27da2f0e165cfcb68645fb7052","datavalue":{"value":{"amount":"+0.8429577350616455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1381432$13FF9C24-F04E-40A5-BC7F-B11F3BD86ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c67819a027dfe134517d89474a547106223280e","datavalue":{"value":{"entity-type":"item","numeric-id":859246,"id":"Q859246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deba533ec59827a9ea4fd8e6991d21440d08ec86","datavalue":{"value":{"amount":"+0.8354327082633972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1381432$4C5AAAA5-BE1C-46D6-A1E7-346275C57224","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable models of theories with few models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computable_models_of_theories_with_few_models"}}}}}