{"entities":{"Q1239722":{"pageid":1250472,"ns":120,"title":"Item:Q1239722","lastrevid":68342352,"modified":"2026-04-12T23:03:45Z","type":"item","id":"Q1239722","labels":{"en":{"language":"en","value":"Proof of decidability of the traditional calculus of names"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3563033"}},"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":"Q1239722$4601409A-CCF6-40A3-AEEF-19282AAB2D2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dee8bb3e0570690e09ad9977da253c8efa529176","datavalue":{"value":{"text":"Proof of decidability of the traditional calculus of names","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1239722$F0D97D3A-A734-41F8-9920-0B3FA045BEE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a79c2b3c94c85aaaf9344e7d89c1302a663aba9f","datavalue":{"value":"0362.02010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239722$0951A373-9C93-4B78-9EC9-D6A06EF8D6DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88044f0710bb0f32bf5538c03e5deb693f1a3600","datavalue":{"value":"10.1007/BF02123833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239722$8700E5E6-F3C7-40A1-9436-A163B12748C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"993274d0551521315e113151dca8762dbf1b05e4","datavalue":{"value":{"entity-type":"item","numeric-id":1217793,"id":"Q1217793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239722$49918E2C-97A0-4FEC-BCE3-781D98D09C18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239722$1783FD22-52C8-4C06-A19D-87453EAAC994","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0009eef2e40e65b679945693e20705f9c6245b14","datavalue":{"value":{"time":"+1973-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":"Q1239722$DFFB27D4-AD20-43A9-9EFD-A7E6C1C910B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239722$21D34DD3-3041-4001-8CA0-206F7A4EE28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239722$82D4A48F-1CF1-40BA-BD23-08F2A8B34F90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5ce974686ded35e2c0ec2d86e99a4cbb07685c7","datavalue":{"value":"3563033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239722$C29E80E2-A1BD-473D-9C17-BCE8DEF17B8B","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":"Q1239722$7B6198EE-7676-4E34-B6A3-12279788359A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f4587f7e2c2905f36dab32c14be8ea0bbe726d","datavalue":{"value":{"entity-type":"item","numeric-id":2626488,"id":"Q2626488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239722$B257305B-CEE2-4E58-A355-793BA1D0BCAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18265be48b2739f41dde3d2d1fdb6debfebfbba0","datavalue":{"value":"https://doi.org/10.1007/bf02123833","type":"string"},"datatype":"url"},"type":"statement","id":"Q1239722$CF3564CC-F124-4F75-873F-F9EA0444CA5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c30d4ca5b7424dd936c3150d26bd2e085338800","datavalue":{"value":"W2134168625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239722$5EF6AF28-7E63-4F7B-A3A7-16F3F6BD9C6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof of decidability of the traditional calculus of names","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_of_decidability_of_the_traditional_calculus_of_names"}}}}}