{"entities":{"Q5520635":{"pageid":7550195,"ns":120,"title":"Item:Q5520635","lastrevid":101395409,"modified":"2026-06-06T01:09:30Z","type":"item","id":"Q5520635","labels":{"en":{"language":"en","value":"A Semi-Decision Procedure for the Functional Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3232740"}},"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":"Q5520635$A37B2D02-4C51-42F0-95A0-0223AC6E204B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9dca5ff092d0e72006eaabb4bab76981b607017","datavalue":{"value":{"text":"A Semi-Decision Procedure for the Functional Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5520635$42E59612-8E54-4920-9C47-9C41406701A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"413c8d984a74d1f3a9340a8bfca670e6b70f7c6a","datavalue":{"value":"0144.24404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520635$4E44D725-F720-403F-9AA7-BD9DA0755129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"735bbf3ce7fa5d14e3192cc008ff195105f9124d","datavalue":{"value":"10.1145/321150.321151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520635$26E7475D-8B71-44E7-AAF0-7B4F3011D870","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d560150084b3c55dbb2a764f80d1728bf99d7a23","datavalue":{"value":{"entity-type":"item","numeric-id":1150587,"id":"Q1150587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5520635$B0ABB1C1-6A9E-4213-A991-1EB6AB8539BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5520635$CCE2A1A6-145B-4A5F-A7C9-CF173B6C8B2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-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":"Q5520635$EDA30BEA-0547-4954-9F4E-FD4A5BACA711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520635$20238F53-EE24-41AE-B62B-D0D721E71797","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfaa6a15a3a461a61e9b4f0e3ccabd7a57cb3950","datavalue":{"value":"3232740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520635$BFAE7ED2-E13B-4D46-8EB7-41D06E1452FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5520635$C9EC4B2E-9F62-484C-B605-B5CE7FE179FA","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":"Q5520635$6DB52B1E-2883-48EF-8BD7-F956E0194D8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fac738e96b2e28328d829c76767083c4c0a9f72","datavalue":{"value":"https://doi.org/10.1145/321150.321151","type":"string"},"datatype":"url"},"type":"statement","id":"Q5520635$4BAEE03A-CBFC-4DBC-AFD4-A00717A9DEE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00afbed1adf282c6a8189feb2a00a6ef1de93cc2","datavalue":{"value":"W2068792980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520635$41C3F9DC-716C-4791-A400-ECF0444253D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Semi-Decision Procedure for the Functional Calculus","badges":[]}}}}}