{"entities":{"Q1167540":{"pageid":1178289,"ns":120,"title":"Item:Q1167540","lastrevid":66422064,"modified":"2026-04-12T09:57:47Z","type":"item","id":"Q1167540","labels":{"en":{"language":"en","value":"The decidability of the DOL-DTOL equivalence problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3772953"}},"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":"Q1167540$7EDF3C6E-BABB-4E40-9FCB-B305155A768D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18f2d94227869a6f754adfd00c61689f952750b9","datavalue":{"value":{"text":"The decidability of the DOL-DTOL equivalence problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1167540$74D6DC57-1E96-4E85-96F0-5CF521CF49D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"546c7882f65df19a8c2a386c694d0614e39f63eb","datavalue":{"value":"0491.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167540$8F08683C-C049-42A6-862A-06FB6D0CD389","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39269b29d42cf8cb23e6a84172a90e5ca09edef6","datavalue":{"value":"10.1016/0022-0000(81)90020-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167540$B41E4233-5D24-4D14-9BFD-9DDD5B81CC5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f953f42059e2c954722b339f8a89040ede9a301a","datavalue":{"value":{"entity-type":"item","numeric-id":599512,"id":"Q599512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$37517523-0A8D-4A79-A654-F8FE0A285BD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$EE124C5A-BD61-458F-8493-419E724F4BD5","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":"Q1167540$E04CC5E4-58B2-4FC2-91E0-87EDFFA3365E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167540$87036494-F669-4506-8F9A-F0C11D65EA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167540$6A56C7FB-9F59-46D2-A99F-D30A378EA58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167540$896B0A5F-A0A5-4A57-BB46-B7CFE68E613F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167540$A50EF131-8469-45E0-BBE0-AEC2C339B185","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f7b43e1b7bf493e4a705184ae6472a80e9b96a5","datavalue":{"value":"3772953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167540$4109DC2F-A8BD-4D6C-B4E7-07A843182340","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":"Q1167540$4E21520A-E267-4A67-8EBB-6A065734D73C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cb835446a1d613fd9d5ea25516b12026c31b4b3","datavalue":{"value":"https://doi.org/10.1016/0022-0000(81)90020-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1167540$04FF126E-A71E-4330-9E46-8999D658D3B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdf24c1a0058c993402d8a8c5ad76a467c0ac2ef","datavalue":{"value":"W1983745639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167540$5221BF44-612C-4B07-A76A-1E99B20B790E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6afeb7b4d6c3a48e5d0ba76c6d52243a85cfd06","datavalue":{"value":{"entity-type":"item","numeric-id":2264550,"id":"Q2264550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$C8455799-3175-47AA-ABE7-5EB90148B685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5550b7831b8e7289baaa82c5cca004bd46dd0fc5","datavalue":{"value":{"entity-type":"item","numeric-id":4140409,"id":"Q4140409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$DEF54CA3-BD1D-4FDC-88FB-CF8D99BC94EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9620843b69c16d33c83a056b1e6f656109dde21","datavalue":{"value":{"entity-type":"item","numeric-id":1258182,"id":"Q1258182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$5EA4DB8E-68CB-443F-AC88-AAD7B7FB0E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37e2da96cca674a487d86719452a17af8402c89","datavalue":{"value":{"entity-type":"item","numeric-id":4072878,"id":"Q4072878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$0B9CB2E4-5B23-415D-82B4-D8450DECAF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e30afa069f0f1275be57ce6c402f7aa54a492ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4770506,"id":"Q4770506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$B966CA86-AC27-4BE0-87BF-E45DD70DD861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1c6e94c60aa2141ad36e25455eca6d3bcdce07","datavalue":{"value":{"entity-type":"item","numeric-id":2556750,"id":"Q2556750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$802F2925-36C6-466C-A05F-E26964DE2321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e0742007f100a408bd4b2a492da7e38e14b866","datavalue":{"value":{"entity-type":"item","numeric-id":2562694,"id":"Q2562694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$5F669491-AE52-4BF2-B4F9-13AF27D30864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9500e19069722efa256e9656f8110bdcd87d826","datavalue":{"value":{"entity-type":"item","numeric-id":4140407,"id":"Q4140407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$26C269BD-AD9F-4149-9999-A4B143FF987F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce071a03c2788b4532cd9350e54356936757b07","datavalue":{"value":{"entity-type":"item","numeric-id":1249436,"id":"Q1249436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$7A00AC4E-5987-484C-8E36-F09DBE70349F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0a797f05535c55b6755c88fa0e2f1e36a1075b","datavalue":{"value":{"entity-type":"item","numeric-id":3865508,"id":"Q3865508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$970B70B4-ED5C-4E0D-B79B-CF71D81E5DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7785d4fcd4cdcea247ba7eeb3f42334d78a33e4","datavalue":{"value":{"entity-type":"item","numeric-id":4199549,"id":"Q4199549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$6BCCCE29-630D-4F0C-B63E-51B3CFC4B2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8ee029374266b620af16086959bd7cf1c9444a","datavalue":{"value":{"entity-type":"item","numeric-id":1256322,"id":"Q1256322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$7A324F5A-B23A-4BFD-A7AB-42D696A806D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$8C9252E9-F322-4DA8-AB87-4A8BF261BF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b839dc5b2c77646fbae43cf9282fa1c0d4323d8","datavalue":{"value":{"entity-type":"item","numeric-id":2561842,"id":"Q2561842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$D762F2F4-BCD6-4DAB-BE9A-CA168E803878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336a8b4e09485df6e1b041b1d5bdd25749aff3d1","datavalue":{"value":{"entity-type":"item","numeric-id":5666178,"id":"Q5666178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167540$28E3327F-9DAD-4147-8135-E99231AD8290","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The decidability of the DOL-DTOL equivalence problem","badges":[]}}}}}