{"entities":{"Q5019780":{"pageid":7049357,"ns":120,"title":"Item:Q5019780","lastrevid":55396108,"modified":"2026-02-17T15:29:40Z","type":"item","id":"Q5019780","labels":{"en":{"language":"en","value":"DISJUNCTIONS WITH STOPPING CONDITIONS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7455123"}},"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":"Q5019780$6AA33661-5600-47A6-BF16-68E5A9A36330","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea1238331068494ed9c55eeb51a65f2ae442dbf6","datavalue":{"value":{"text":"DISJUNCTIONS WITH STOPPING CONDITIONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5019780$5AA0EA2E-7B50-4446-BEF7-D90030A04824","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b670107d49e5cfb9b0abb2ab2d53889e002f633","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019780$46D7595E-8D9A-40B1-93C2-6C29CEED3385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a286f1ce532d5cd504b5ebb0cb74ac792370e35","datavalue":{"value":{"entity-type":"item","numeric-id":2153825,"id":"Q2153825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019780$1C434BE3-8C52-45E9-A2FE-17CC83F6BA22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019780$C312E3B1-3332-4416-BBB3-159F6A6394D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c55eb3ecc64f07fd602e06c6a37a740c982d0cb7","datavalue":{"value":{"time":"+2022-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5019780$B98C5F29-824C-443C-82EE-B18ECA9F8508","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"129cba911cc41b369c3d2caf9ed793ce4968c623","datavalue":{"value":"https://arxiv.org/abs/1810.07437","type":"string"},"datatype":"url"},"type":"statement","id":"Q5019780$9379EF2C-94A1-4160-B7BE-6771B05F4ED6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019780$21CD13DE-86A8-448F-85D6-96422BCF59AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019780$6A86E24C-A5E4-49F5-A047-04FA3E84587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33f385b1d210bd01cec38c387318069604e5ba7b","datavalue":{"value":"03A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019780$5BF360F0-9697-4C82-A580-1961A30C7079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1602d5cec898ca577cc92626cc1a0d5c0a29655b","datavalue":{"value":"7455123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019780$EFE034F9-98DB-4EAA-AEC6-DB0C7A264E49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94e5e7889be0d4303c532d512b158b8f7497f303","datavalue":{"value":"truth theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019780$33EBAACB-12A0-4400-AACB-16CBCEBEEEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe802b5e94ee4daab9c68acf78f441adb3df3ea1","datavalue":{"value":"truth predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019780$3F7D860E-F678-4AF8-ADFA-AB164183DD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a9c19972e406f2ed34bca2a2a1f5a9eda39866","datavalue":{"value":"satisfaction classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019780$7695FB56-BB79-4742-B53D-BF3151A3EC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019780$BDA6E2BF-F7AE-4492-A666-7905A4FFF981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019780$3B92826E-9083-44C9-BBEC-CD046A0E41EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ec59c5b1bb9e4cd77cc696b9efa6551305dac4","datavalue":{"value":"recursive saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5019780$EF11CAFF-0BC8-452B-A0FB-4D8355B0E96D","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":"Q5019780$047B115B-D3EE-4C62-A7A1-10E2ED2828DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"246c824431201729fb1ccee6fa1b733a5195f0fb","datavalue":{"value":"W3118621836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019780$B3822B26-571F-4955-8BBF-4A62B7F43842","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a02deb8c8b9aed7ccfcd9c81d4159b97c4891c","datavalue":{"value":{"entity-type":"item","numeric-id":5737967,"id":"Q5737967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019780$1B03AB2C-85F9-4A28-8B68-1FB914EDF208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a734f0e78a9068a093699bca0af4445b60fc7f5","datavalue":{"value":{"entity-type":"item","numeric-id":2312097,"id":"Q2312097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019780$B10D19D1-8295-434D-8B52-A269929629B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019780$EE264856-97FA-493D-84E7-2E510EFF004F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb685597e7f0fa3e9b2031d9f7cf1f13ac4adf11","datavalue":{"value":{"entity-type":"item","numeric-id":3758815,"id":"Q3758815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019780$FDE902AF-85F9-4784-B297-0BE6CF7BF1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3220571184cc67ff7324c9c5316a989194c7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3924206,"id":"Q3924206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019780$4A682278-EB65-43D2-B73D-1ED85D803A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d96128179a5b6520172d3650c3c4481ea43973","datavalue":{"value":{"entity-type":"item","numeric-id":2402953,"id":"Q2402953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019780$05DDA3C2-119F-4C1B-A645-D23292571C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99abdd488d7de15aefa7f6afa4adfd032dddf4bd","datavalue":{"value":{"entity-type":"item","numeric-id":913793,"id":"Q913793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019780$98BE1C27-0C4F-4152-AA7F-5177B8F0C9A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abd36cb28556d12654d4012a49a8893641b221c5","datavalue":{"value":"10.1017/BSL.2019.55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019780$F63EE944-4B22-4EDA-BB55-29C6934C80AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfdb40d083d173aff571cc79ad331c94c41a1ccb","datavalue":{"value":{"entity-type":"item","numeric-id":6038484,"id":"Q6038484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464ee2dd24611432e2c4c03d0310bd829dd41c85","datavalue":{"value":{"amount":"+0.7738545536994934","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":"Q5019780$30D31EFF-BB74-4970-83A2-ADDDC05D7C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b017a878f331f3bf8dba207a3c92c505fd81ccec","datavalue":{"value":{"entity-type":"item","numeric-id":2312097,"id":"Q2312097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e044c052cb1227d3953cf71ad3035ca80360fe5a","datavalue":{"value":{"amount":"+0.7702509164810181","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":"Q5019780$A10CA879-3A85-48AD-800D-AE39C7FE22F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae8117a4cdbda982caf4d182d04c88e3b79a5c3","datavalue":{"value":{"entity-type":"item","numeric-id":5737967,"id":"Q5737967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79c7a1752beea0d42fbda25c4f339dae2bd98f8","datavalue":{"value":{"amount":"+0.7504150867462158","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":"Q5019780$53C8A56F-30A9-4A0F-A738-80A9ECAD94E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d288402417fa142a1dc71c0ffcb673734a1d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":2042738,"id":"Q2042738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e166ec5eb700cc2535c06f18447e47756ec8423","datavalue":{"value":{"amount":"+0.7358654141426086","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":"Q5019780$29649D01-2DC3-49DB-849D-DEA800E670DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f16a9fd382948fd89e4b1a8180c16e6eb28461","datavalue":{"value":{"entity-type":"item","numeric-id":6139242,"id":"Q6139242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12a0ee3762e612bbf2eb4a862be6164f9630213","datavalue":{"value":{"amount":"+0.7297748923301697","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":"Q5019780$2C7A73D6-3281-4268-82EA-58BF1658D5A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5019780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5019780"}}}}}