{"entities":{"Q1140107":{"pageid":1150856,"ns":120,"title":"Item:Q1140107","lastrevid":80109626,"modified":"2026-05-06T15:27:46Z","type":"item","id":"Q1140107","labels":{"en":{"language":"en","value":"A note on decision procedures for identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3677919"}},"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":"Q1140107$D13D348F-A219-460A-8A99-8708543768C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e501f4196dafb79eeeb973d87d46a60121c93f3e","datavalue":{"value":{"text":"A note on decision procedures for identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1140107$5788EB44-90DE-419F-BAE7-B8B679AEB702","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca84cbc379a6b6ddd120638ae86740225250b982","datavalue":{"value":"0435.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140107$20B67F1A-79A1-4E8D-84D2-0786FF648E2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7be995f8fb2bdeaf247c186f619b4bfb530fe295","datavalue":{"value":"10.1007/BF02488026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140107$2ABB4CAF-36F4-48C8-B0F3-63735E7BD5FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dafc53316bf9eee1daa12d1dd1e563f9dc531e4","datavalue":{"value":{"entity-type":"item","numeric-id":1140106,"id":"Q1140106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140107$BD28E0F4-B843-4F3E-97E1-70895F6D3FC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140107$E3B76A5B-5266-4C43-B6EE-25C1D31B5A1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1140107$69ECBC2B-F25D-4B79-A658-3B217CA56DA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140107$B2DC24A8-29AE-4242-836A-825DD89D0B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140107$F0A0DDE6-008D-44D0-973C-0B0BAD2FFE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140107$36D921FC-6D89-4209-92D3-65443D0D4EE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efe74e722c6ed39d8c0473f20509ad7f3cd6912b","datavalue":{"value":"3677919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1140107$4B92594D-6E27-4012-A90C-660603964B6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140107$FF9A2B8B-49BA-4F4E-809E-1D810FC3FEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e3f554922f9694348e52a5b28c17b7a78d430e","datavalue":{"value":"identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140107$1E3C6BED-54FD-4939-AA1F-EB8EF8776758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04f6b015bf401ae0d89591438459c6af643056d","datavalue":{"value":"finite operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140107$DDA95C62-C1CF-4069-9422-A6265BCF3E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3919d743ac18d43c7bb25fa324c8c57b836f4313","datavalue":{"value":"complete operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1140107$06D88B67-A188-496D-8E9C-5342EEDF68F0","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":"Q1140107$9795A875-515C-46FB-95C6-ADDDEF324A7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ec6d97ef61d0777fc16552c80b5ec9dd7b9414","datavalue":{"value":{"entity-type":"item","numeric-id":5608067,"id":"Q5608067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140107$AC683166-6E7F-439B-BC54-FB2DE6A3F181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04fd3687d98aed853706517a071b4ddbd7b6331","datavalue":{"value":{"entity-type":"item","numeric-id":5720215,"id":"Q5720215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1140107$44EDF213-3279-47C4-8545-87F1EA48F879","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on decision procedures for identities","badges":[]}}}}}