{"entities":{"Q596035":{"pageid":597811,"ns":120,"title":"Item:Q596035","lastrevid":48313192,"modified":"2026-01-04T08:22:01Z","type":"item","id":"Q596035","labels":{"en":{"language":"en","value":"The decidability of a fragment of \\(\\text{BB}'\\text{IW}\\)-logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085477"}},"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":"Q596035$5AF9F606-18C0-4EE5-A2A2-B019CC5AF9A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca40989c1395e3d97a733b42688588d1346e4c88","datavalue":{"value":{"text":"The decidability of a fragment of \\(\\text{BB}'\\text{IW}\\)-logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q596035$C68C6C0D-5F96-4887-B7B0-704558267CFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab117b816c7e0a995a1cf620f984c3a870c6df66","datavalue":{"value":"1044.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596035$11D5AA0A-F238-4E83-BE54-7896CDE9B9CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be40013d629abcf9c4dedf0b6f10313a658759f","datavalue":{"value":{"entity-type":"item","numeric-id":596032,"id":"Q596032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$7B3DF9F2-C2A0-4A7B-A721-234F42218600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2641b8e7fca864cf6fafc527fcb34eae8b18504","datavalue":{"value":{"entity-type":"item","numeric-id":596033,"id":"Q596033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$6964DFA9-2BAC-4486-9B3D-6AEDCB89916C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$7B292DBB-725D-4DA1-A7F8-145B204AD0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b900440cfe78a2270fea06915b84447d5eefb2a5","datavalue":{"value":{"entity-type":"item","numeric-id":596034,"id":"Q596034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$CE8391C6-AFF8-4D9E-9561-0677A9719A6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$FE29F0F1-3EFD-4F3B-9EA6-CAABE778D87E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e0adf53a19cddd0f150137b2408eb7868ef6930","datavalue":{"value":{"time":"+2004-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q596035$E0B63069-BF10-4842-8010-82B3FDFCA03B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596035$AE865530-668B-474F-B858-09ABC85B28AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596035$94DED43D-C289-495E-85B1-D47050374650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596035$C5D53AAC-A052-4003-94B6-88BAB134E2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596035$B1D5AB1A-F5F8-472D-8275-4F0570B8B6F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7822ba0447ce2972d66a7500b8565b90084cd2db","datavalue":{"value":"2085477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596035$34C6B906-BE28-44F2-97E0-5D280E8FEAAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q596035$AD605FD7-52B4-4C96-8E67-0E46AF4F8773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a64f770b8de2ab797548ef6729705a8cfe20b890","datavalue":{"value":"rewriting-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q596035$18A4514F-D6C4-4962-BBCC-A1C100B1E7D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$C633C7ED-EED2-42B5-8F2B-BAE8C96D5124","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":"Q596035$B41F68EC-A9C4-441B-82A3-CA8E75888923","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00f98c9e0a13fbd5ee77ee83db6823756935a210","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q596035$A96370FE-4B1B-4AD3-9755-A0790981179D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30bcb945e2dd63ee18a10fcb08b054417121df6a","datavalue":{"value":"W2161429818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596035$C1E1F98F-9D49-4CF5-A34F-4D1F6EE7FA03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$07BC0BB6-5341-46FA-8FE3-9D5EC8EAA83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$2A51F86D-F6E8-458B-AABF-535B530F39A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9ced2bbf6b997392a6bc773e05f8ab5d9ce846","datavalue":{"value":{"entity-type":"item","numeric-id":1575928,"id":"Q1575928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$3248F215-5BBE-4DCB-9F36-4394F7F3C191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$A1DF6350-AB61-4893-A0B1-934185D54F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2263106b37d64b84ed219b754558e417daad9a8b","datavalue":{"value":{"entity-type":"item","numeric-id":1317904,"id":"Q1317904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$3B2C2E50-99F3-43A8-9460-315F358223F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$2423DD58-BF1D-45E0-B887-FE0749A0D44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ff9e50d48cc7f224534b84074703d5675af0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4263800,"id":"Q4263800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$BE4F6105-7615-4AD6-B85A-C25ACD18C5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2fbea673f26662d71cd92284ddfb47328cf19c","datavalue":{"value":{"entity-type":"item","numeric-id":1346635,"id":"Q1346635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596035$4962228D-9892-4F83-B595-9471F41F223F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c579971a2925dbda3dfe7f7f0bd0a218cd2a5f94","datavalue":{"value":"10.1016/J.TCS.2004.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596035$A2CA1FE8-172C-47CC-98F5-92E0907F36B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78357d02d79ebca3a6ccfce57a4024be7b3963f","datavalue":{"value":{"entity-type":"item","numeric-id":1337604,"id":"Q1337604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bab1e39f130c83f52ce172c6d70af62bfb211b","datavalue":{"value":{"amount":"+0.7495812177658081","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":"Q596035$187B3AFD-16A4-4DC3-A57A-63CCFC889CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf4275dbfd7556cddf3ff0f425e51bebb5537e3","datavalue":{"value":{"entity-type":"item","numeric-id":4842970,"id":"Q4842970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195f567924148eff25e03e86ddedd6d53cf8e87f","datavalue":{"value":{"amount":"+0.7494324445724487","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":"Q596035$57BABAE4-1E45-4FCC-9FD6-3F10C942D33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f502c6a6ef566da0ff2f60e40ee683ddb083636","datavalue":{"value":{"entity-type":"item","numeric-id":2517231,"id":"Q2517231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d544073ce886e8efaa705b9f12934e43d18655","datavalue":{"value":{"amount":"+0.7384666800498962","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":"Q596035$9276314C-BD35-4C28-82DC-C6D7C67F0418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10a625021a0858b8f886bb18497e17fe079acec","datavalue":{"value":{"entity-type":"item","numeric-id":4916555,"id":"Q4916555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915b106ea4db6af0d97d7d9b30895bfc9fad73e9","datavalue":{"value":{"amount":"+0.7315124273300171","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":"Q596035$0015E9B2-9A0F-4365-964E-1DBE52F14819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1a12c1e0a5a77e2f0e3ee42f30fdeb4e0ae403","datavalue":{"value":{"entity-type":"item","numeric-id":4948542,"id":"Q4948542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ab7a320a9a220379649a35b2a9e9a2e6e32828","datavalue":{"value":{"amount":"+0.7313024401664734","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":"Q596035$E41F9A99-17E6-447A-92C3-C1874F80769D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:596035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:596035"}}}}}